Assertion: symmetry | /r/HasProperty | implied by given ones
Facets:
Source sentences:
text: Many groups include other symmetries implied by the given ones.