Assertion list for term "assigned to port".
Results from Ascent++: 2
value (aspect of variable) → ReceivesAction → assigned to port 0.31
value (aspect of parameter) → ReceivesAction → assigned to port 0.31