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);