Assertion list
entire universe (subgroup of universe ) → HasA
Results from Ascent++: 2
entire universe → HasA → over 100 billion galaxies 0.32
entire universe → HasA → beginning 0.25