Assertion list for term "required after initial procedure".
Results from Ascent++: 1
touch → ReceivesAction → required after initial procedure 0.28