NATOrd is_reflexive_in NAT ;