Assertion list
subtraction (primary) → IsA
Results from Ascent++: 2
subtraction → IsA → inverse operations 0.35
subtraction → IsA → the operation 0.25