|
Example pragmatics repair trace
|
*** log opened ****
soar> r
0: ==>S: S1
1: O: O3 (execute-mission)
2: ==>S: S6 (operator no-change)
3: O: O4 (racetrack)
xval: 100
4: ==>S: S7 (operator no-change)
5: O: O5 (fly-to-racetrack)
6: ==>S: S8 (operator no-change)
7: O: O6 (just-turn)
8: ==>S: S9 (operator no-change)
9: O: W4 (wait)
50 Soar hears you say: the
11: O: A23 (access word: 'the' spkr: user)
xval: -300
impasse for S1 ^tasking-annotation type: tie
12: O: O7 (learn-language)
13: ==>S: S10 (operator no-change)
14: O: O11 (install-initial-state)
15: O: O9 (u-constructor1)
16: ==>S: S16 (operator no-change)
17: ==>S: S17 (state no-change)
18: O: O12 generate-operator(empty-op()
19: ==>S: S18 (operator no-change)
20: O: O18 (bead)
21: O: O17 (bead)
22: O: O16 (bead)
23: O: O15 (beading-done)
Building chunk-1
Building chunk-2
24: O: C18 (empty-op)
Building chunk-3
Building chunk-4
Building chunk-5
25: ==>S: S19 (state no-change)
26: O: O22 (exhausted)
Building chunk-6
Building chunk-7
27: O: O19 (return-operator)
Building chunk-8
28: O: O9 (u-constructor1)
Firing chunk-3
Firing chunk-5
29: ==>S: S20 (operator no-change)
30: O: O23 (completed)
Building chunk-9
Building chunk-10
Building chunk-11
Retracting chunk-8
31: O: W6 (wait)
Retracting chunk-11
32: O: W6 (wait)
51: O: W6 (wait)
400 Soar hears you say: man
52: O: A47 (access word: 'man' spkr: user)
xval: 50
impasse for S1 ^tasking-annotation type: tie
53: O: O26 (learn-language)
54: ==>S: S22 (operator no-change)
55: O: O31 (install-initial-state)
56: O: O29 (u-constructor4)
57: ==>S: S28 (operator no-change)
58: ==>S: S29 (state no-change)
59: O: O35 generate-operator(link(man.n--spec-->the.det)
60: ==>S: S30 (operator no-change)
61: O: C38 (check number-agreement)
62: O: C36 (check assigner-follows)
63: O: C34 (check aux-verb)
64: O: C42 (check spec)
65: O: C40 (check not-duplicate-relation)
66: O: O36 (constraint-success)
Building chunk-12
Building chunk-13
Building chunk-14
67: O: C33 link(man.n--spec-->the.det)
Building chunk-15
Building chunk-16
Building chunk-17
Building chunk-18
Building chunk-19
Building chunk-20
Building chunk-21
Building chunk-22
Building chunk-23
Building chunk-24
Building chunk-25
Building chunk-26
Building chunk-27
Retracting chunk-14
68: ==>S: S31 (state no-change)
69: O: O39 (exhausted)
Building chunk-28
Building chunk-29
70: O: O40 (return-operator)
Building chunk-30
71: O: O29 (u-constructor4)
Firing chunk-15
Firing chunk-17
Firing chunk-18
Firing chunk-19
Firing chunk-25
Firing chunk-24
Firing chunk-20
Firing chunk-21
Firing chunk-22
Firing chunk-23
Firing chunk-26
Firing chunk-16
Retracting chunk-30
72: ==>S: S32 (operator no-change)
73: O: O41 (completed)
Building chunk-31
Building chunk-32
Building chunk-33
Building chunk-34
74: O: O27 (learn-language)
Retracting chunk-34
Retracting chunk-33
75: ==>S: S33 (operator no-change)
76: O: O45 (install-initial-state)
77: O: O44 (s-constructor9)
78: ==>S: S39 (operator no-change)
79: ==>S: S40 (state no-change)
80: O: O49 generate-operator(link(--context-->man.thing)
81: ==>S: S41 (operator no-change)
82: O: C61 (check not-duplicate-relation)
83: O: O50 (constraint-success)
Building chunk-35
Building chunk-36
84: O: C60 link(--context-->man.thing)
Building chunk-37
Building chunk-38
Building chunk-39
Building chunk-40
Building chunk-41
Retracting chunk-36
85: ==>S: S42 (state no-change)
86: O: O51 generate-operator(empty-op()
87: ==>S: S43 (operator no-change)
88: O: O60 (bead)
89: O: O59 (bead)
90: O: O58 (bead)
91: O: O57 (bead)
92: O: O56 (bead)
93: O: O55 (bead)
94: O: O54 (beading-done)
Building chunk-42
Building chunk-43
95: O: C64 (empty-op)
Building chunk-44
Building chunk-45
Building chunk-46
96: ==>S: S44 (state no-change)
97: O: O64 (exhausted)
Building chunk-47
Building chunk-48
98: O: O61 (return-operator)
Building chunk-49
99: O: O44 (s-constructor9)
750 Soar hears you say: dropped
Firing chunk-44
Firing chunk-37
Firing chunk-38
Firing chunk-41
Firing chunk-40
Firing chunk-46
Retracting chunk-49
100: ==>S: S45 (operator no-change)
101: O: O66 (completed)
Building chunk-50
Building chunk-51
102: O: A99 (access word: 'dropped' spkr: user)
Retracting chunk-51
xval: 400
impasse for S1 ^tasking-annotation type: tie
103: O: O69 (learn-language)
104: ==>S: S51 (operator no-change)
105: O: O73 (install-initial-state)
106: O: O71 (u-constructor10)
107: ==>S: S57 (operator no-change)
108: ==>S: S58 (state no-change)
109: O: O78 generate-operator(link(dropped.v--adjoin-->dropped.v)
Building chunk-52
110: O: C87 link(dropped.v--adjoin-->dropped.v)
Building chunk-53
Building chunk-54
Building chunk-55
Building chunk-56
Building chunk-57
Building chunk-58
Building chunk-59
Building chunk-60
Retracting chunk-52
111: ==>S: S59 (state no-change)
112: O: O84 generate-operator(link(dropped.i--comp-->dropped.v)
Building chunk-61
113: O: C92 link(dropped.i--comp-->dropped.v)
Building chunk-62
Building chunk-63
Building chunk-64
Building chunk-65
Building chunk-66
Building chunk-67
Building chunk-68
Building chunk-69
Building chunk-70
Retracting chunk-61
114: ==>S: S60 (state no-change)
115: O: O89 generate-operator(link(dropped.i--spec-->man.n)
116: ==>S: S61 (operator no-change)
117: O: C102 (check number-agreement)
118: O: C100 (check main-verb)
119: O: C98 (check assigner-follows)
120: O: C106 (check spec)
121: O: C104 (check not-duplicate-relation)
122: O: O91 (constraint-success)
Building chunk-71
Building chunk-72
Building chunk-73
123: O: C96 link(dropped.i--spec-->man.n)
Building chunk-74
Building chunk-75
Building chunk-76
Building chunk-77
Building chunk-78
Building chunk-79
Firing chunk-79
Firing chunk-79
Firing chunk-79
Building chunk-80
Building chunk-81
Ignoring chunk-81 because it is a duplicate of chunk-79
Building chunk-82
Ignoring chunk-82 because it is a duplicate of chunk-79
Building chunk-83
Building chunk-84
Building chunk-85
Building chunk-86
Retracting chunk-73
124: ==>S: S62 (state no-change)
125: O: O95 generate-operator(link(dropped.c--comp-->dropped.i)
Building chunk-87
126: O: C115 link(dropped.c--comp-->dropped.i)
Building chunk-88
Building chunk-89
Building chunk-90
Building chunk-91
Building chunk-92
Building chunk-93
Building chunk-94
Building chunk-95
Building chunk-96
Building chunk-97
Retracting chunk-87
127: ==>S: S63 (state no-change)
128: O: O98 (exhausted)
Building chunk-98
Building chunk-99
129: O: O99 (return-operator)
Building chunk-100
130: O: O71 (u-constructor10)
Firing chunk-53
Firing chunk-62
Firing chunk-54
Firing chunk-57
Firing chunk-60
Firing chunk-55
Firing chunk-56
Firing chunk-63
Firing chunk-64
Firing chunk-67
Firing chunk-66
Firing chunk-65
Firing chunk-69
Firing chunk-59
Firing chunk-68
Firing chunk-95
Firing chunk-88
Firing chunk-91
Firing chunk-93
Firing chunk-89
Firing chunk-94
Firing chunk-90
Firing chunk-92
Firing chunk-96
Retracting chunk-100
Firing chunk-74
Firing chunk-75
Firing chunk-76
Firing chunk-77
Firing chunk-84
Firing chunk-78
Firing chunk-79
Firing chunk-79
Firing chunk-79
Firing chunk-79
Firing chunk-80
Firing chunk-85
Firing chunk-83
131: ==>S: S64 (operator no-change)
132: O: O100 (completed)
Building chunk-101
Building chunk-102
Building chunk-103
Building chunk-104
133: O: O70 (learn-language)
Retracting chunk-104
Retracting chunk-103
134: ==>S: S65 (operator no-change)
135: O: O104 (install-initial-state)
136: O: O103 (s-constructor15)
137: ==>S: S71 (operator no-change)
138: ==>S: S72 (state no-change)
139: O: O110 generate-operator(link(--context-->dropped.action)
Firing chunk-35
Building chunk-105
140: O: C129 link(--context-->dropped.action)
Building chunk-106
Building chunk-107
Building chunk-108
Building chunk-109
Building chunk-110
Building chunk-111
Retracting chunk-105
141: ==>S: S73 (state no-change)
142: O: O115 generate-operator(fuse(dropped.action--external-->man.thing)
143: ==>S: S74 (operator no-change)
144: O: C141 (check sense-check)
145: O: C147 (check selection-restrictions)
146: O: C145 (check dummy-constraint)
147: O: C143 (check category-check)
148: O: C139 (check duplicate-fusion)
149: O: C135 (check check-syntax)
1100 Soar hears you say: the
150: O: C133 (check adjacency)
151: O: C137 (check not-duplicate-relation)
152: O: O116 (constraint-success)
Building chunk-112
Building chunk-113
153: O: C132 fuse(dropped.action--external-->man.thing)
Building chunk-114
Building chunk-115
Building chunk-116
Building chunk-117
Building chunk-118
Building chunk-119
Building chunk-120
Building chunk-121
Building chunk-122
Building chunk-123
Retracting chunk-113
154: ==>S: S75 (state no-change)
155: O: O119 (exhausted)
Building chunk-124
Building chunk-125
156: O: O120 (return-operator)
Building chunk-126
157: O: O103 (s-constructor15)
Firing chunk-114
Firing chunk-115
Firing chunk-123
Firing chunk-116
Firing chunk-122
Firing chunk-121
Firing chunk-117
Firing chunk-119
Firing chunk-106
Firing chunk-107
Firing chunk-110
Firing chunk-109
Firing chunk-111
Retracting chunk-126
158: ==>S: S76 (operator no-change)
159: O: O121 (completed)
Building chunk-127
Building chunk-128
Building chunk-129
160: O: A161 (access word: 'the' spkr: user)
Retracting chunk-129
Retracting chunk-128
xval: 750
impasse for S1 ^tasking-annotation type: tie
Firing chunk-8
161: O: O125 (u-constructor1)
Firing chunk-3
Firing chunk-10
Firing chunk-5
162: ==>S: S77 (operator no-change)
163: O: O126 (completed)
Building chunk-130
Building chunk-131
Ignoring chunk-131 because it is a duplicate of chunk-10
Building chunk-132
Retracting chunk-8
164: O: W117 (wait)
Retracting chunk-132
165: O: W117 (wait)
1450 Soar hears you say: book
188: O: A163 (access word: 'book' spkr: user)
xval: 1100
impasse for S1 ^tasking-annotation type: tie
Firing chunk-30
189: O: O131 (u-constructor4)
Firing chunk-15
Firing chunk-17
Firing chunk-18
Firing chunk-19
Firing chunk-25
Firing chunk-24
Firing chunk-20
Firing chunk-21
Firing chunk-22
Firing chunk-23
Firing chunk-26
Firing chunk-16
Retracting chunk-30
190: ==>S: S79 (operator no-change)
191: O: O132 (incomplete)
Building chunk-133
Building chunk-134
192: O: O128 (learn-language)
Retracting chunk-133
193: ==>S: S80 (operator no-change)
194: O: O135 (install-initial-state)
195: O: O133 (u-constructor16)
196: ==>S: S86 (operator no-change)
197: ==>S: S87 (state no-change)
198: O: O144 generate-operator(link(dropped.c--spec-->book.n)
199: ==>S: S88 (operator no-change)
200: O: C180 (check assigner-follows)
Building chunk-135
Firing chunk-135
Firing chunk-135
Firing chunk-135
201: O: O140 generate-operator(link(dropped.v--comp-->book.n)
202: ==>S: S89 (operator no-change)
203: O: C191 (check form)
204: O: C189 (check subcat-feature)
205: O: C187 (check subcat)
206: O: C185 (check receiver-follows)
207: O: C183 (check not-duplicate-relation)
208: O: O146 (constraint-success)
Building chunk-136
Building chunk-137
209: O: C169 link(dropped.v--comp-->book.n)
Building chunk-138
Building chunk-139
Building chunk-140
Building chunk-141
Building chunk-142
Building chunk-143
Building chunk-144
Building chunk-145
Building chunk-146
Firing chunk-146
Firing chunk-146
Firing chunk-146
Building chunk-147
Ignoring chunk-147 because it is a duplicate of chunk-146
Building chunk-148
Firing chunk-148
Firing chunk-148
Firing chunk-148
Building chunk-149
Building chunk-150
Retracting chunk-137
210: ==>S: S90 (state no-change)
211: O: O149 (exhausted)
Building chunk-151
Building chunk-152
212: O: O150 (return-operator)
Building chunk-153
213: O: O133 (u-constructor16)
Firing chunk-138
Firing chunk-146
Firing chunk-146
Firing chunk-146
Firing chunk-146
Firing chunk-148
Firing chunk-148
Firing chunk-148
Firing chunk-148
Firing chunk-145
Firing chunk-139
Firing chunk-140
Firing chunk-141
Firing chunk-142
Firing chunk-143
Firing chunk-144
Firing chunk-149
Retracting chunk-153
214: ==>S: S91 (operator no-change)
215: O: O151 (completed)
Building chunk-154
Building chunk-155
Building chunk-156
Building chunk-157
216: O: O129 (learn-language)
Retracting chunk-157
Retracting chunk-156
217: ==>S: S92 (operator no-change)
218: O: O155 (install-initial-state)
219: O: O154 (s-constructor21)
220: ==>S: S98 (operator no-change)
Firing chunk-36
221: O: O156 link(--context-->book.thing)
Building chunk-158
Building chunk-159
Building chunk-160
Building chunk-161
Building chunk-162
Building chunk-163
Retracting chunk-36
222: ==>S: S99 (state no-change)
223: O: O160 generate-operator(fuse(dropped.action--internal-->book.thing)
224: ==>S: S100 (operator no-change)
225: O: C218 (check sense-check)
226: O: C222 (check dummy-constraint)
227: O: C220 (check category-check)
228: O: C216 (check duplicate-fusion)
229: O: C212 (check check-syntax)
230: O: C210 (check adjacency)
231: O: C214 (check not-duplicate-relation)
232: O: O161 (constraint-success)
Building chunk-164
Building chunk-165
233: O: C209 fuse(dropped.action--internal-->book.thing)
Building chunk-166
Building chunk-167
Building chunk-168
Building chunk-169
Building chunk-170
Building chunk-171
Building chunk-172
Building chunk-173
Building chunk-174
Retracting chunk-165
234: ==>S: S101 (state no-change)
235: O: O164 (exhausted)
1800 Soar hears you say: on
Building chunk-175
Building chunk-176
236: O: O165 (return-operator)
Building chunk-177
237: O: O154 (s-constructor21)
Firing chunk-166
Firing chunk-168
Firing chunk-174
Firing chunk-173
Firing chunk-167
Firing chunk-171
Firing chunk-170
Firing chunk-158
Firing chunk-159
Firing chunk-163
Firing chunk-161
Firing chunk-162
Retracting chunk-177
238: ==>S: S102 (operator no-change)
239: O: O166 (completed)
Building chunk-178
Building chunk-179
240: O: A230 (access word: 'on' spkr: user)
Retracting chunk-179
xval: 1450
impasse for S1 ^tasking-annotation type: tie
241: O: O169 (learn-language)
242: ==>S: S105 (operator no-change)
243: O: O173 (install-initial-state)
244: O: O171 (u-constructor22)
245: ==>S: S111 (operator no-change)
246: ==>S: S112 (state no-change)
Firing chunk-135
Firing chunk-135
247: O: O179 generate-operator(link(dropped.v--comp-->on.p)
248: ==>S: S113 (operator no-change)
249: O: C260 (check form)
250: O: C258 (check subcat-feature)
251: O: C256 (check double-comp-preposition)
252: O: C254 (check subcat)
Building chunk-180
Firing chunk-180
253: O: O182 generate-operator(link(book.n--adjoin-->on.p)
254: ==>S: S114 (operator no-change)
255: O: C270 (check dummy-constraint)
256: O: C268 (check receiver-follows)
257: O: O188 (constraint-success)
Building chunk-181
Building chunk-182
258: O: C247 link(book.n--adjoin-->on.p)
Building chunk-183
Building chunk-184
Building chunk-185
Building chunk-186
Building chunk-187
Building chunk-188
Building chunk-189
Building chunk-190
Building chunk-191
Building chunk-192
Building chunk-193
Building chunk-194
Building chunk-195
Retracting chunk-182
259: ==>S: S115 (state no-change)
260: O: O191 (exhausted)
Building chunk-196
Building chunk-197
261: O: O192 (return-operator)
Building chunk-198
262: O: O171 (u-constructor22)
Firing chunk-183
Firing chunk-187
Firing chunk-185
Firing chunk-184
Firing chunk-186
Firing chunk-188
Firing chunk-189
Firing chunk-190
Firing chunk-195
Firing chunk-192
Firing chunk-194
Firing chunk-191
Retracting chunk-198
263: ==>S: S116 (operator no-change)
264: O: O193 (completed)
Building chunk-199
Building chunk-200
Building chunk-201
Building chunk-202
265: O: O170 (learn-language)
Retracting chunk-202
Retracting chunk-201
266: ==>S: S117 (operator no-change)
267: O: O197 (install-initial-state)
268: O: O196 (s-constructor27)
269: ==>S: S123 (operator no-change)
270: ==>S: S124 (state no-change)
271: O: O204 generate-operator(link(--context-->on.property)
Firing chunk-35
Building chunk-203
272: O: C288 link(--context-->on.property)
Building chunk-204
Building chunk-205
Building chunk-206
Building chunk-207
Building chunk-208
Building chunk-209
Building chunk-210
Retracting chunk-203
273: ==>S: S125 (state no-change)
274: O: O210 generate-operator(fuse(on.property--external-->book.thing)
275: ==>S: S126 (operator no-change)
276: O: C301 (check sense-check)
277: O: C305 (check dummy-constraint)
278: O: C303 (check category-check)
279: O: C299 (check duplicate-fusion)
280: O: C297 (check check-syntax)
281: O: C295 (check check-syntax)
282: O: C293 (check adjacency)
283: O: C307 (check not-duplicate-relation)
2150 Soar hears you say: the
284: O: O211 (constraint-success)
Building chunk-211
Building chunk-212
285: O: C292 fuse(on.property--external-->book.thing)
Building chunk-213
Building chunk-214
Building chunk-215
Building chunk-216
Building chunk-217
Building chunk-218
Building chunk-219
Building chunk-220
Retracting chunk-212
286: ==>S: S127 (state no-change)
287: O: O214 (exhausted)
Building chunk-221
Building chunk-222
288: O: O215 (return-operator)
Building chunk-223
289: O: O196 (s-constructor27)
Firing chunk-213
Firing chunk-215
Firing chunk-216
Firing chunk-219
Firing chunk-218
Firing chunk-214
Firing chunk-204
Firing chunk-205
Firing chunk-208
Firing chunk-207
Firing chunk-209
Firing chunk-210
Retracting chunk-223
290: ==>S: S128 (operator no-change)
291: O: O216 (completed)
Building chunk-224
Building chunk-225
Building chunk-226
292: O: A302 (access word: 'the' spkr: user)
Retracting chunk-226
Retracting chunk-225
xval: 1800
impasse for S1 ^tasking-annotation type: tie
Firing chunk-8
Retracting chunk-8
293: ==>S: S129 (operator no-change)
294: O: O221 (remove)
295: O: O218 (learn-language)
296: ==>S: S130 (operator no-change)
297: O: O224 (install-initial-state)
298: O: O222 (u-constructor28)
299: ==>S: S136 (operator no-change)
300: ==>S: S137 (state no-change)
Firing chunk-135
Firing chunk-135
301: O: O225 generate-operator(empty-op()
Retracting chunk-135
Retracting chunk-135
302: ==>S: S138 (operator no-change)
303: O: O238 (bead)
304: O: O237 (bead)
305: O: O236 (bead)
306: O: O235 (bead)
307: O: O234 (bead)
308: O: O233 (bead)
309: O: O232 (bead)
310: O: O231 (bead)
311: O: O230 (beading-done)
Building chunk-227
Building chunk-228
312: O: C327 (empty-op)
Building chunk-229
Building chunk-230
Building chunk-231
313: ==>S: S139 (state no-change)
Firing chunk-135
Firing chunk-135
314: O: O242 (exhausted)
Building chunk-232
Building chunk-233
315: O: O239 (return-operator)
Building chunk-234
316: O: O222 (u-constructor28)
Firing chunk-229
Firing chunk-231
317: ==>S: S140 (operator no-change)
318: O: O245 (completed)
Building chunk-235
Building chunk-236
Building chunk-237
Retracting chunk-234
319: O: W625 (wait)
Retracting chunk-237
320: O: W625 (wait)
328: O: A339 (access word: 'table' spkr: user)
xval: 2150
impasse for S1 ^tasking-annotation type: tie
Firing chunk-30
329: ==>S: S142 (operator no-change)
330: O: O251 (remove)
331: O: O250 (u-constructor4)
Firing chunk-15
Firing chunk-17
Firing chunk-18
Firing chunk-19
Firing chunk-25
Firing chunk-24
Firing chunk-20
Firing chunk-21
Firing chunk-22
Firing chunk-23
Firing chunk-26
Firing chunk-16
Firing chunk-133
Firing chunk-134
Retracting chunk-30
332: O: O247 (learn-language)
Retracting chunk-133
333: ==>S: S143 (operator no-change)
334: O: O254 (install-initial-state)
335: O: O252 (u-constructor31)
336: ==>S: S149 (operator no-change)
337: ==>S: S150 (state no-change)
Firing chunk-135
Firing chunk-135
Firing chunk-135
Firing chunk-135
338: O: O261 generate-operator(link(on.p--comp-->table.n)
339: ==>S: S151 (operator no-change)
340: O: C367 (check form)
341: O: C365 (check subcat-feature)
342: O: C363 (check subcat)
343: O: C361 (check receiver-follows)
344: O: C359 (check not-duplicate-relation)
345: O: O266 (constraint-success)
Building chunk-238
Building chunk-239
346: O: C354 link(on.p--comp-->table.n)
Building chunk-240
Building chunk-241
Building chunk-242
Building chunk-243
Building chunk-244
Building chunk-245
Building chunk-246
Building chunk-247
Building chunk-248
Building chunk-249
Retracting chunk-239
347: ==>S: S152 (state no-change)
348: O: O269 (exhausted)
Building chunk-250
Building chunk-251
349: O: O270 (return-operator)
Building chunk-252
350: O: O252 (u-constructor31)
Firing chunk-241
Firing chunk-242
Firing chunk-245
Firing chunk-246
Firing chunk-240
Firing chunk-243
Firing chunk-247
Firing chunk-244
Firing chunk-248
Retracting chunk-252
351: ==>S: S153 (operator no-change)
352: O: O271 (completed)
Building chunk-253
Building chunk-254
Building chunk-255
Building chunk-256
353: O: O248 (learn-language)
Retracting chunk-256
Retracting chunk-255
354: ==>S: S154 (operator no-change)
355: O: O275 (install-initial-state)
356: O: O274 (s-constructor36)
357: ==>S: S160 (operator no-change)
Firing chunk-36
358: O: O276 link(--context-->table.thing)
Building chunk-257
Building chunk-258
Building chunk-259
Building chunk-260
Building chunk-261
Building chunk-262
Building chunk-263
Retracting chunk-36
359: ==>S: S161 (state no-change)
360: O: O280 generate-operator(fuse(on.property--internal-->table.thing)
361: ==>S: S162 (operator no-change)
362: O: C394 (check sense-check)
363: O: C398 (check dummy-constraint)
364: O: C396 (check category-check)
365: O: C392 (check duplicate-fusion)
366: O: C388 (check pragmatic-check-on)
Building chunk-264
367: O: O282 (replaced)
Building chunk-265
Building chunk-266
368: O: C385 snip(on)
Building chunk-267
Building chunk-268
Building chunk-269
Building chunk-270
Building chunk-271
Building chunk-272
Building chunk-273
Building chunk-274
Retracting chunk-266
369: ==>S: S166 (state no-change)
370: O: O284 (exhausted)
Building chunk-275
Building chunk-276
371: O: O286 (return-operator)
Building chunk-277
372: O: O274 (s-constructor36)
Firing chunk-267
Firing chunk-269
Firing chunk-274
Firing chunk-270
Firing chunk-272
Firing chunk-273
Firing chunk-271
Firing chunk-257
Firing chunk-258
Firing chunk-263
Firing chunk-260
Firing chunk-261
Firing chunk-262
Retracting chunk-277
impasse for S1 ^tasking-annotation type: tie
373: ==>S: S170 (operator no-change)
374: O: O288 (incomplete)
Building chunk-278
Building chunk-279
375: O: O287 (learn-language)
Retracting chunk-278
376: ==>S: S171 (operator no-change)
377: O: O291 (install-initial-state)
378: O: O289 (u-constructor37)
Redump cycle avoided at X9
379: ==>S: S180 (operator no-change)
380: ==>S: S181 (state no-change)
Firing chunk-180
Firing chunk-180
Firing chunk-135
Firing chunk-135
381: O: O298 generate-operator(link(dropped.v--adjoin-->on.p)
382: ==>S: S182 (operator no-change)
383: O: C425 (check dummy-constraint)
384: O: C423 (check receiver-follows)
385: O: O301 (constraint-success)
Building chunk-280
Building chunk-281
386: O: C420 link(dropped.v--adjoin-->on.p)
Building chunk-282
Building chunk-283
Building chunk-284
Building chunk-285
Building chunk-286
Building chunk-287
Building chunk-288
Building chunk-289
Firing chunk-289
Firing chunk-289
Firing chunk-289
Building chunk-290
Ignoring chunk-290 because it is a duplicate of chunk-289
Building chunk-291
Firing chunk-291
Firing chunk-291
Firing chunk-291
Building chunk-292
Building chunk-293
Building chunk-294
Building chunk-295
Building chunk-296
Retracting chunk-281
387: ==>S: S183 (state no-change)
388: O: O303 (exhausted)
Building chunk-297
Building chunk-298
389: O: O305 (return-operator)
Building chunk-299
390: O: O289 (u-constructor37)
Redump cycle avoided at X9
Firing chunk-282
Firing chunk-283
Firing chunk-284
Firing chunk-285
Firing chunk-286
Firing chunk-289
Firing chunk-289
Firing chunk-289
Firing chunk-289
Firing chunk-287
Firing chunk-291
Firing chunk-291
Firing chunk-291
Firing chunk-291
Firing chunk-288
Firing chunk-296
Firing chunk-293
Firing chunk-292
Firing chunk-295
Redump cycle avoided at X9
Retracting chunk-299
391: ==>S: S184 (operator no-change)
392: O: O306 (completed)
Building chunk-300
Building chunk-301
Building chunk-302
Redump cycle avoided at X9
393: O: O248 (learn-language)
Retracting chunk-302
Retracting chunk-301
394: ==>S: S185 (operator no-change)
395: O: O310 (install-initial-state)
396: O: O309 (s-constructor42)
397: ==>S: S194 (operator no-change)
398: O: O312 (semsnip)
Building chunk-303
Building chunk-304
Building chunk-305
Building chunk-306
Building chunk-307
Building chunk-308
Building chunk-309
399: ==>S: S196 (state no-change)
400: O: O319 generate-operator(fuse(on.property--external-->dropped.action)
Firing chunk-211
Building chunk-310
401: O: C443 fuse(on.property--external-->dropped.action)
Building chunk-311
Building chunk-312
Building chunk-313
Building chunk-314
Building chunk-315
Building chunk-316
Building chunk-317
Building chunk-318
Retracting chunk-310
402: ==>S: S197 (state no-change)
403: O: O323 generate-operator(fuse(on.property--internal-->table.thing)
404: ==>S: S198 (operator no-change)
405: O: C453 (check sense-check)
406: O: C457 (check dummy-constraint)
407: O: C455 (check category-check)
408: O: C451 (check duplicate-fusion)
409: O: C449 (check pragmatic-check-on)
410: O: C447 (check adjacency)
411: O: C459 (check not-duplicate-relation)
412: O: O324 (constraint-success)
Building chunk-319
Building chunk-320
413: O: C446 fuse(on.property--internal-->table.thing)
Building chunk-321
Building chunk-322
Building chunk-323
Building chunk-324
Building chunk-325
Building chunk-326
Building chunk-327
Building chunk-328
Building chunk-329
Retracting chunk-320
414: ==>S: S199 (state no-change)
415: O: O327 (exhausted)
Building chunk-330
Building chunk-331
416: O: O328 (return-operator)
Building chunk-332
417: O: O309 (s-constructor42)
Firing chunk-303
Firing chunk-305
Firing chunk-308
Firing chunk-309
Firing chunk-306
Firing chunk-307
Firing chunk-304
Firing chunk-321
Firing chunk-323
Firing chunk-329
Firing chunk-328
Firing chunk-322
Firing chunk-326
Firing chunk-325
Retracting chunk-332
Firing chunk-311
Firing chunk-312
Firing chunk-313
Firing chunk-317
Firing chunk-316
Firing chunk-314
418: ==>S: S201 (operator no-change)
419: O: O329 (incomplete)
Building chunk-333
Building chunk-334
420: O: O248 (learn-language)
Retracting chunk-333
421: ==>S: S202 (operator no-change)
422: O: O332 (install-initial-state)
423: O: O331 (s-constructor45)
424: ==>S: S212 (operator no-change)
425: ==>S: S213 (state no-change)
426: O: O333 generate-operator(empty-op()
427: ==>S: S214 (operator no-change)
428: O: O357 (bead)
429: O: O356 (bead)
430: O: O355 (bead)
431: O: O354 (bead)
432: O: O353 (bead)
433: O: O352 (bead)
434: O: O351 (bead)
435: O: O350 (bead)
436: O: O349 (bead)
437: O: O348 (bead)
438: O: O347 (bead)
439: O: O346 (bead)
440: O: O345 (bead)
441: O: O344 (bead)
442: O: O343 (bead)
443: O: O342 (bead)
444: O: O341 (bead)
445: O: O340 (bead)
446: O: O339 (bead)
447: O: O338 (bead)
448: O: O337 (bead)
449: O: O336 (beading-done)
Building chunk-335
Building chunk-336
450: O: C478 (empty-op)
Building chunk-337
Building chunk-338
Building chunk-339
451: ==>S: S215 (state no-change)
452: O: O361 (exhausted)
Building chunk-340
Building chunk-341
453: O: O358 (return-operator)
Building chunk-342
454: O: O331 (s-constructor45)
Firing chunk-337
Firing chunk-339
455: ==>S: S216 (operator no-change)
456: O: O362 (completed)
Building chunk-343
Building chunk-344
Retracting chunk-342
457: O: W1328 (wait)
Retracting chunk-344