Assertion: turnstile | /r/HasSubgroup | mpp turnstile
Facets:
Source sentences: