Buyer is a different concept from Seller. Seller is related to Merchant. 
Cave is related to Ancient. Ancient is a type of Person. Person does not want (to) Crowded. 
Buyer <--DistinctFrom--> Seller <--RelatedTo--> Merchant 
Cave <--RelatedTo--> Ancient --IsA--> Person --NotDesires--> Crowded 