Assertion: integer | /r/HasProperty | prime
Facets:
Source sentences:
text: Every integer greater than one is either prime or composite.