Assertion list for term "prescribed in associated instructions".
Results from Ascent++: 1
manner → ReceivesAction → prescribed in associated instructions 0.27