Assertion: timed automaton | /r/CapableOf | accept timed words
Facets:
Source sentences:
text: {\displaystyle a} b {\displaystyle b} A timed automaton accepting timed words overwhere each occurrence ofis followed less than one time unit latter by an occurrence of