Assertion list
fat (aspect of margarine ) → AtLocation
Results from Ascent++: 1
fat → AtLocation → margarine 0.34