Assertion list
convent (primary) → HasProperty
Results from Ascent++: 2
convent → HasProperty → open 0.66
convent → HasProperty → accessible 0.25