Assertion: presentation's element | /r/CapableOf | get identified with the identity
Facets:
Source sentences:
text: S\mid R\rangle } , the idea is to take F S {\displaystyle F_{S}} quotient by the smallest normal subgroup such that each element of R gets identified with the identity.