Assertion list for term "permitted on the port".

Results from Ascent++: 1
address ReceivesActionpermitted on the port 0.30