Assertion: abstraction | /r/CapableOf | bind variable x \displaystyle x
Facets:
value: in the term
type: TEMPORAL
Source sentences:
text: The abstraction binds the variable x {\displaystyle x} in the term t {\displaystyle t} .