AnnotatedGrammarUG87Constraints.txt
