Formal is related to Test. Test is related to Tool. 
Greek is a type of European. Greek is related to Language. Language is related to Tool. 
Formal <--RelatedTo--> Test <--RelatedTo--> Tool 
European <--IsA-- Greek <--RelatedTo--> Language <--RelatedTo--> Tool 