Assertion list
arithmetic (primary) → HasProperty
Results from Ascent++: 4
arithmetic → HasProperty → useful 0.59
arithmetic → HasProperty → the oldest 0.38
arithmetic → HasProperty → simple 0.25
arithmetic → HasProperty → true 0.25