Assertion list
expanding universe (subgroup of universe ) → HasProperty
Results from Ascent++: 3
expanding universe → HasProperty → consistent 0.25
expanding universe → HasProperty → denser 0.25
expanding universe → HasProperty → finite 0.25