Assertion list
spoon (primary) → UsedFor
Results from Ascent++: 2
spoon → UsedFor → soup 0.47
spoon → UsedFor → rice 0.25