Assertion list
celestial sphere (primary) → HasProperty
Results from Ascent++: 2
celestial sphere → HasProperty → infinite 0.44
celestial sphere → HasProperty → solid 0.33