Assertion: predicate's argument | /r/HasProperty | individual
Facets:
value: in the domain
type: LOCATION
Source sentences:
text: Alternatively, a notation is used (in the model theory, which should be odd to a "pure" model theorist) to stand for these kinds of predicates: $(\forall x)P(x)$ is read as "for all ex capital pee of ex" and asserts (in model theory) that the predicate $P(x)$ is true for any argument which is an individual in the domain, $(\exists x)P(x)$ is read "there exists an ex such that capital pee of ex" and asserts that the predicate $P(x)$ is true for at least one argument which is an individual in the domain.
text: Alternatively, a notation is used (in the model theory, which should be odd to a "pure" model theorist) to stand for these kinds of predicates: $(\forall x)P(x)$ is read as "for all ex capital pee of ex" and asserts (in model theory) that the predicate $P(x)$ is true for any argument which is an individual in the domain, $(\exists x)P(x)$ is read "there exists an ex such that capital pee of ex" and asserts that the predicate $P(x)$ is true for at least one argument which is an individual in the domain.