Sentence is a type of Formula. Sentence is a type of Declare. Declare is related to Proclaim. 
Cry is related to Fly. 
Formula <--IsA-- Sentence --IsA--> Declare <--RelatedTo--> Proclaim 
Cry <--RelatedTo--> Fly 