Assertion list for term "specified at the prompt".

Results from Ascent++: 1
format ReceivesActionspecified at the prompt 0.27