For example, all proper nouns "NE" and nouns "NN" can be retrieved by pos= "NE" | "NN" As usual, structural identity can be expressed by the use of logical variables.
variables must not occur in the scope of negation, since this would introduce the computational overhead of inequality constraints.