Assertion list
maul (primary) → HasProperty
Results from Ascent++: 4
maul → HasProperty → heavy 0.63
maul → HasProperty → more efficient 0.25
maul → HasProperty → successful 0.25
maul → HasProperty → unwieldy 0.16