Assertion: sign | /r/HasSubgroup | mutable sign
Facets:
Source sentences: