Proof is a type of Evidence. 
Travel is the opposite of Stay. Stay is related to Command. Command is a type of Demand. Demand is related to String. 
Evidence <--IsA-- Proof 
Travel <--Antonym--> Stay <--RelatedTo--> Command --IsA--> Demand <--RelatedTo--> String 