"First, yes, r/w rules can define many-to-one and one-to-many mappings. As Van as observed, such mappings are unambiguous in one direction an"