Assertion: set's number | /r/HasProperty | 2·n 2
Facets:
Source sentences:
text: For all natural numbers n, if n is composite, then 2·n > 2