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