Fail is a different concept from Success. Success is related to Find. Find is a synonym of Witness. 
Cow is a type of Adult. Adult is related to Bar. Bar is a type of Counter. 
Fail <--DistinctFrom--> Success <--RelatedTo--> Find <--Synonym--> Witness 
Cow --IsA--> Adult <--RelatedTo--> Bar --IsA--> Counter 