Iptables_Semantics.Negation_Type_DNF