Bar is related to Strip. Strip is related to Column. Column can be Heavy. Heavy is related to Load. 
Property is related to Math. Math is related to Prove. 
Bar <--RelatedTo--> Strip <--RelatedTo--> Column --HasProperty--> Heavy <--RelatedTo--> Load 
Property <--RelatedTo--> Math <--RelatedTo--> Prove 