Assertion: predicate's variable | /r/AtLocation | x)ax bx
Facets:
value: more than
type: DEGREE
Source sentences:
text: A variable may occur more than once in an expression, free in some occurrences and bound in others, for example, "x" in "(x)Ax Bx".