Assertion list
rotunda (primary) → HasProperty
Results from Ascent++: 2
rotunda → HasProperty → open 0.54
rotunda → HasProperty → central 0.51