Assertion: set's number | /r/HasProperty | mentioned on other hand
Facets:
value: explicitly
type: MANNER
value: in the universal quantification
type: OTHER
Source sentences:
text: In the universal quantification, on the other hand, the natural numbers are mentioned explicitly.