Assertion list
expanding universe (subgroup of universe ) → ReceivesAction
Results from Ascent++: 1
expanding universe → ReceivesAction → traced in time 0.25