Contract is related to Condition. Condition is related to Snow. 
Dot is a type of Mark. Dimension is a type of Mark. 
Contract <--RelatedTo--> Condition <--RelatedTo--> Snow 
Dot --IsA--> Mark <--IsA-- Dimension 