visible universe subgroup of universe, 2 assertions
HasProperty 2
smaller 0.68
spherical 0.25