Assertion list
present convention (subgroup of convention ) → HasProperty
Results from Ascent++: 2
present convention → HasProperty → open 0.56
present convention → HasProperty → applicable 0.38