Assertion list
observable universe (subgroup of universe ) → HasA
Results from Ascent++: 3
observable universe → HasA → about 100 billion galaxies 0.25
observable universe → HasA → about 7 × 1022 stars 0.25
observable universe → HasA → beginning 0.25