Assertion: probe | /r/HasSubgroup | mip probe
Facets:
Source sentences: