Assertion list
tcp port (subgroup of port ) → ReceivesAction

Results from Ascent++: 3
tcp portReceivesAction closed 0.53
tcp portReceivesAction forwarded over secure channel 0.30
tcp portReceivesAction blocked 0.25