Live is a type of Book. you are likely to find Book in/at/on Table. 
Promise is related to Cross. Cross is related to Distinguish. Distinguish entails/necessarily involves Compare. 
Live --IsA--> Book --AtLocation--> Table 
Promise <--RelatedTo--> Cross <--RelatedTo--> Distinguish --Entails--> Compare 