Assertion list for term "specified in statement".
Results from Ascent++: 1
rule (aspect of order) → ReceivesAction → specified in statement 0.25