Assertion: predicate | /r/HasProperty | concatenated with other strings
Facets:
Source sentences:
text: The rules specify how the operators, function and predicate symbols, and quantifiers are to be concatenated with other strings.