Run is a different concept from Walking. Walking can be Pleasant. Pleasant is a synonym of Sweet. 
Must is related to Required. Required is related to Carbon. 
Run <--DistinctFrom--> Walking --HasProperty--> Pleasant <--Synonym--> Sweet 
Must <--RelatedTo--> Required <--RelatedTo--> Carbon 