Assertion: predicate's variable | /r/HasProperty | quantified for instance
Facets:
value: universally
type: MANNER
value: with the first-order sentence
type: OTHER
Source sentences:
text: The variable a in the previous formula can be universally quantified, for instance, with the first-order sentence