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