Assertion list for term "prescribed in the notification".

Results from Ascent++: 1
rule (aspect of order) ReceivesActionprescribed in the notification 0.25