Key is a type of Explanation. Proof is a type of Explanation. Proof is related to Argument. Pro is a type of Argument. 
Cover is related to Front. 
Key --IsA--> Explanation <--IsA-- Proof <--RelatedTo--> Argument <--IsA-- Pro 
Cover <--RelatedTo--> Front 