Assertion list
visible universe (subgroup of universe ) → HasProperty
Results from Ascent++: 2
visible universe → HasProperty → smaller 0.68
visible universe → HasProperty → spherical 0.25