Assertion: predicate's value | /r/HasProperty | assigned to parameter
Facets:
value: in the formula
type: OTHER
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.