Assertion list for term "extended in case".
Results from Ascent++: 2
period → ReceivesAction → extended in case 0.37
limit → ReceivesAction → extended in case 0.32