srcs := { h1; h2 }; dsts := { h4 };
foreach (s, d): cross(srcs, dsts)
ethTyp = 2048 and ipProto = 6 and tcpDstPort = 80 -> .* s2 s3 .* at min(100 Mbps);
foreach (s, d): cross(dsts, srcs)
ethTyp = 2048 and ipProto = 6 and tcpSrcPort = 80 -> .* s3 s2 .* at min(100 Mbps);