Assertion: sequence's term | /r/HasProperty | distinct
Facets:
Source sentences:
text: (Here 2+2 is not a second representation of 4, because the previous terms must be distinct.)