Assertion list
pot (primary) → UsedFor
Results from Ascent++: 3
pot → UsedFor → cooking 0.42
pot → UsedFor → soup 0.32
pot → UsedFor → several trees 0.25