Assertion list for term "specified by the file operand".

Results from Ascent++: 1
file ReceivesActionspecified by the file operand 0.33