Assertion: redundancy | /r/HasSubgroup | logic redundancy
Facets:
Source sentences: