Assertion: predicate's variable | /r/HasProperty | replaced by constant
Facets:
Source sentences:
text: Therefore, propositional functions lack a truth-value; we can't tell whether the unfilled form " (blank) is human" is true or false until the blank (or free variable) is bound by a quantifier or replaced by a constant, that is, until the propositional function converted to a genuine proposition.
text: Second, the free variables may be replaced by constants; this is called instantiation.