Assertion: probe | /r/HasSubgroup | von neumann probe
Facets:
Source sentences: