you are likely to find Liquid in/at/on Cup. Pen cannot be Liquid. 
Treaty is related to Peace. Peace is a type of Harmony. 
Cup <--AtLocation-- Liquid <--NotHasProperty-- Pen 
Treaty <--RelatedTo--> Peace --IsA--> Harmony 