Assertion list
convocation (primary) → HasProperty
Results from Ascent++: 2
convocation → HasProperty → open 0.75
convocation → HasProperty → free 0.68