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