Assertion: set's number | /r/HasProperty | defined
Facets:
Source sentences:
text: Cardinal numbers can be defined as follows.