Assertion: machine's state | /r/HasProperty | go
Facets:
Source sentences:
text: states-to-go) machine (let ((cur-state (first states-to-go))
text: states-to-go) machine (let ((cur-state (first states-to-go))
text: (cdr state)))))) machine) (if matched machine (cons (list (state-name cur-state) (cdr cur-state)) machine))) (cdr states-to-go))))) (extend '() state-graph)) ;; Setup is a handy procedure to initialize and test a new graph.
text: states-to-go) (error