Assertion: prime number | /r/HasProperty | verified with four different programs
Facets:
value: independently
type: MANNER
Source sentences:
text: To be thorough, the prime number was independently verified with four different programs running on various hardware configurations.