Assertion: robot | /r/HasProperty | defined in its specification
Facets:
Source sentences:
text: An automaton can be defined in a symbolic language or its specification may be entered in a predesigned form or its transition diagram may be drawn by clicking and dragging the mouse.