Assertion list
crap (primary) → HasProperty
Results from Ascent++: 3
crap → HasProperty → normal 0.40
crap → HasProperty → easier 0.36
crap → HasProperty → cool 0.16