Assertion list for term "process received signal".

Results from Ascent++: 1
microprocessor CapableOfprocess received signal 0.40