[lemma=attribute] [lemma=or] [□]
[lemma=attribute] [lemma=or] [□=□]
[lemma=attribute] [lemma=or] [□ | □]
What should we do if we discover that the current value of an Attribute or Reference violates the applicable Constraints ?