Assertion list
chock (primary) → HasProperty
Results from Ascent++: 2
chock → HasProperty → large 0.25
chock → HasProperty → wide 0.25