Assertion: quantifier's meaning | /r/HasProperty | symbolized in simpler way
Facets:
Source sentences:
text: This meaning of this sentence could have been symbolized in a simpler way, by introducing a predicate like ``T(x)'' meaning ``x is 30 years old'', and by allowing the constant ``p'' to stand for the writings of Proust, but the more complex symbolization I used here makes a couple of points, one which illustrates a problem with the system and one that represents a positive aspect.