Assertion: standard mathematical notation | /r/HasProperty | incorporated into the predicate calculus
Facets:
Source sentences:
text: In particular, standard mathematical notation such as can be incorporated into the predicate calculus.