foreach (s, d): cross({ h1; h3; h4 }, { h2 })

tcpDstPort = 80 -> .* s6 at min(100 Mbps);

foreach (s, d): cross({ h1; h3; h4 }, { h2 })

ipProto = udp -> .* s6 at min(100 Mbps);

foreach (s, d): cross({ h1; h3; h4 }, { h2 })

ipDst = 172.50.0.0 -> .* s6 at min(100 Mbps);