Assertion list for term "required to ensure following application".
Results from Ascent++: 1
working → ReceivesAction → required to ensure following application 0.32