Assertion list for term "coupled to external receiver".

Results from Ascent++: 1
output ReceivesActioncoupled to external receiver 0.31