srcs := { h1; h2; h3; h4; h5; h6 }; exits_a := { h20 }; exits_b := { h60 };

foreach (s, d): cross(srcs, exits_a)

ipProto = 17 and ethTyp = 2048 and tcpDstPort = 80 -> .* s2 at min(100 Mbps);

foreach (s, d): cross(srcs, exits_b)

ipProto = 17 and ethTyp = 2048 and tcpDstPort = 25 -> .* s6 at min(100 Mbps);