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