Open ClementSparrow opened 2 years ago
OK, that's actually a bad example because in that case it would be the application of the mapping during property expansion, as a property mapping induced by the tag mapping. A better example would be:
[ > Obj:Tg | ] -> [ > Obj:Tg | Obj:Mp ]
With a mapping defined like that:
It's possible to write a rule like that:
And it will be interpreted as:
While this is an interesting feature I think this kind of rule more likely reflects a problem with the mapping – either a mapping parameter that is missing in the rule or the use of a wrong mapping with a start set that is not one of the rule parameters – and should thus trigger an error.