Senator is a type of Worker. Security is a type of Worker. 
Proof is a type of Argument. Pro is a type of Argument. Pro is related to Produce. Produce is related to Cry. 
Senator --IsA--> Worker <--IsA-- Security 
Proof --IsA--> Argument <--IsA-- Pro <--RelatedTo--> Produce <--RelatedTo--> Cry 