Note: This tutorial assumes you know how to run the system.
50: O: O30 (learn-language)
51: ==>S: S36 (operator no-change)
52: O: O37 (install-initial-state)
53: O: O34 (u-constructor538)
54: ==>S: S50 (operator no-change)
55: ==>S: S51 (state no-change)
56: O: O40 generate-operator(link(zebra.n--spec-->the.det)
57: ==>S: S52 (operator no-change)
58: O: C94 (check number-agreement)
59: O: C92 (check assigner-follows)
60: O: C90 (check aux-verb)
61: O: C96 (check spec)
62: O: C88 (check not-duplicate-relation)
63: O: O41 (constraint-success)
64: O: C87 link(zebra.n--spec-->the.det)
65: ==>S: S53 (state no-change)
66: O: O43 (exhausted)
67: O: O44 (return-operator)
Firing chunk672768: O: O34 (u-constructor538)
Firing chunk6710
Firing chunk6714
Firing chunk6715
Firing chunk6716
Firing chunk6717
Firing chunk6718
Firing chunk6721
Firing chunk6723
Firing chunk6719
Firing chunk6720
Firing chunk6722
Retracting chunk6727
Retracting chunk672769: ==>S: S54 (operator no-change)
Firing chunk669270: O: O46 (completed)
Firing chunk673271: O: W24 (wait)