Assertion: sequence's number | /r/HasProperty | such that 2p
Facets:
Source sentences:
text: A prime number p such that 2p