Assertion list for term "asserted at previous step".
Results from Ascent++: 1
number (aspect of graph) → ReceivesAction → asserted at previous step 0.52