Proof is a type of Argument. Argument is a type of Summary. 
Festival is related to Color. Colorful is derived from Color. Colorful is related to Paint. Paint is related to Ugly. 
Proof --IsA--> Argument --IsA--> Summary 
Festival <--RelatedTo--> Color <--DerivedFrom-- Colorful <--RelatedTo--> Paint <--RelatedTo--> Ugly 