Assertion list
early universe (subgroup of universe ) → AtLocation
Results from Ascent++: 1
early universe → AtLocation → thermal equilibrium 0.30