Assertion list
broad (primary) → HasProperty
Results from Ascent++: 1
broad → HasProperty → open 0.46