Assertion: logic's role | /r/HasProperty | to give denotation
Facets:
Source sentences:
text: As indicated, the role of variable-assignments is to give denotations to the free variables.
text: The role of variable-assignments is to assign denotations to the free variables of open formulas.