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