Argument is a type of Evidence. Exhibit is a type of Evidence. 
Execution is a type of Enforcement. Execution is a type of Event. 
Argument --IsA--> Evidence <--IsA-- Exhibit 
Enforcement <--IsA-- Execution --IsA--> Event 