Assertion: walk | /r/HasSubgroup | regular walk
Facets:
Source sentences: