Asleep can be Alive. Cup cannot be Alive. Cup is related to Rim. Rim is related to Outer. 
Poster is related to Art. Art is related to Display. 
Asleep --HasProperty--> Alive <--NotHasProperty-- Cup <--RelatedTo--> Rim <--RelatedTo--> Outer 
Poster <--RelatedTo--> Art <--RelatedTo--> Display 