The easiest natural language expression I can think of would be something like *map from source to target* and from that I had the feeling that *source* -> *target* would be the obvious natural order. That's what my gut was telling me. If your's is telling you differently, than it's much more likely that it's not that obvious.

Then I guess you're right and we should enforce the annotation.