Assertion list
cut (primary) → UsedFor
Results from Ascent++: 3
cut → UsedFor → hamburger 0.29
cut → UsedFor → diamond 0.27
cut → UsedFor → pot roast 0.25