Assertion: expression's variable | /r/HasProperty | bound variable n
Facets:
Source sentences:
text: has free variable x, bound variable n, constants 1, 2, and 3, two occurrences of an implicit multiplication operator, and a summation operator.