Assertion list for term "spherical region of the universe".
Results from Ascent++: 1
observable universe (subgroup of universe) → IsA → spherical region of the universe 0.25