Define is related to Prove. Prove is a type of Confirm. Back is a type of Confirm. Back is related to Rest. 
Category is a synonym of Type. 
Define <--RelatedTo--> Prove --IsA--> Confirm <--IsA-- Back <--RelatedTo--> Rest 
Category <--Synonym--> Type 