File is a type of Software. File is a type of March. 
Formal is related to Contract. Contract is related to Treaty. Treaty is related to War. War is related to Devastating. 
Software <--IsA-- File --IsA--> March 
Formal <--RelatedTo--> Contract <--RelatedTo--> Treaty <--RelatedTo--> War <--RelatedTo--> Devastating 