Assertion: unrestricted existential quantifier | /r/CapableOf | quantify over object
Facets:
value: in that division
type: LOCATION
Source sentences:
text: ’: if there is an absolute division of a world, then the unrestricted existential quantifier is the operator that quantifies over all and only the (concrete) objects in that division.