Assertion list for term "seen on the output port".
Results from Ascent++: 1
value (aspect of parameter) → ReceivesAction → seen on the output port 0.53