source: [lemma=attribute] [lemma=or] □
destination: [lemma=attribute] [lemma=or] [□]
spec: Many of the same legislators who wanted the death penalty in the past are likely to vote against it now . What should we do if we discover that the current value of an Attribute or Reference violates the applicable Constraints ?