Assertion list
coffee mug (primary) → UsedFor
Results from Ascent++: 3
coffee mug → UsedFor → coffee 0.84
coffee mug → UsedFor → hot chocolate 0.44
coffee mug → UsedFor → soup 0.44