Assertion: symbol | /r/CapableOf | stand for variable
Facets:
value: in an interpretation
type: OTHER
Source sentences:
text: These include symbols that, in an interpretation, may stand for individual constants, variables, functions, or predicates.