Assertion: robot | /r/MadeOf | single clock
Facets:
Source sentences:
text: However, when the automaton contains a single clock, the property is decidable, however it is not primitive recursive.