NATOrd is_antisymmetric_in NAT