Terrorist is a type of Radical. Terrorist is a type of Human. you are likely to find Human in/at/on County. County is related to State. 
Proof is a type of Produce. Produce is related to Super. Super is similar to Large. 
Radical <--IsA-- Terrorist --IsA--> Human --AtLocation--> County <--RelatedTo--> State 
Proof --IsA--> Produce <--RelatedTo--> Super <--SimilarTo--> Large 