Assertion list
entire universe (subgroup of universe ) → AtLocation
Results from Ascent++: 2
entire universe → AtLocation → certain periods 0.40
entire universe → AtLocation → communication 0.25