2 h -> h_1 ... h_2 (loc_h:1): 0.3000
3 h -> h_0 ... h_1 (loc_h:2): 0.0000
4 ROOT -> h_0 ... h_2 (loc_h:2): 0.0498
5 h_ -> h_1 ... h_2 (loc_h:1): 0.1200
6 _h_ -> h_0 ... h_2 (loc_h:2): 0.0498
7 h -> h_0 ... h_1 (loc_h:0): 0.3000
8 h_ -> h_1 ... h_2 (loc_h:2): 0.0630
9 _h_ -> h_0 ... h_1 (loc_h:0): 0.1200
10 h_ -> h_0 ... h_1 (loc_h:0): 0.1200
11 h_ -> h_0 ... h_2 (loc_h:2): 0.0498
12 _h_ -> h_0 ... h_1 (loc_h:1): 0.0630
13 h_ -> h_0 ... h_1 (loc_h:1): 0.0630
16 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
17 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:2 loc:2
18 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
19 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
21 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
22 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:1
23 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
24 *= 1.0000 (terminal: 0 -> h_1)
25 *= 0.3000 (terminal: _0_ -> h_2)
28 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:1
29 *= 0.3000 (terminal: _0_ -> h_1)
34 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
35 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:2
36 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
37 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:1. Todo: optimize away!)
39 *= 0.3000 (terminal: _0_ -> h_2)
41 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:1. Todo: optimize away!)
43 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:2
44 *= 0.3000 (terminal: _0_ -> h_1)
45 *= 0.3000 (terminal: 0_ -> h_2)
49 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
50 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:2
51 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
53 *= 0.3000 (terminal: _0_ -> h_1)
55 *= 0.3000 (terminal: _0_ -> h_2)
57 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:0. Todo: optimize away!)
59 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:2 loc:2
60 *= 0.3000 (terminal: _0_ -> h_0)
61 *= 0.0630 in chart: s:1 t:2 LHS: 0_ loc:2
63 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
64 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:0
65 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
66 *= 1.0000 (terminal: 0 -> h_0)
67 *= 0.3000 (terminal: _0_ -> h_1)
70 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:0
71 *= 0.3000 (terminal: _0_ -> h_0)
75 *= 0.3000 (terminal: 0_ -> h_2)
76 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
77 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:1
78 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
79 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):1 but s:0. Todo: optimize away!)
81 *= 0.3000 (terminal: _0_ -> h_1)
83 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:1 but s:0. Todo: optimize away!)
85 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:1
86 *= 0.3000 (terminal: _0_ -> h_0)
87 *= 0.3000 (terminal: 0_ -> h_1)
90 *= 0.3000 (terminal: 0_ -> h_2)
94 h -> h_1 ... h_2 (loc_h:1): 0.3000
95 h -> h_0 ... h_1 (loc_h:1): 0.0000
96 h -> h_0 ... h_1 (loc_h:2): 0.0000
97 h_ -> h_1 ... h_2 (loc_h:1): 0.1200
98 _h_ -> h_0 ... h_2 (loc_h:2): 0.0498
99 h -> h_0 ... h_1 (loc_h:0): 0.3000
100 h_ -> h_1 ... h_2 (loc_h:2): 0.0630
101 _h_ -> h_1 ... h_2 (loc_h:2): 0.0630
102 _h_ -> h_0 ... h_1 (loc_h:0): 0.1200
103 h_ -> h_0 ... h_1 (loc_h:0): 0.1200
104 h_ -> h_0 ... h_2 (loc_h:2): 0.0498
105 _h_ -> h_1 ... h_2 (loc_h:1): 0.1200
106 h -> h_1 ... h_2 (loc_h:2): 0.0000
107 h -> h_0 ... h_2 (loc_h:2): 0.0000
108 _h_ -> h_0 ... h_1 (loc_h:1): 0.0630
109 h_ -> h_0 ... h_1 (loc_h:1): 0.0630
111 keep (0, 2, (2, -1), 2): True
112 trying ROOT-->STOP _0_ [N 1.00] [A 1.00]
115 keep (0, 2, (2, 0), 2): True
116 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
119 keep (0, 2, (1, 0), 2): True
120 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
123 keep (0, 2, (0, 0), 2): False
124 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
127 keep (1, 2, (2, 0), 1): False
128 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
131 keep (1, 2, (1, 0), 1): False
132 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
135 keep (1, 2, (0, 0), 1): False
136 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
139 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
142 keep (1, 2, (2, 0), 2): False
143 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
146 keep (1, 2, (1, 0), 2): False
147 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
150 keep (1, 2, (0, 0), 2): False
151 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
154 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
157 keep (0, 1, (0, 0), 0): False
158 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
161 keep (0, 1, (0, 0), 1): False
162 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
165 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
168 keep (1, 2, (1, 0), 1): True
169 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
172 keep (1, 2, (0, 0), 1): True
173 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
176 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
179 keep (1, 2, (1, 0), 2): True
180 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
183 keep (1, 2, (0, 0), 2): False
184 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
187 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
190 keep (0, 1, (2, 0), 0): True
191 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
194 keep (0, 1, (1, 0), 0): True
195 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
198 keep (0, 1, (0, 0), 0): True
199 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
202 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
205 keep (0, 1, (2, 0), 1): True
206 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
209 keep (0, 1, (1, 0), 1): True
210 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
213 keep (0, 1, (0, 0), 1): False
214 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
217 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
220 >>> DMV module tests:
221 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
222 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:2 loc:2
223 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
224 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
226 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
227 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:1
228 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
229 *= 1.0000 (terminal: 0 -> h_1)
230 *= 0.3000 (terminal: _0_ -> h_2)
233 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:1
234 *= 0.3000 (terminal: _0_ -> h_1)
239 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
240 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:2
241 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
242 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:1. Todo: optimize away!)
244 *= 0.3000 (terminal: _0_ -> h_2)
246 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:1. Todo: optimize away!)
248 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:2
249 *= 0.3000 (terminal: _0_ -> h_1)
250 *= 0.3000 (terminal: 0_ -> h_2)
254 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
255 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:2
256 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
258 *= 0.3000 (terminal: _0_ -> h_1)
260 *= 0.3000 (terminal: _0_ -> h_2)
262 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:0. Todo: optimize away!)
264 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:2 loc:2
265 *= 0.3000 (terminal: _0_ -> h_0)
266 *= 0.0630 in chart: s:1 t:2 LHS: 0_ loc:2
268 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
269 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:0
270 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
271 *= 1.0000 (terminal: 0 -> h_0)
272 *= 0.3000 (terminal: _0_ -> h_1)
275 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:0
276 *= 0.3000 (terminal: _0_ -> h_0)
280 *= 0.3000 (terminal: 0_ -> h_2)
281 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
282 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:1
283 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
284 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):1 but s:0. Todo: optimize away!)
286 *= 0.3000 (terminal: _0_ -> h_1)
288 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:1 but s:0. Todo: optimize away!)
290 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:1
291 *= 0.3000 (terminal: _0_ -> h_0)
292 *= 0.3000 (terminal: 0_ -> h_1)
295 *= 0.3000 (terminal: 0_ -> h_2)
299 h -> h_1 ... h_2 (loc_h:1): 0.3000
300 h -> h_0 ... h_1 (loc_h:1): 0.0000
301 h -> h_0 ... h_1 (loc_h:2): 0.0000
302 h_ -> h_1 ... h_2 (loc_h:1): 0.1200
303 _h_ -> h_0 ... h_2 (loc_h:2): 0.0498
304 h -> h_0 ... h_1 (loc_h:0): 0.3000
305 h_ -> h_1 ... h_2 (loc_h:2): 0.0630
306 _h_ -> h_1 ... h_2 (loc_h:2): 0.0630
307 _h_ -> h_0 ... h_1 (loc_h:0): 0.1200
308 h_ -> h_0 ... h_1 (loc_h:0): 0.1200
309 h_ -> h_0 ... h_2 (loc_h:2): 0.0498
310 _h_ -> h_1 ... h_2 (loc_h:1): 0.1200
311 h -> h_1 ... h_2 (loc_h:2): 0.0000
312 h -> h_0 ... h_2 (loc_h:2): 0.0000
313 _h_ -> h_0 ... h_1 (loc_h:1): 0.0630
314 h_ -> h_0 ... h_1 (loc_h:1): 0.0630
316 keep (0, 2, (2, -1), 2): True
317 trying ROOT-->STOP _0_ [N 1.00] [A 1.00]
318 keep (0, 2, (2, 0), 2): True
319 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
320 keep (0, 2, (1, 0), 2): True
321 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
322 keep (0, 2, (0, 0), 2): False
323 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
324 keep (1, 2, (2, 0), 1): False
325 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
326 keep (1, 2, (1, 0), 1): False
327 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
328 keep (1, 2, (0, 0), 1): False
329 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
330 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
331 keep (1, 2, (2, 0), 2): False
332 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
333 keep (1, 2, (1, 0), 2): False
334 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
335 keep (1, 2, (0, 0), 2): False
336 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
337 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
338 keep (0, 1, (0, 0), 0): False
339 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
340 keep (0, 1, (0, 0), 1): False
341 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
342 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
343 keep (1, 2, (1, 0), 1): True
344 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
345 keep (1, 2, (0, 0), 1): True
346 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
347 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
348 keep (1, 2, (1, 0), 2): True
349 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
350 keep (1, 2, (0, 0), 2): False
351 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
352 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
353 keep (0, 1, (2, 0), 0): True
354 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
355 keep (0, 1, (1, 0), 0): True
356 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
357 keep (0, 1, (0, 0), 0): True
358 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
359 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
360 keep (0, 1, (2, 0), 1): True
361 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
362 keep (0, 1, (1, 0), 1): True
363 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
364 keep (0, 1, (0, 0), 1): False
365 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
366 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
367 >>> DMV module tests:
368 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
369 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:2 loc:2
370 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
371 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
373 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
374 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:1
375 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
376 *= 1.0000 (terminal: 0 -> h_1)
377 *= 0.3000 (terminal: _0_ -> h_2)
380 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:1
381 *= 0.3000 (terminal: _0_ -> h_1)
386 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
387 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:2
388 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
389 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:1. Todo: optimize away!)
391 *= 0.3000 (terminal: _0_ -> h_2)
393 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:1. Todo: optimize away!)
395 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:2
396 *= 0.3000 (terminal: _0_ -> h_1)
397 *= 0.3000 (terminal: 0_ -> h_2)
401 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
402 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:2
403 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
405 *= 0.3000 (terminal: _0_ -> h_1)
407 *= 0.3000 (terminal: _0_ -> h_2)
409 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:0. Todo: optimize away!)
411 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:2 loc:2
412 *= 0.3000 (terminal: _0_ -> h_0)
413 *= 0.0630 in chart: s:1 t:2 LHS: 0_ loc:2
415 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
416 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:0
417 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
418 *= 1.0000 (terminal: 0 -> h_0)
419 *= 0.3000 (terminal: _0_ -> h_1)
422 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:0
423 *= 0.3000 (terminal: _0_ -> h_0)
427 *= 0.3000 (terminal: 0_ -> h_2)
428 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
429 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:1
430 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
431 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):1 but s:0. Todo: optimize away!)
433 *= 0.3000 (terminal: _0_ -> h_1)
435 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:1 but s:0. Todo: optimize away!)
437 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:1
438 *= 0.3000 (terminal: _0_ -> h_0)
439 *= 0.3000 (terminal: 0_ -> h_1)
442 *= 0.3000 (terminal: 0_ -> h_2)
446 h -> h_1 ... h_2 (loc_h:1): 0.3000
447 h -> h_0 ... h_1 (loc_h:1): 0.0000
448 h -> h_0 ... h_1 (loc_h:2): 0.0000
449 h_ -> h_1 ... h_2 (loc_h:1): 0.1200
450 _h_ -> h_0 ... h_2 (loc_h:2): 0.0498
451 h -> h_0 ... h_1 (loc_h:0): 0.3000
452 h_ -> h_1 ... h_2 (loc_h:2): 0.0630
453 _h_ -> h_1 ... h_2 (loc_h:2): 0.0630
454 _h_ -> h_0 ... h_1 (loc_h:0): 0.1200
455 h_ -> h_0 ... h_1 (loc_h:0): 0.1200
456 h_ -> h_0 ... h_2 (loc_h:2): 0.0498
457 _h_ -> h_1 ... h_2 (loc_h:1): 0.1200
458 h -> h_1 ... h_2 (loc_h:2): 0.0000
459 h -> h_0 ... h_2 (loc_h:2): 0.0000
460 _h_ -> h_0 ... h_1 (loc_h:1): 0.0630
461 h_ -> h_0 ... h_1 (loc_h:1): 0.0630
463 keep (0, 2, (2, -1), 2): True
464 trying ROOT-->STOP _0_ [N 1.00] [A 1.00]
465 keep (0, 2, (2, 0), 2): True
466 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
467 keep (0, 2, (1, 0), 2): True
468 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
469 keep (0, 2, (0, 0), 2): False
470 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
471 keep (1, 2, (2, 0), 1): False
472 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
473 keep (1, 2, (1, 0), 1): False
474 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
475 keep (1, 2, (0, 0), 1): False
476 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
477 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
478 keep (1, 2, (2, 0), 2): False
479 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
480 keep (1, 2, (1, 0), 2): False
481 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
482 keep (1, 2, (0, 0), 2): False
483 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
484 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
485 keep (0, 1, (0, 0), 0): False
486 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
487 keep (0, 1, (0, 0), 1): False
488 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
489 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
490 keep (1, 2, (1, 0), 1): True
491 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
492 keep (1, 2, (0, 0), 1): True
493 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
494 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
495 keep (1, 2, (1, 0), 2): True
496 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
497 keep (1, 2, (0, 0), 2): False
498 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
499 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
500 keep (0, 1, (2, 0), 0): True
501 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
502 keep (0, 1, (1, 0), 0): True
503 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
504 keep (0, 1, (0, 0), 0): True
505 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
506 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
507 keep (0, 1, (2, 0), 1): True
508 trying _0_ -->STOP 0_ [N 1.00] [A 1.00]
509 keep (0, 1, (1, 0), 1): True
510 trying 0_ --> 0 STOP [N 0.40] [A 0.30]
511 keep (0, 1, (0, 0), 1): False
512 trying 0 --> 0 _0_ [N 1.00] [A 1.00]
513 trying 0_ -->_0_ 0_ [N 0.60] [A 0.70]
514 >>> DMV module tests:
515 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
516 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:2 loc:2
517 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
518 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
520 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
521 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:1
522 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
523 *= 1.0000 (terminal: 0 -> h_1)
524 *= 0.3000 (terminal: _0_ -> h_2)
527 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:1
528 *= 0.3000 (terminal: _0_ -> h_1)
533 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
534 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:2
535 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
536 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:1. Todo: optimize away!)
538 *= 0.3000 (terminal: _0_ -> h_2)
540 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:1. Todo: optimize away!)
542 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:2
543 *= 0.3000 (terminal: _0_ -> h_1)
544 *= 0.3000 (terminal: 0_ -> h_2)
548 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
549 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:2
550 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
552 *= 0.3000 (terminal: _0_ -> h_1)
554 *= 0.3000 (terminal: _0_ -> h_2)
556 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:0. Todo: optimize away!)
558 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:2 loc:2
559 *= 0.3000 (terminal: _0_ -> h_0)
560 *= 0.0630 in chart: s:1 t:2 LHS: 0_ loc:2
562 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
563 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:0
564 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
565 *= 1.0000 (terminal: 0 -> h_0)
566 *= 0.3000 (terminal: _0_ -> h_1)
569 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:0
570 *= 0.3000 (terminal: _0_ -> h_0)
574 *= 0.3000 (terminal: 0_ -> h_2)
575 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
576 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:1
577 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
578 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):1 but s:0. Todo: optimize away!)
580 *= 0.3000 (terminal: _0_ -> h_1)
582 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:1 but s:0. Todo: optimize away!)
584 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:1
585 *= 0.3000 (terminal: _0_ -> h_0)
586 *= 0.3000 (terminal: 0_ -> h_1)
589 *= 0.3000 (terminal: 0_ -> h_2)
593 h -> h_1 ... h_2 (loc_h:1): 0.3000
594 h -> h_0 ... h_1 (loc_h:1): 0.0000
595 h -> h_0 ... h_1 (loc_h:2): 0.0000
596 h_ -> h_1 ... h_2 (loc_h:1): 0.1200
597 _h_ -> h_0 ... h_2 (loc_h:2): 0.0498
598 h -> h_0 ... h_1 (loc_h:0): 0.3000
599 h_ -> h_1 ... h_2 (loc_h:2): 0.0630
600 _h_ -> h_1 ... h_2 (loc_h:2): 0.0630
601 _h_ -> h_0 ... h_1 (loc_h:0): 0.1200
602 h_ -> h_0 ... h_1 (loc_h:0): 0.1200
603 h_ -> h_0 ... h_2 (loc_h:2): 0.0498
604 _h_ -> h_1 ... h_2 (loc_h:1): 0.1200
605 h -> h_1 ... h_2 (loc_h:2): 0.0000
606 h -> h_0 ... h_2 (loc_h:2): 0.0000
607 _h_ -> h_0 ... h_1 (loc_h:1): 0.0630
608 h_ -> h_0 ... h_1 (loc_h:1): 0.0630
610 >>> DMV module tests:
611 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
612 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:2 loc:2
613 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
614 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
616 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
617 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:1
618 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
619 *= 1.0000 (terminal: 0 -> h_1)
620 *= 0.3000 (terminal: _0_ -> h_2)
623 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:1
624 *= 0.3000 (terminal: _0_ -> h_1)
629 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
630 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:2
631 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
632 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:1. Todo: optimize away!)
634 *= 0.3000 (terminal: _0_ -> h_2)
636 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:1. Todo: optimize away!)
638 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:2
639 *= 0.3000 (terminal: _0_ -> h_1)
640 *= 0.3000 (terminal: 0_ -> h_2)
644 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
645 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:2
646 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
648 *= 0.3000 (terminal: _0_ -> h_1)
650 *= 0.3000 (terminal: _0_ -> h_2)
652 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:0. Todo: optimize away!)
654 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:2 loc:2
655 *= 0.3000 (terminal: _0_ -> h_0)
656 *= 0.0630 in chart: s:1 t:2 LHS: 0_ loc:2
658 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
659 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:0
660 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
661 *= 1.0000 (terminal: 0 -> h_0)
662 *= 0.3000 (terminal: _0_ -> h_1)
665 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:0
666 *= 0.3000 (terminal: _0_ -> h_0)
670 *= 0.3000 (terminal: 0_ -> h_2)
671 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
672 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:1
673 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
674 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):1 but s:0. Todo: optimize away!)
676 *= 0.3000 (terminal: _0_ -> h_1)
678 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:1 but s:0. Todo: optimize away!)
680 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:1
681 *= 0.3000 (terminal: _0_ -> h_0)
682 *= 0.3000 (terminal: 0_ -> h_1)
685 *= 0.3000 (terminal: 0_ -> h_2)
689 h -> h_1 ... h_2 (loc_h:1): 0.3000
690 h -> h_0 ... h_1 (loc_h:1): 0.0000
691 h -> h_0 ... h_1 (loc_h:2): 0.0000
692 h_ -> h_1 ... h_2 (loc_h:1): 0.1200
693 _h_ -> h_0 ... h_2 (loc_h:2): 0.0498
694 h -> h_0 ... h_1 (loc_h:0): 0.3000
695 h_ -> h_1 ... h_2 (loc_h:2): 0.0630
696 _h_ -> h_1 ... h_2 (loc_h:2): 0.0630
697 _h_ -> h_0 ... h_1 (loc_h:0): 0.1200
698 h_ -> h_0 ... h_1 (loc_h:0): 0.1200
699 h_ -> h_0 ... h_2 (loc_h:2): 0.0498
700 _h_ -> h_1 ... h_2 (loc_h:1): 0.1200
701 h -> h_1 ... h_2 (loc_h:2): 0.0000
702 h -> h_0 ... h_2 (loc_h:2): 0.0000
703 _h_ -> h_0 ... h_1 (loc_h:1): 0.0630
704 h_ -> h_0 ... h_1 (loc_h:1): 0.0630
707 >>> DMV module tests:
708 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
709 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:2 loc:2
710 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
711 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
713 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
714 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:1
715 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
716 *= 1.0000 (terminal: 0 -> h_1)
717 *= 0.3000 (terminal: _0_ -> h_2)
720 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:1
721 *= 0.3000 (terminal: _0_ -> h_1)
726 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
727 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:2
728 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
729 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:1. Todo: optimize away!)
731 *= 0.3000 (terminal: _0_ -> h_2)
733 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:1. Todo: optimize away!)
735 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:2
736 *= 0.3000 (terminal: _0_ -> h_1)
737 *= 0.3000 (terminal: 0_ -> h_2)
741 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
742 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:2
743 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
745 *= 0.3000 (terminal: _0_ -> h_1)
747 *= 0.3000 (terminal: _0_ -> h_2)
749 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:0. Todo: optimize away!)
751 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:2 loc:2
752 *= 0.3000 (terminal: _0_ -> h_0)
753 *= 0.0630 in chart: s:1 t:2 LHS: 0_ loc:2
755 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
756 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:0
757 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
758 *= 1.0000 (terminal: 0 -> h_0)
759 *= 0.3000 (terminal: _0_ -> h_1)
762 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:0
763 *= 0.3000 (terminal: _0_ -> h_0)
767 *= 0.3000 (terminal: 0_ -> h_2)
768 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
769 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:1
770 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
771 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):1 but s:0. Todo: optimize away!)
773 *= 0.3000 (terminal: _0_ -> h_1)
775 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:1 but s:0. Todo: optimize away!)
777 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:1
778 *= 0.3000 (terminal: _0_ -> h_0)
779 *= 0.3000 (terminal: 0_ -> h_1)
782 *= 0.3000 (terminal: 0_ -> h_2)
786 h -> h_1 ... h_2 (loc_h:1): 0.3000
787 h -> h_0 ... h_1 (loc_h:1): 0.0000
788 h -> h_0 ... h_1 (loc_h:2): 0.0000
789 h_ -> h_1 ... h_2 (loc_h:1): 0.1200
790 _h_ -> h_0 ... h_2 (loc_h:2): 0.0498
791 h -> h_0 ... h_1 (loc_h:0): 0.3000
792 h_ -> h_1 ... h_2 (loc_h:2): 0.0630
793 _h_ -> h_1 ... h_2 (loc_h:2): 0.0630
794 _h_ -> h_0 ... h_1 (loc_h:0): 0.1200
795 h_ -> h_0 ... h_1 (loc_h:0): 0.1200
796 h_ -> h_0 ... h_2 (loc_h:2): 0.0498
797 _h_ -> h_1 ... h_2 (loc_h:1): 0.1200
798 h -> h_1 ... h_2 (loc_h:2): 0.0000
799 h -> h_0 ... h_2 (loc_h:2): 0.0000
800 _h_ -> h_0 ... h_1 (loc_h:1): 0.0630
801 h_ -> h_0 ... h_1 (loc_h:1): 0.0630
804 >>> DMV module tests:
805 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
806 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:2 loc:2
807 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
808 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
810 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
811 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:1
812 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
813 *= 1.0000 (terminal: 0 -> h_1)
814 *= 0.3000 (terminal: _0_ -> h_2)
817 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:1
818 *= 0.3000 (terminal: _0_ -> h_1)
823 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
824 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:2
825 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
826 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:1. Todo: optimize away!)
828 *= 0.3000 (terminal: _0_ -> h_2)
830 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:1. Todo: optimize away!)
832 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:2
833 *= 0.3000 (terminal: _0_ -> h_1)
834 *= 0.3000 (terminal: 0_ -> h_2)
838 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
839 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:2
840 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
842 *= 0.3000 (terminal: _0_ -> h_1)
844 *= 0.3000 (terminal: _0_ -> h_2)
846 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:0. Todo: optimize away!)
848 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:2 loc:2
849 *= 0.3000 (terminal: _0_ -> h_0)
850 *= 0.0630 in chart: s:1 t:2 LHS: 0_ loc:2
852 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
853 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:0
854 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
855 *= 1.0000 (terminal: 0 -> h_0)
856 *= 0.3000 (terminal: _0_ -> h_1)
859 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:0
860 *= 0.3000 (terminal: _0_ -> h_0)
864 *= 0.3000 (terminal: 0_ -> h_2)
865 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
866 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:1
867 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
868 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):1 but s:0. Todo: optimize away!)
870 *= 0.3000 (terminal: _0_ -> h_1)
872 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:1 but s:0. Todo: optimize away!)
874 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:1
875 *= 0.3000 (terminal: _0_ -> h_0)
876 *= 0.3000 (terminal: 0_ -> h_1)
879 *= 0.3000 (terminal: 0_ -> h_2)
883 h -> h_1 ... h_2 (loc_h:1): 0.3000
884 h -> h_0 ... h_1 (loc_h:1): 0.0000
885 h -> h_0 ... h_1 (loc_h:2): 0.0000
886 h_ -> h_1 ... h_2 (loc_h:1): 0.1200
887 _h_ -> h_0 ... h_2 (loc_h:2): 0.0498
888 h -> h_0 ... h_1 (loc_h:0): 0.3000
889 h_ -> h_1 ... h_2 (loc_h:2): 0.0630
890 _h_ -> h_1 ... h_2 (loc_h:2): 0.0630
891 _h_ -> h_0 ... h_1 (loc_h:0): 0.1200
892 h_ -> h_0 ... h_1 (loc_h:0): 0.1200
893 h_ -> h_0 ... h_2 (loc_h:2): 0.0498
894 _h_ -> h_1 ... h_2 (loc_h:1): 0.1200
895 h -> h_1 ... h_2 (loc_h:2): 0.0000
896 h -> h_0 ... h_2 (loc_h:2): 0.0000
897 _h_ -> h_0 ... h_1 (loc_h:1): 0.0630
898 h_ -> h_0 ... h_1 (loc_h:1): 0.0630
901 Traceback (most recent call last):
902 File "/var/folders/X4/X4jfBxHnFd0mlrOwdQrD3U+++TM/-Tmp-/py194542bA", line 590, in <module>
903 reload(dmv)''').timeit(1)
904 File "/Library/Frameworks/Python.framework/Versions/2.5/lib/python2.5/timeit.py", line 161, in timeit
905 timing = self.inner(it, self.timer)
906 File "<timeit-src>", line 7, in inner
907 File "dmv.py", line 583, in testreestimation_h
908 print debug_chart(g,sent,chart)
909 NameError: global name 'g' is not defined
910 >>> DMV module tests:
911 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
912 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:2 loc:2
913 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
914 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
916 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
917 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:1
918 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
919 *= 1.0000 (terminal: 0 -> h_1)
920 *= 0.3000 (terminal: _0_ -> h_2)
923 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:1
924 *= 0.3000 (terminal: _0_ -> h_1)
929 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
930 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:2
931 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
932 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:1. Todo: optimize away!)
934 *= 0.3000 (terminal: _0_ -> h_2)
936 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:1. Todo: optimize away!)
938 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:2
939 *= 0.3000 (terminal: _0_ -> h_1)
940 *= 0.3000 (terminal: 0_ -> h_2)
944 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
945 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:2
946 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
948 *= 0.3000 (terminal: _0_ -> h_1)
950 *= 0.3000 (terminal: _0_ -> h_2)
952 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:0. Todo: optimize away!)
954 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:2 loc:2
955 *= 0.3000 (terminal: _0_ -> h_0)
956 *= 0.0630 in chart: s:1 t:2 LHS: 0_ loc:2
958 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
959 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:0
960 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
961 *= 1.0000 (terminal: 0 -> h_0)
962 *= 0.3000 (terminal: _0_ -> h_1)
965 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:0
966 *= 0.3000 (terminal: _0_ -> h_0)
970 *= 0.3000 (terminal: 0_ -> h_2)
971 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
972 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:1
973 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
974 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):1 but s:0. Todo: optimize away!)
976 *= 0.3000 (terminal: _0_ -> h_1)
978 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:1 but s:0. Todo: optimize away!)
980 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:1
981 *= 0.3000 (terminal: _0_ -> h_0)
982 *= 0.3000 (terminal: 0_ -> h_1)
985 *= 0.3000 (terminal: 0_ -> h_2)
989 h -> h_1 ... h_2 (loc_h:1): 0.3000
990 h -> h_0 ... h_1 (loc_h:1): 0.0000
991 h -> h_0 ... h_1 (loc_h:2): 0.0000
992 h_ -> h_1 ... h_2 (loc_h:1): 0.1200
993 _h_ -> h_0 ... h_2 (loc_h:2): 0.0498
994 h -> h_0 ... h_1 (loc_h:0): 0.3000
995 h_ -> h_1 ... h_2 (loc_h:2): 0.0630
996 _h_ -> h_1 ... h_2 (loc_h:2): 0.0630
997 _h_ -> h_0 ... h_1 (loc_h:0): 0.1200
998 h_ -> h_0 ... h_1 (loc_h:0): 0.1200
999 h_ -> h_0 ... h_2 (loc_h:2): 0.0498
1000 _h_ -> h_1 ... h_2 (loc_h:1): 0.1200
1001 h -> h_1 ... h_2 (loc_h:2): 0.0000
1002 h -> h_0 ... h_2 (loc_h:2): 0.0000
1003 _h_ -> h_0 ... h_1 (loc_h:1): 0.0630
1004 h_ -> h_0 ... h_1 (loc_h:1): 0.0630
1008 h -> h_1 ... h_2 (loc_h:1): 0.3000
1009 h -> h_0 ... h_1 (loc_h:2): 0.0000
1010 ROOT -> h_0 ... h_2 (loc_h:2): 0.0498
1011 h_ -> h_1 ... h_2 (loc_h:1): 0.1200
1012 _h_ -> h_0 ... h_2 (loc_h:2): 0.0498
1013 h -> h_0 ... h_1 (loc_h:0): 0.3000
1014 h_ -> h_1 ... h_2 (loc_h:2): 0.0630
1015 _h_ -> h_0 ... h_1 (loc_h:0): 0.1200
1016 h_ -> h_0 ... h_1 (loc_h:0): 0.1200
1017 h_ -> h_0 ... h_2 (loc_h:2): 0.0498
1018 _h_ -> h_0 ... h_1 (loc_h:1): 0.0630
1019 h_ -> h_0 ... h_1 (loc_h:1): 0.0630
1022 >>> DMV module tests:
1023 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
1024 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:2 loc:2
1025 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:2 loc:2
1026 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
1027 *= 0.0 (wrong loc_h)
1028 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
1029 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:1
1030 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:1
1031 *= 1.0000 (terminal: 0 -> h_1)
1032 *= 0.3000 (terminal: _0_ -> h_2)
1035 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:1
1036 *= 0.3000 (terminal: _0_ -> h_1)
1037 *= 0.0 (wrong loc_h)
1040 *= 0.0 (wrong loc_h)
1041 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
1042 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:1 t:2 loc:2
1043 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:1 t:2 loc:2
1044 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:1. Todo: optimize away!)
1045 *= 0.0 (wrong loc_h)
1046 *= 0.3000 (terminal: _0_ -> h_2)
1048 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:1. Todo: optimize away!)
1050 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:1 t:2 loc:2
1051 *= 0.3000 (terminal: _0_ -> h_1)
1052 *= 0.3000 (terminal: 0_ -> h_2)
1056 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
1057 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:2
1058 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):2 but s:0. Todo: optimize away!)
1059 *= 0.0 (wrong loc_h)
1060 *= 0.3000 (terminal: _0_ -> h_1)
1062 *= 0.3000 (terminal: _0_ -> h_2)
1064 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:2 but s:0. Todo: optimize away!)
1066 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:2 loc:2
1067 *= 0.3000 (terminal: _0_ -> h_0)
1068 *= 0.0630 in chart: s:1 t:2 LHS: 0_ loc:2
1070 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
1071 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:0
1072 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:0
1073 *= 1.0000 (terminal: 0 -> h_0)
1074 *= 0.3000 (terminal: _0_ -> h_1)
1077 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:0
1078 *= 0.3000 (terminal: _0_ -> h_0)
1079 *= 0.0 (wrong loc_h)
1082 *= 0.3000 (terminal: 0_ -> h_2)
1083 summing rule _0_ -->STOP 0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
1084 summing rule 0_ --> 0 STOP [N 0.40] [A 0.30] s:0 t:1 loc:1
1085 summing rule 0 --> 0 _0_ [N 1.00] [A 1.00] s:0 t:1 loc:1
1086 ( 0 --> 0 _0_ [N 1.00] [A 1.00] given loc_h (loc_L):1 but s:0. Todo: optimize away!)
1087 *= 0.0 (wrong loc_h)
1088 *= 0.3000 (terminal: _0_ -> h_1)
1090 ( 0_ --> 0 STOP [N 0.40] [A 0.30] given loc_h:1 but s:0. Todo: optimize away!)
1092 summing rule 0_ -->_0_ 0_ [N 0.60] [A 0.70] s:0 t:1 loc:1
1093 *= 0.3000 (terminal: _0_ -> h_0)
1094 *= 0.3000 (terminal: 0_ -> h_1)
1097 *= 0.3000 (terminal: 0_ -> h_2)
1101 h -> h_1 ... h_2 (loc_h:1): 0.3000
1102 h -> h_0 ... h_1 (loc_h:1): 0.0000
1103 h -> h_0 ... h_1 (loc_h:2): 0.0000
1104 h_ -> h_1 ... h_2 (loc_h:1): 0.1200
1105 _h_ -> h_0 ... h_2 (loc_h:2): 0.0498
1106 h -> h_0 ... h_1 (loc_h:0): 0.3000
1107 h_ -> h_1 ... h_2 (loc_h:2): 0.0630
1108 _h_ -> h_1 ... h_2 (loc_h:2): 0.0630
1109 _h_ -> h_0 ... h_1 (loc_h:0): 0.1200
1110 h_ -> h_0 ... h_1 (loc_h:0): 0.1200
1111 h_ -> h_0 ... h_2 (loc_h:2): 0.0498
1112 _h_ -> h_1 ... h_2 (loc_h:1): 0.1200
1113 h -> h_1 ... h_2 (loc_h:2): 0.0000
1114 h -> h_0 ... h_2 (loc_h:2): 0.0000
1115 _h_ -> h_0 ... h_1 (loc_h:1): 0.0630
1116 h_ -> h_0 ... h_1 (loc_h:1): 0.0630
1120 h -> h_1 ... h_2 (loc_h:1): 0.3000
1121 h -> h_0 ... h_1 (loc_h:2): 0.0000
1122 ROOT -> h_0 ... h_2 (loc_h:2): 0.0498
1123 h_ -> h_1 ... h_2 (loc_h:1): 0.1200
1124 _h_ -> h_0 ... h_2 (loc_h:2): 0.0498
1125 h -> h_0 ... h_1 (loc_h:0): 0.3000
1126 h_ -> h_1 ... h_2 (loc_h:2): 0.0630
1127 _h_ -> h_0 ... h_1 (loc_h:0): 0.1200
1128 h_ -> h_0 ... h_1 (loc_h:0): 0.1200
1129 h_ -> h_0 ... h_2 (loc_h:2): 0.0498
1130 _h_ -> h_0 ... h_1 (loc_h:1): 0.0630
1131 h_ -> h_0 ... h_1 (loc_h:1): 0.0630
1135 Traceback (most recent call last):
1136 File "<stdin>", line 1, in <module>
1137 NameError: name 'g' is not defined
1139 <__main__.DMV_Grammar instance at 0xbf58f0>
1140 >>> g_dup.numtag('h')
1141 Traceback (most recent call last):
1142 File "<stdin>", line 1, in <module>
1143 File "io.py", line 48, in numtag
1144 return self.__numtag[num]
1148 >>> sent_nums = [3,1,4,2]
1149 >>> [(loc,h) for loc,h in enumerate(sent_nums)]
1150 [(0, 3), (1, 1), (2, 4), (3, 2)]
1151 >>> File "/var/folders/X4/X4jfBxHnFd0mlrOwdQrD3U+++TM/-Tmp-/py194543cH", line 439
1154 SyntaxError: invalid syntax
1155 >>> File "/var/folders/X4/X4jfBxHnFd0mlrOwdQrD3U+++TM/-Tmp-/py19454EnN", line 439
1158 SyntaxError: invalid syntax
1159 >>> File "/var/folders/X4/X4jfBxHnFd0mlrOwdQrD3U+++TM/-Tmp-/py19454RxT", line 531
1160 print "p(STOP|%s,L,N):%s"%(h_tag,pstophln)
1162 SyntaxError: invalid syntax