Assertion list for term "blocked off both ingress".
Results from Ascent++: 1
port → ReceivesAction → blocked off both ingress 0.46