Imply is a type of Express. 
Creature is related to Sheep. Sheep is related to Live. Live requires Careful. Careful is a synonym of Strict. 
Express <--IsA-- Imply 
Creature <--RelatedTo--> Sheep <--RelatedTo--> Live --HasPrerequisite--> Careful <--Synonym--> Strict 