Assertion: prime number | /r/HasProperty | positive
Facets:
value: always
type: DEGREE
Source sentences:
text: A prime number is always positive and it will be checked at the beginning of the program.