Assertion list
abacus (primary) → HasProperty
Results from Ascent++: 5
abacus → HasProperty → square 0.45
abacus → HasProperty → simple 0.37
abacus → HasProperty → successful 0.34
abacus → HasProperty → liable 0.30
abacus → HasProperty → fun 0.16