Assertion: clock | /r/HasSubgroup | automaton clock
Facets:
Source sentences: