Assertion list
time (aspect of astronomer ) → ReceivesAction
Results from Ascent++: 4
time → ReceivesAction → measured 0.41
time → ReceivesAction → spent in space 0.38
time → ReceivesAction → required 0.34
time → ReceivesAction → limited 0.25