Assertion: robot | /r/CapableOf | make one copy of itself
Facets:
value: for each successor
type: TRANSITIVE-OBJECT
Source sentences:
text: It is said that the automaton makes one copy of itself for each successor and each such copy starts running on one of the successor symbols from the state according to the transition relation of the automaton.