Assertion list
crick (primary) → HasProperty
Results from Ascent++: 2
crick → HasProperty → right 0.48
crick → HasProperty → wrong 0.16