Assertion: predicate's value | /r/HasProperty | assigned to predicate letters
Facets:
Source sentences:
text: Intuitively, a formula with parameters expresses some condition that can be converted into a concrete proposition if (the domain of objects having first been concretely specified) definite values are assigned to the parameters and predicate letters in the formula.