Assertion list
heliosphere (primary) → HasProperty
Results from Ascent++: 4
heliosphere → HasProperty → round 0.45
heliosphere → HasProperty → shaped 0.25
heliosphere → HasProperty → more compact 0.16
heliosphere → HasProperty → rounded 0.16