Assertion: robot | /r/HasProperty | shown at regular tree
Facets:
Source sentences:
text: the derivation of the same term from a regular tree grammar corresponding to the automaton, shown at Regular tree grammar#Examples.