Assertion list for term "calculated in the step".
Results from Ascent++: 1
value (aspect of variable) → ReceivesAction → calculated in the step 0.33