For example, if we apply the rule from the introduction to the symbolic sentence above, the result is the following symbolic sentence: The example rule can only affect readings of word2 that have a "verb" tag, so we create only two new variables w 4 and w 5 for the result, and reuse the other variables.
we must also add the following constraint for w 4 : after applying the rule, the reading "verb sg" (represented by the variable w 4 ) can only be in the resulting sentence exactly when (1) "verb sg" was a reading of the input sentence (so w 4 is true) and (2) the rule has not been triggered (the rule triggers when v 1 is true and at least one of the non-verb readings w 1 .