tcp port subgroup of port, 4 assertions
HasProperty 1
open 0.82
ReceivesAction 3
closed 0.53
forwarded over secure c… 0.30
blocked 0.25