Assertion: variable | /r/CapableOf | represent basic object of the theory
Facets:
Source sentences:
text: In mathematical logic, a variable is either a symbol representing an unspecified term of the theory, or a basic object of the theory, which is manipulated without referring to its possible intuitive interpretation.