Assertion list
terminus (primary) → HasProperty
Results from Ascent++: 2
terminus → HasProperty → open 0.41
terminus → HasProperty → stable 0.39