Assertion list
gymnasium (primary) → HasProperty
Results from Ascent++: 5
gymnasium → HasProperty → open 0.52
gymnasium → HasProperty → large 0.38
gymnasium → HasProperty → optional 0.31
gymnasium → HasProperty → small 0.22
gymnasium → HasProperty → modern 0.16