Assertion list
jab (primary) → HasProperty
Results from Ascent++: 3
jab → HasProperty → quick 0.37
jab → HasProperty → good 0.28
jab → HasProperty → safe 0.23