Let is a type of Leave. Leave is a different concept from Coming. Coming is related to Meeting. 
Pillow is a type of Thing. Thing is related to Sock. Sock is related to Glove. 
Let --IsA--> Leave <--DistinctFrom--> Coming <--RelatedTo--> Meeting 
Pillow --IsA--> Thing <--RelatedTo--> Sock <--RelatedTo--> Glove 