Assertion: quantifier | /r/CapableOf | range over universal domain of discourse
Facets:
Source sentences:
text: —for the language of second-order logic interprets the quantifiers to range over a universal domain of discourse.