Contract is related to Condition. Condition is related to Rule. 
Sunny is derived from Sun. Sun is related to Dawn. 
Contract <--RelatedTo--> Condition <--RelatedTo--> Rule 
Sunny --DerivedFrom--> Sun <--RelatedTo--> Dawn 