Assertion list for term "based on port".

Results from Ascent++: 1
cocktail ReceivesActionbased on port 0.16