NAT: relations of arity 4 are OK for the moment