Assertion: presentation | /r/HasProperty | s | r
Facets:
Source sentences:
text: Suppose G has presentation <S | R> and H has presentation <