Iptables_Semantics.Semantics_Ternary