Assertion list
catwalk (primary) → HasProperty
Results from Ascent++: 2
catwalk → HasProperty → open 0.43
catwalk → HasProperty → long 0.16