Assertion list
curry (primary) → IsA
Results from Ascent++: 1
curry → IsA → dish 0.63