Left Termination of the query pattern
parse(g,a)
w.r.t. the given Prolog program could successfully be proven:

(0) Obligation:

Clauses:

goal :- ','(np(S1, S2, S), verb(S2, S3, S)).
parse(S0, Meaning) :- ','(np(S0, S1, Meaning), verb(S1, [], Meaning)).
parse(S0, Meaning) :- ','(np(S0, S1, Meaning), ','(verb(S1, S2, Meaning), =(S2, []))).
np(Si, So, S) :- ','(det(Si, St, T), ','(noun(St, So, N), comb(T, N, S))).
comb(a, -(N, s), s(s, N, V)).
comb(the, -(N, P), s(P, N, V)).
det(.(a, S), S, a).
det(.(the, S), S, the).
noun(.(book, S), S, -(book, s)).
noun(.(books, S), S, -(book, p)).
noun(.(box, S), S, -(box, s)).
noun(.(boxes, S), S, -(box, p)).
verb(.(falls, So), So, s(s, N, fall)).
verb(.(fall, So), So, s(p, N, fall)).
verb(.(flies, So), So, s(s, N, fly)).
verb(.(fly, So), So, s(p, N, fly)).

Query: parse(g,a)

(1) PrologToPiTRSViaGraphTransformerProof (SOUND transformation)

Transformed Prolog program to (Pi-)TRS.

digraph dp_graph {
node [outthreshold=100, inthreshold=100];
1 [label="A: parse(T1, T2)\n\nT1 is ground", fontsize=16, style=filled, fillcolor=lightyellow, color=red];
4 [label="4: parse(T1, T2), SCOPE: 1, CLAUSE: 1 | parse(T1, T2), SCOPE: 1, CLAUSE: 2\n\nT1 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
7 [label="7: ','(np(T5, X5, T7), verb(X5, [], T7)) | parse(T5, T2), SCOPE: 1, CLAUSE: 2\n\nT5 is ground\nX5 is free", fontsize=16, style=filled, fillcolor=lightyellow];
9 [label="9: ','(np(T5, X5, T7), verb(X5, [], T7)), SCOPE: 2, CLAUSE: 3 | ?_2 | parse(T5, T2), SCOPE: 1, CLAUSE: 2\n\nT5 is ground\nX5 is free", fontsize=16, style=filled, fillcolor=lightyellow];
13 [label="13: ','(np(T5, X5, T7), verb(X5, [], T7)), SCOPE: 2, CLAUSE: 3\n\nT5 is ground\nX5 is free", fontsize=16, style=filled, fillcolor=lightyellow];
14 [label="14: ?_2 | parse(T5, T2), SCOPE: 1, CLAUSE: 2\n\nT5 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
19 [label="19: ','(','(det(T18, X31, X32), ','(noun(X31, X34, X33), comb(X32, X33, T20))), verb(X34, [], T20))\n\nT18 is ground\nX34 is free\nX31 is free\nX32 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
20 [label="20: ','(','(det(T18, X31, X32), ','(noun(X31, X34, X33), comb(X32, X33, T20))), verb(X34, [], T20)), SCOPE: 3, CLAUSE: 6 | ','(','(det(T18, X31, X32), ','(noun(X31, X34, X33), comb(X32, X33, T20))), verb(X34, [], T20)), SCOPE: 3, CLAUSE: 7\n\nT18 is ground\nX34 is free\nX31 is free\nX32 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
22 [label="22: ','(','(det(T18, X31, X32), ','(noun(X31, X34, X33), comb(X32, X33, T20))), verb(X34, [], T20)), SCOPE: 3, CLAUSE: 6\n\nT18 is ground\nX34 is free\nX31 is free\nX32 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
23 [label="23: ','(','(det(T18, X31, X32), ','(noun(X31, X34, X33), comb(X32, X33, T20))), verb(X34, [], T20)), SCOPE: 3, CLAUSE: 7\n\nT18 is ground\nX34 is free\nX31 is free\nX32 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
27 [label="27: ','(','(noun(T25, X34, X33), comb(a, X33, T20)), verb(X34, [], T20))\n\nT25 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
28 [label="28: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
29 [label="29: ','(','(noun(T25, X34, X33), comb(a, X33, T20)), verb(X34, [], T20)), SCOPE: 4, CLAUSE: 8 | ','(','(noun(T25, X34, X33), comb(a, X33, T20)), verb(X34, [], T20)), SCOPE: 4, CLAUSE: 9 | ','(','(noun(T25, X34, X33), comb(a, X33, T20)), verb(X34, [], T20)), SCOPE: 4, CLAUSE: 10 | ','(','(noun(T25, X34, X33), comb(a, X33, T20)), verb(X34, [], T20)), SCOPE: 4, CLAUSE: 11\n\nT25 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
31 [label="31: ','(','(noun(T25, X34, X33), comb(a, X33, T20)), verb(X34, [], T20)), SCOPE: 4, CLAUSE: 8\n\nT25 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
33 [label="33: ','(','(noun(T25, X34, X33), comb(a, X33, T20)), verb(X34, [], T20)), SCOPE: 4, CLAUSE: 9 | ','(','(noun(T25, X34, X33), comb(a, X33, T20)), verb(X34, [], T20)), SCOPE: 4, CLAUSE: 10 | ','(','(noun(T25, X34, X33), comb(a, X33, T20)), verb(X34, [], T20)), SCOPE: 4, CLAUSE: 11\n\nT25 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
39 [label="39: ','(comb(a, -(book, s), T20), verb(T30, [], T20))\n\nT30 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
40 [label="40: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
41 [label="41: ','(comb(a, -(book, s), T20), verb(T30, [], T20)), SCOPE: 5, CLAUSE: 4 | ','(comb(a, -(book, s), T20), verb(T30, [], T20)), SCOPE: 5, CLAUSE: 5\n\nT30 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
46 [label="46: ','(comb(a, -(book, s), T20), verb(T30, [], T20)), SCOPE: 5, CLAUSE: 4\n\nT30 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
47 [label="47: ','(comb(a, -(book, s), T20), verb(T30, [], T20)), SCOPE: 5, CLAUSE: 5\n\nT30 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
52 [label="52: verb(T30, [], s(s, book, T36))\n\nT30 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
55 [label="55: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
56 [label="56: verb(T30, [], s(s, book, T36)), SCOPE: 6, CLAUSE: 12 | verb(T30, [], s(s, book, T36)), SCOPE: 6, CLAUSE: 13 | verb(T30, [], s(s, book, T36)), SCOPE: 6, CLAUSE: 14 | verb(T30, [], s(s, book, T36)), SCOPE: 6, CLAUSE: 15\n\nT30 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
61 [label="61: verb(T30, [], s(s, book, T36)), SCOPE: 6, CLAUSE: 12\n\nT30 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
63 [label="63: verb(T30, [], s(s, book, T36)), SCOPE: 6, CLAUSE: 13 | verb(T30, [], s(s, book, T36)), SCOPE: 6, CLAUSE: 14 | verb(T30, [], s(s, book, T36)), SCOPE: 6, CLAUSE: 15\n\nT30 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
69 [label="69: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
70 [label="70: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
71 [label="71: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
77 [label="77: verb(T30, [], s(s, book, T36)), SCOPE: 6, CLAUSE: 14 | verb(T30, [], s(s, book, T36)), SCOPE: 6, CLAUSE: 15\n\nT30 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
80 [label="80: verb(T30, [], s(s, book, T36)), SCOPE: 6, CLAUSE: 14\n\nT30 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
81 [label="81: verb(T30, [], s(s, book, T36)), SCOPE: 6, CLAUSE: 15\n\nT30 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
89 [label="89: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
90 [label="90: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
91 [label="91: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
95 [label="95: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
96 [label="96: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
99 [label="99: ','(','(noun(T25, X34, X33), comb(a, X33, T20)), verb(X34, [], T20)), SCOPE: 4, CLAUSE: 9\n\nT25 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
100 [label="100: ','(','(noun(T25, X34, X33), comb(a, X33, T20)), verb(X34, [], T20)), SCOPE: 4, CLAUSE: 10 | ','(','(noun(T25, X34, X33), comb(a, X33, T20)), verb(X34, [], T20)), SCOPE: 4, CLAUSE: 11\n\nT25 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
102 [label="102: ','(comb(a, -(book, p), T20), verb(T53, [], T20))\n\nT53 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
103 [label="103: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
106 [label="106: ','(comb(a, -(book, p), T20), verb(T53, [], T20)), SCOPE: 7, CLAUSE: 4 | ','(comb(a, -(book, p), T20), verb(T53, [], T20)), SCOPE: 7, CLAUSE: 5\n\nT53 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
108 [label="108: ','(comb(a, -(book, p), T20), verb(T53, [], T20)), SCOPE: 7, CLAUSE: 5\n\nT53 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
110 [label="110: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
112 [label="112: ','(','(noun(T25, X34, X33), comb(a, X33, T20)), verb(X34, [], T20)), SCOPE: 4, CLAUSE: 10\n\nT25 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
113 [label="113: ','(','(noun(T25, X34, X33), comb(a, X33, T20)), verb(X34, [], T20)), SCOPE: 4, CLAUSE: 11\n\nT25 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
118 [label="118: ','(comb(a, -(box, s), T20), verb(T58, [], T20))\n\nT58 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
121 [label="121: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
124 [label="124: ','(comb(a, -(box, s), T20), verb(T58, [], T20)), SCOPE: 8, CLAUSE: 4 | ','(comb(a, -(box, s), T20), verb(T58, [], T20)), SCOPE: 8, CLAUSE: 5\n\nT58 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
130 [label="130: ','(comb(a, -(box, s), T20), verb(T58, [], T20)), SCOPE: 8, CLAUSE: 4\n\nT58 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
131 [label="131: ','(comb(a, -(box, s), T20), verb(T58, [], T20)), SCOPE: 8, CLAUSE: 5\n\nT58 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
136 [label="136: verb(T58, [], s(s, box, T64))\n\nT58 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
138 [label="138: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
140 [label="140: verb(T58, [], s(s, box, T64)), SCOPE: 9, CLAUSE: 12 | verb(T58, [], s(s, box, T64)), SCOPE: 9, CLAUSE: 13 | verb(T58, [], s(s, box, T64)), SCOPE: 9, CLAUSE: 14 | verb(T58, [], s(s, box, T64)), SCOPE: 9, CLAUSE: 15\n\nT58 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
148 [label="148: verb(T58, [], s(s, box, T64)), SCOPE: 9, CLAUSE: 12\n\nT58 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
150 [label="150: verb(T58, [], s(s, box, T64)), SCOPE: 9, CLAUSE: 13 | verb(T58, [], s(s, box, T64)), SCOPE: 9, CLAUSE: 14 | verb(T58, [], s(s, box, T64)), SCOPE: 9, CLAUSE: 15\n\nT58 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
154 [label="154: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
155 [label="155: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
156 [label="156: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
157 [label="157: verb(T58, [], s(s, box, T64)), SCOPE: 9, CLAUSE: 14 | verb(T58, [], s(s, box, T64)), SCOPE: 9, CLAUSE: 15\n\nT58 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
160 [label="160: verb(T58, [], s(s, box, T64)), SCOPE: 9, CLAUSE: 14\n\nT58 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
161 [label="161: verb(T58, [], s(s, box, T64)), SCOPE: 9, CLAUSE: 15\n\nT58 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
165 [label="165: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
167 [label="167: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
168 [label="168: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
169 [label="169: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
170 [label="170: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
176 [label="176: ','(comb(a, -(box, p), T20), verb(T79, [], T20))\n\nT79 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
178 [label="178: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
180 [label="180: ','(comb(a, -(box, p), T20), verb(T79, [], T20)), SCOPE: 10, CLAUSE: 4 | ','(comb(a, -(box, p), T20), verb(T79, [], T20)), SCOPE: 10, CLAUSE: 5\n\nT79 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
182 [label="182: ','(comb(a, -(box, p), T20), verb(T79, [], T20)), SCOPE: 10, CLAUSE: 5\n\nT79 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
183 [label="183: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
191 [label="191: ','(','(noun(T82, X34, X33), comb(the, X33, T20)), verb(X34, [], T20))\n\nT82 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
192 [label="192: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
193 [label="193: ','(','(noun(T82, X34, X33), comb(the, X33, T20)), verb(X34, [], T20)), SCOPE: 11, CLAUSE: 8 | ','(','(noun(T82, X34, X33), comb(the, X33, T20)), verb(X34, [], T20)), SCOPE: 11, CLAUSE: 9 | ','(','(noun(T82, X34, X33), comb(the, X33, T20)), verb(X34, [], T20)), SCOPE: 11, CLAUSE: 10 | ','(','(noun(T82, X34, X33), comb(the, X33, T20)), verb(X34, [], T20)), SCOPE: 11, CLAUSE: 11\n\nT82 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
197 [label="197: ','(','(noun(T82, X34, X33), comb(the, X33, T20)), verb(X34, [], T20)), SCOPE: 11, CLAUSE: 8\n\nT82 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
199 [label="199: ','(','(noun(T82, X34, X33), comb(the, X33, T20)), verb(X34, [], T20)), SCOPE: 11, CLAUSE: 9 | ','(','(noun(T82, X34, X33), comb(the, X33, T20)), verb(X34, [], T20)), SCOPE: 11, CLAUSE: 10 | ','(','(noun(T82, X34, X33), comb(the, X33, T20)), verb(X34, [], T20)), SCOPE: 11, CLAUSE: 11\n\nT82 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
203 [label="203: ','(comb(the, -(book, s), T20), verb(T87, [], T20))\n\nT87 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
204 [label="204: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
206 [label="206: ','(comb(the, -(book, s), T20), verb(T87, [], T20)), SCOPE: 12, CLAUSE: 4 | ','(comb(the, -(book, s), T20), verb(T87, [], T20)), SCOPE: 12, CLAUSE: 5\n\nT87 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
208 [label="208: ','(comb(the, -(book, s), T20), verb(T87, [], T20)), SCOPE: 12, CLAUSE: 5\n\nT87 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
212 [label="212: verb(T87, [], s(s, book, T91))\n\nT87 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
213 [label="213: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
214 [label="214: verb(T87, [], s(s, book, T91)), SCOPE: 13, CLAUSE: 12 | verb(T87, [], s(s, book, T91)), SCOPE: 13, CLAUSE: 13 | verb(T87, [], s(s, book, T91)), SCOPE: 13, CLAUSE: 14 | verb(T87, [], s(s, book, T91)), SCOPE: 13, CLAUSE: 15\n\nT87 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
218 [label="218: verb(T87, [], s(s, book, T91)), SCOPE: 13, CLAUSE: 12\n\nT87 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
219 [label="219: verb(T87, [], s(s, book, T91)), SCOPE: 13, CLAUSE: 13 | verb(T87, [], s(s, book, T91)), SCOPE: 13, CLAUSE: 14 | verb(T87, [], s(s, book, T91)), SCOPE: 13, CLAUSE: 15\n\nT87 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
222 [label="222: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
225 [label="225: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
226 [label="226: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
228 [label="228: verb(T87, [], s(s, book, T91)), SCOPE: 13, CLAUSE: 14 | verb(T87, [], s(s, book, T91)), SCOPE: 13, CLAUSE: 15\n\nT87 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
233 [label="233: verb(T87, [], s(s, book, T91)), SCOPE: 13, CLAUSE: 14\n\nT87 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
235 [label="235: verb(T87, [], s(s, book, T91)), SCOPE: 13, CLAUSE: 15\n\nT87 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
241 [label="241: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
243 [label="243: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
244 [label="244: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
246 [label="246: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
249 [label="249: ','(','(noun(T82, X34, X33), comb(the, X33, T20)), verb(X34, [], T20)), SCOPE: 11, CLAUSE: 9\n\nT82 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
252 [label="252: ','(','(noun(T82, X34, X33), comb(the, X33, T20)), verb(X34, [], T20)), SCOPE: 11, CLAUSE: 10 | ','(','(noun(T82, X34, X33), comb(the, X33, T20)), verb(X34, [], T20)), SCOPE: 11, CLAUSE: 11\n\nT82 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
254 [label="254: ','(comb(the, -(book, p), T20), verb(T108, [], T20))\n\nT108 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
255 [label="255: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
258 [label="258: ','(comb(the, -(book, p), T20), verb(T108, [], T20)), SCOPE: 14, CLAUSE: 4 | ','(comb(the, -(book, p), T20), verb(T108, [], T20)), SCOPE: 14, CLAUSE: 5\n\nT108 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
259 [label="259: ','(comb(the, -(book, p), T20), verb(T108, [], T20)), SCOPE: 14, CLAUSE: 5\n\nT108 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
262 [label="262: verb(T108, [], s(p, book, T112))\n\nT108 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
266 [label="266: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
267 [label="267: verb(T108, [], s(p, book, T112)), SCOPE: 15, CLAUSE: 12 | verb(T108, [], s(p, book, T112)), SCOPE: 15, CLAUSE: 13 | verb(T108, [], s(p, book, T112)), SCOPE: 15, CLAUSE: 14 | verb(T108, [], s(p, book, T112)), SCOPE: 15, CLAUSE: 15\n\nT108 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
271 [label="271: verb(T108, [], s(p, book, T112)), SCOPE: 15, CLAUSE: 13 | verb(T108, [], s(p, book, T112)), SCOPE: 15, CLAUSE: 14 | verb(T108, [], s(p, book, T112)), SCOPE: 15, CLAUSE: 15\n\nT108 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
276 [label="276: verb(T108, [], s(p, book, T112)), SCOPE: 15, CLAUSE: 13\n\nT108 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
277 [label="277: verb(T108, [], s(p, book, T112)), SCOPE: 15, CLAUSE: 14 | verb(T108, [], s(p, book, T112)), SCOPE: 15, CLAUSE: 15\n\nT108 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
285 [label="285: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
286 [label="286: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
287 [label="287: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
289 [label="289: verb(T108, [], s(p, book, T112)), SCOPE: 15, CLAUSE: 15\n\nT108 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
293 [label="293: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
294 [label="294: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
296 [label="296: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
298 [label="298: ','(','(noun(T82, X34, X33), comb(the, X33, T20)), verb(X34, [], T20)), SCOPE: 11, CLAUSE: 10\n\nT82 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
299 [label="299: ','(','(noun(T82, X34, X33), comb(the, X33, T20)), verb(X34, [], T20)), SCOPE: 11, CLAUSE: 11\n\nT82 is ground\nX34 is free\nX33 is free", fontsize=16, style=filled, fillcolor=lightyellow];
314 [label="314: ','(comb(the, -(box, s), T20), verb(T127, [], T20))\n\nT127 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
317 [label="317: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
318 [label="318: ','(comb(the, -(box, s), T20), verb(T127, [], T20)), SCOPE: 16, CLAUSE: 4 | ','(comb(the, -(box, s), T20), verb(T127, [], T20)), SCOPE: 16, CLAUSE: 5\n\nT127 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
319 [label="319: ','(comb(the, -(box, s), T20), verb(T127, [], T20)), SCOPE: 16, CLAUSE: 5\n\nT127 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
324 [label="324: verb(T127, [], s(s, box, T131))\n\nT127 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
325 [label="325: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
326 [label="326: verb(T127, [], s(s, box, T131)), SCOPE: 17, CLAUSE: 12 | verb(T127, [], s(s, box, T131)), SCOPE: 17, CLAUSE: 13 | verb(T127, [], s(s, box, T131)), SCOPE: 17, CLAUSE: 14 | verb(T127, [], s(s, box, T131)), SCOPE: 17, CLAUSE: 15\n\nT127 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
328 [label="328: verb(T127, [], s(s, box, T131)), SCOPE: 17, CLAUSE: 12\n\nT127 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
329 [label="329: verb(T127, [], s(s, box, T131)), SCOPE: 17, CLAUSE: 13 | verb(T127, [], s(s, box, T131)), SCOPE: 17, CLAUSE: 14 | verb(T127, [], s(s, box, T131)), SCOPE: 17, CLAUSE: 15\n\nT127 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
348 [label="348: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
349 [label="349: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
350 [label="350: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
351 [label="351: verb(T127, [], s(s, box, T131)), SCOPE: 17, CLAUSE: 14 | verb(T127, [], s(s, box, T131)), SCOPE: 17, CLAUSE: 15\n\nT127 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
356 [label="356: verb(T127, [], s(s, box, T131)), SCOPE: 17, CLAUSE: 14\n\nT127 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
357 [label="357: verb(T127, [], s(s, box, T131)), SCOPE: 17, CLAUSE: 15\n\nT127 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
377 [label="377: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
379 [label="379: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
380 [label="380: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
381 [label="381: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
389 [label="389: ','(comb(the, -(box, p), T20), verb(T146, [], T20))\n\nT146 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
390 [label="390: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
392 [label="392: ','(comb(the, -(box, p), T20), verb(T146, [], T20)), SCOPE: 18, CLAUSE: 4 | ','(comb(the, -(box, p), T20), verb(T146, [], T20)), SCOPE: 18, CLAUSE: 5\n\nT146 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
393 [label="393: ','(comb(the, -(box, p), T20), verb(T146, [], T20)), SCOPE: 18, CLAUSE: 5\n\nT146 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
397 [label="397: verb(T146, [], s(p, box, T150))\n\nT146 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
398 [label="398: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
401 [label="401: verb(T146, [], s(p, box, T150)), SCOPE: 19, CLAUSE: 12 | verb(T146, [], s(p, box, T150)), SCOPE: 19, CLAUSE: 13 | verb(T146, [], s(p, box, T150)), SCOPE: 19, CLAUSE: 14 | verb(T146, [], s(p, box, T150)), SCOPE: 19, CLAUSE: 15\n\nT146 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
406 [label="406: verb(T146, [], s(p, box, T150)), SCOPE: 19, CLAUSE: 13 | verb(T146, [], s(p, box, T150)), SCOPE: 19, CLAUSE: 14 | verb(T146, [], s(p, box, T150)), SCOPE: 19, CLAUSE: 15\n\nT146 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
429 [label="429: verb(T146, [], s(p, box, T150)), SCOPE: 19, CLAUSE: 13\n\nT146 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
430 [label="430: verb(T146, [], s(p, box, T150)), SCOPE: 19, CLAUSE: 14 | verb(T146, [], s(p, box, T150)), SCOPE: 19, CLAUSE: 15\n\nT146 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
435 [label="435: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
437 [label="437: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
438 [label="438: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
439 [label="439: verb(T146, [], s(p, box, T150)), SCOPE: 19, CLAUSE: 15\n\nT146 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
444 [label="444: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
446 [label="446: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
447 [label="447: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
448 [label="448: parse(T5, T2), SCOPE: 1, CLAUSE: 2\n\nT5 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
453 [label="453: ','(np(T166, X303, T168), ','(verb(X303, X304, T168), =(X304, [])))\n\nT166 is ground\nX303 is free\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
454 [label="454: ','(np(T166, X303, T168), ','(verb(X303, X304, T168), =(X304, []))), SCOPE: 20, CLAUSE: 3\n\nT166 is ground\nX303 is free\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
466 [label="466: ','(','(det(T174, X319, X320), ','(noun(X319, X322, X321), comb(X320, X321, T176))), ','(verb(X322, X304, T176), =(X304, [])))\n\nT174 is ground\nX304 is free\nX322 is free\nX319 is free\nX320 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
468 [label="468: ','(','(det(T174, X319, X320), ','(noun(X319, X322, X321), comb(X320, X321, T176))), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 21, CLAUSE: 6 | ','(','(det(T174, X319, X320), ','(noun(X319, X322, X321), comb(X320, X321, T176))), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 21, CLAUSE: 7\n\nT174 is ground\nX304 is free\nX322 is free\nX319 is free\nX320 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
469 [label="469: ','(','(det(T174, X319, X320), ','(noun(X319, X322, X321), comb(X320, X321, T176))), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 21, CLAUSE: 6\n\nT174 is ground\nX304 is free\nX322 is free\nX319 is free\nX320 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
470 [label="470: ','(','(det(T174, X319, X320), ','(noun(X319, X322, X321), comb(X320, X321, T176))), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 21, CLAUSE: 7\n\nT174 is ground\nX304 is free\nX322 is free\nX319 is free\nX320 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
474 [label="474: ','(','(noun(T181, X322, X321), comb(a, X321, T176)), ','(verb(X322, X304, T176), =(X304, [])))\n\nT181 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
475 [label="475: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
476 [label="476: ','(','(noun(T181, X322, X321), comb(a, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 22, CLAUSE: 8 | ','(','(noun(T181, X322, X321), comb(a, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 22, CLAUSE: 9 | ','(','(noun(T181, X322, X321), comb(a, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 22, CLAUSE: 10 | ','(','(noun(T181, X322, X321), comb(a, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 22, CLAUSE: 11\n\nT181 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
495 [label="495: ','(','(noun(T181, X322, X321), comb(a, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 22, CLAUSE: 8\n\nT181 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
496 [label="496: ','(','(noun(T181, X322, X321), comb(a, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 22, CLAUSE: 9 | ','(','(noun(T181, X322, X321), comb(a, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 22, CLAUSE: 10 | ','(','(noun(T181, X322, X321), comb(a, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 22, CLAUSE: 11\n\nT181 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
500 [label="500: ','(comb(a, -(book, s), T176), ','(verb(T186, X304, T176), =(X304, [])))\n\nT186 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
501 [label="501: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
502 [label="502: ','(comb(a, -(book, s), T176), ','(verb(T186, X304, T176), =(X304, []))), SCOPE: 23, CLAUSE: 4 | ','(comb(a, -(book, s), T176), ','(verb(T186, X304, T176), =(X304, []))), SCOPE: 23, CLAUSE: 5\n\nT186 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
505 [label="505: ','(comb(a, -(book, s), T176), ','(verb(T186, X304, T176), =(X304, []))), SCOPE: 23, CLAUSE: 4\n\nT186 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
506 [label="506: ','(comb(a, -(book, s), T176), ','(verb(T186, X304, T176), =(X304, []))), SCOPE: 23, CLAUSE: 5\n\nT186 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
510 [label="510: ','(verb(T186, X304, s(s, book, T192)), =(X304, []))\n\nT186 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
511 [label="511: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
514 [label="514: ','(verb(T186, X304, s(s, book, T192)), =(X304, [])), SCOPE: 24, CLAUSE: 12 | ','(verb(T186, X304, s(s, book, T192)), =(X304, [])), SCOPE: 24, CLAUSE: 13 | ','(verb(T186, X304, s(s, book, T192)), =(X304, [])), SCOPE: 24, CLAUSE: 14 | ','(verb(T186, X304, s(s, book, T192)), =(X304, [])), SCOPE: 24, CLAUSE: 15\n\nT186 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
515 [label="515: ','(verb(T186, X304, s(s, book, T192)), =(X304, [])), SCOPE: 24, CLAUSE: 12\n\nT186 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
516 [label="516: ','(verb(T186, X304, s(s, book, T192)), =(X304, [])), SCOPE: 24, CLAUSE: 13 | ','(verb(T186, X304, s(s, book, T192)), =(X304, [])), SCOPE: 24, CLAUSE: 14 | ','(verb(T186, X304, s(s, book, T192)), =(X304, [])), SCOPE: 24, CLAUSE: 15\n\nT186 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
520 [label="520: =(T197, [])\n\nT197 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
521 [label="521: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
522 [label="522: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
524 [label="524: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
526 [label="526: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
527 [label="527: ','(verb(T186, X304, s(s, book, T192)), =(X304, [])), SCOPE: 24, CLAUSE: 14 | ','(verb(T186, X304, s(s, book, T192)), =(X304, [])), SCOPE: 24, CLAUSE: 15\n\nT186 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
528 [label="528: ','(verb(T186, X304, s(s, book, T192)), =(X304, [])), SCOPE: 24, CLAUSE: 14\n\nT186 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
529 [label="529: ','(verb(T186, X304, s(s, book, T192)), =(X304, [])), SCOPE: 24, CLAUSE: 15\n\nT186 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
540 [label="540: =(T203, [])\n\nT203 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
541 [label="541: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
542 [label="542: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
543 [label="543: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
544 [label="544: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
549 [label="549: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
550 [label="550: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
553 [label="553: ','(','(noun(T181, X322, X321), comb(a, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 22, CLAUSE: 9\n\nT181 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
556 [label="556: ','(','(noun(T181, X322, X321), comb(a, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 22, CLAUSE: 10 | ','(','(noun(T181, X322, X321), comb(a, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 22, CLAUSE: 11\n\nT181 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
563 [label="563: ','(comb(a, -(book, p), T176), ','(verb(T209, X304, T176), =(X304, [])))\n\nT209 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
564 [label="564: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
566 [label="566: ','(comb(a, -(book, p), T176), ','(verb(T209, X304, T176), =(X304, []))), SCOPE: 25, CLAUSE: 4 | ','(comb(a, -(book, p), T176), ','(verb(T209, X304, T176), =(X304, []))), SCOPE: 25, CLAUSE: 5\n\nT209 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
567 [label="567: ','(comb(a, -(book, p), T176), ','(verb(T209, X304, T176), =(X304, []))), SCOPE: 25, CLAUSE: 5\n\nT209 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
568 [label="568: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
573 [label="573: ','(','(noun(T181, X322, X321), comb(a, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 22, CLAUSE: 10\n\nT181 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
574 [label="574: ','(','(noun(T181, X322, X321), comb(a, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 22, CLAUSE: 11\n\nT181 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
576 [label="576: ','(comb(a, -(box, s), T176), ','(verb(T214, X304, T176), =(X304, [])))\n\nT214 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
577 [label="577: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
579 [label="579: ','(comb(a, -(box, s), T176), ','(verb(T214, X304, T176), =(X304, []))), SCOPE: 26, CLAUSE: 4 | ','(comb(a, -(box, s), T176), ','(verb(T214, X304, T176), =(X304, []))), SCOPE: 26, CLAUSE: 5\n\nT214 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
582 [label="582: ','(comb(a, -(box, s), T176), ','(verb(T214, X304, T176), =(X304, []))), SCOPE: 26, CLAUSE: 4\n\nT214 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
583 [label="583: ','(comb(a, -(box, s), T176), ','(verb(T214, X304, T176), =(X304, []))), SCOPE: 26, CLAUSE: 5\n\nT214 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
586 [label="586: ','(verb(T214, X304, s(s, box, T220)), =(X304, []))\n\nT214 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
587 [label="587: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
590 [label="590: ','(verb(T214, X304, s(s, box, T220)), =(X304, [])), SCOPE: 27, CLAUSE: 12 | ','(verb(T214, X304, s(s, box, T220)), =(X304, [])), SCOPE: 27, CLAUSE: 13 | ','(verb(T214, X304, s(s, box, T220)), =(X304, [])), SCOPE: 27, CLAUSE: 14 | ','(verb(T214, X304, s(s, box, T220)), =(X304, [])), SCOPE: 27, CLAUSE: 15\n\nT214 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
593 [label="593: ','(verb(T214, X304, s(s, box, T220)), =(X304, [])), SCOPE: 27, CLAUSE: 12\n\nT214 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
594 [label="594: ','(verb(T214, X304, s(s, box, T220)), =(X304, [])), SCOPE: 27, CLAUSE: 13 | ','(verb(T214, X304, s(s, box, T220)), =(X304, [])), SCOPE: 27, CLAUSE: 14 | ','(verb(T214, X304, s(s, box, T220)), =(X304, [])), SCOPE: 27, CLAUSE: 15\n\nT214 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
600 [label="600: =(T225, [])\n\nT225 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
602 [label="602: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
603 [label="603: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
604 [label="604: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
605 [label="605: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
606 [label="606: ','(verb(T214, X304, s(s, box, T220)), =(X304, [])), SCOPE: 27, CLAUSE: 14 | ','(verb(T214, X304, s(s, box, T220)), =(X304, [])), SCOPE: 27, CLAUSE: 15\n\nT214 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
611 [label="611: ','(verb(T214, X304, s(s, box, T220)), =(X304, [])), SCOPE: 27, CLAUSE: 14\n\nT214 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
612 [label="612: ','(verb(T214, X304, s(s, box, T220)), =(X304, [])), SCOPE: 27, CLAUSE: 15\n\nT214 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
618 [label="618: =(T231, [])\n\nT231 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
619 [label="619: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
620 [label="620: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
621 [label="621: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
622 [label="622: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
624 [label="624: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
626 [label="626: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
630 [label="630: ','(comb(a, -(box, p), T176), ','(verb(T235, X304, T176), =(X304, [])))\n\nT235 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
631 [label="631: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
634 [label="634: ','(comb(a, -(box, p), T176), ','(verb(T235, X304, T176), =(X304, []))), SCOPE: 28, CLAUSE: 4 | ','(comb(a, -(box, p), T176), ','(verb(T235, X304, T176), =(X304, []))), SCOPE: 28, CLAUSE: 5\n\nT235 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
635 [label="635: ','(comb(a, -(box, p), T176), ','(verb(T235, X304, T176), =(X304, []))), SCOPE: 28, CLAUSE: 5\n\nT235 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
638 [label="638: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
640 [label="640: ','(','(noun(T238, X322, X321), comb(the, X321, T176)), ','(verb(X322, X304, T176), =(X304, [])))\n\nT238 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
641 [label="641: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
644 [label="644: ','(','(noun(T238, X322, X321), comb(the, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 29, CLAUSE: 8 | ','(','(noun(T238, X322, X321), comb(the, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 29, CLAUSE: 9 | ','(','(noun(T238, X322, X321), comb(the, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 29, CLAUSE: 10 | ','(','(noun(T238, X322, X321), comb(the, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 29, CLAUSE: 11\n\nT238 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
648 [label="648: ','(','(noun(T238, X322, X321), comb(the, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 29, CLAUSE: 8\n\nT238 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
649 [label="649: ','(','(noun(T238, X322, X321), comb(the, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 29, CLAUSE: 9 | ','(','(noun(T238, X322, X321), comb(the, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 29, CLAUSE: 10 | ','(','(noun(T238, X322, X321), comb(the, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 29, CLAUSE: 11\n\nT238 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
670 [label="670: ','(comb(the, -(book, s), T176), ','(verb(T243, X304, T176), =(X304, [])))\n\nT243 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
671 [label="671: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
672 [label="672: ','(comb(the, -(book, s), T176), ','(verb(T243, X304, T176), =(X304, []))), SCOPE: 30, CLAUSE: 4 | ','(comb(the, -(book, s), T176), ','(verb(T243, X304, T176), =(X304, []))), SCOPE: 30, CLAUSE: 5\n\nT243 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
674 [label="674: ','(comb(the, -(book, s), T176), ','(verb(T243, X304, T176), =(X304, []))), SCOPE: 30, CLAUSE: 5\n\nT243 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
677 [label="677: ','(verb(T243, X304, s(s, book, T247)), =(X304, []))\n\nT243 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
679 [label="679: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
682 [label="682: ','(verb(T243, X304, s(s, book, T247)), =(X304, [])), SCOPE: 31, CLAUSE: 12 | ','(verb(T243, X304, s(s, book, T247)), =(X304, [])), SCOPE: 31, CLAUSE: 13 | ','(verb(T243, X304, s(s, book, T247)), =(X304, [])), SCOPE: 31, CLAUSE: 14 | ','(verb(T243, X304, s(s, book, T247)), =(X304, [])), SCOPE: 31, CLAUSE: 15\n\nT243 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
687 [label="687: ','(verb(T243, X304, s(s, book, T247)), =(X304, [])), SCOPE: 31, CLAUSE: 12\n\nT243 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
688 [label="688: ','(verb(T243, X304, s(s, book, T247)), =(X304, [])), SCOPE: 31, CLAUSE: 13 | ','(verb(T243, X304, s(s, book, T247)), =(X304, [])), SCOPE: 31, CLAUSE: 14 | ','(verb(T243, X304, s(s, book, T247)), =(X304, [])), SCOPE: 31, CLAUSE: 15\n\nT243 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
692 [label="692: =(T252, [])\n\nT252 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
694 [label="694: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
696 [label="696: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
697 [label="697: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
698 [label="698: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
702 [label="702: ','(verb(T243, X304, s(s, book, T247)), =(X304, [])), SCOPE: 31, CLAUSE: 14 | ','(verb(T243, X304, s(s, book, T247)), =(X304, [])), SCOPE: 31, CLAUSE: 15\n\nT243 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
708 [label="708: ','(verb(T243, X304, s(s, book, T247)), =(X304, [])), SCOPE: 31, CLAUSE: 14\n\nT243 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
709 [label="709: ','(verb(T243, X304, s(s, book, T247)), =(X304, [])), SCOPE: 31, CLAUSE: 15\n\nT243 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
715 [label="715: =(T258, [])\n\nT258 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
716 [label="716: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
718 [label="718: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
719 [label="719: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
720 [label="720: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
724 [label="724: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
726 [label="726: ','(','(noun(T238, X322, X321), comb(the, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 29, CLAUSE: 9\n\nT238 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
729 [label="729: ','(','(noun(T238, X322, X321), comb(the, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 29, CLAUSE: 10 | ','(','(noun(T238, X322, X321), comb(the, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 29, CLAUSE: 11\n\nT238 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
732 [label="732: ','(comb(the, -(book, p), T176), ','(verb(T264, X304, T176), =(X304, [])))\n\nT264 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
733 [label="733: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
736 [label="736: ','(comb(the, -(book, p), T176), ','(verb(T264, X304, T176), =(X304, []))), SCOPE: 32, CLAUSE: 4 | ','(comb(the, -(book, p), T176), ','(verb(T264, X304, T176), =(X304, []))), SCOPE: 32, CLAUSE: 5\n\nT264 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
739 [label="739: ','(comb(the, -(book, p), T176), ','(verb(T264, X304, T176), =(X304, []))), SCOPE: 32, CLAUSE: 5\n\nT264 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
749 [label="749: ','(verb(T264, X304, s(p, book, T268)), =(X304, []))\n\nT264 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
750 [label="750: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
751 [label="751: ','(verb(T264, X304, s(p, book, T268)), =(X304, [])), SCOPE: 33, CLAUSE: 12 | ','(verb(T264, X304, s(p, book, T268)), =(X304, [])), SCOPE: 33, CLAUSE: 13 | ','(verb(T264, X304, s(p, book, T268)), =(X304, [])), SCOPE: 33, CLAUSE: 14 | ','(verb(T264, X304, s(p, book, T268)), =(X304, [])), SCOPE: 33, CLAUSE: 15\n\nT264 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
754 [label="754: ','(verb(T264, X304, s(p, book, T268)), =(X304, [])), SCOPE: 33, CLAUSE: 13 | ','(verb(T264, X304, s(p, book, T268)), =(X304, [])), SCOPE: 33, CLAUSE: 14 | ','(verb(T264, X304, s(p, book, T268)), =(X304, [])), SCOPE: 33, CLAUSE: 15\n\nT264 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
755 [label="755: ','(verb(T264, X304, s(p, book, T268)), =(X304, [])), SCOPE: 33, CLAUSE: 13\n\nT264 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
756 [label="756: ','(verb(T264, X304, s(p, book, T268)), =(X304, [])), SCOPE: 33, CLAUSE: 14 | ','(verb(T264, X304, s(p, book, T268)), =(X304, [])), SCOPE: 33, CLAUSE: 15\n\nT264 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
781 [label="781: =(T274, [])\n\nT274 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
783 [label="783: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
784 [label="784: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
785 [label="785: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
788 [label="788: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
791 [label="791: ','(verb(T264, X304, s(p, book, T268)), =(X304, [])), SCOPE: 33, CLAUSE: 15\n\nT264 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
796 [label="796: =(T278, [])\n\nT278 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
797 [label="797: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
798 [label="798: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
799 [label="799: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
800 [label="800: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
801 [label="801: ','(','(noun(T238, X322, X321), comb(the, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 29, CLAUSE: 10\n\nT238 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
802 [label="802: ','(','(noun(T238, X322, X321), comb(the, X321, T176)), ','(verb(X322, X304, T176), =(X304, []))), SCOPE: 29, CLAUSE: 11\n\nT238 is ground\nX304 is free\nX322 is free\nX321 is free", fontsize=16, style=filled, fillcolor=lightyellow];
806 [label="806: ','(comb(the, -(box, s), T176), ','(verb(T283, X304, T176), =(X304, [])))\n\nT283 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
807 [label="807: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
808 [label="808: ','(comb(the, -(box, s), T176), ','(verb(T283, X304, T176), =(X304, []))), SCOPE: 34, CLAUSE: 4 | ','(comb(the, -(box, s), T176), ','(verb(T283, X304, T176), =(X304, []))), SCOPE: 34, CLAUSE: 5\n\nT283 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
811 [label="811: ','(comb(the, -(box, s), T176), ','(verb(T283, X304, T176), =(X304, []))), SCOPE: 34, CLAUSE: 5\n\nT283 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
820 [label="820: ','(verb(T283, X304, s(s, box, T287)), =(X304, []))\n\nT283 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
821 [label="821: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
823 [label="823: ','(verb(T283, X304, s(s, box, T287)), =(X304, [])), SCOPE: 35, CLAUSE: 12 | ','(verb(T283, X304, s(s, box, T287)), =(X304, [])), SCOPE: 35, CLAUSE: 13 | ','(verb(T283, X304, s(s, box, T287)), =(X304, [])), SCOPE: 35, CLAUSE: 14 | ','(verb(T283, X304, s(s, box, T287)), =(X304, [])), SCOPE: 35, CLAUSE: 15\n\nT283 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
828 [label="828: ','(verb(T283, X304, s(s, box, T287)), =(X304, [])), SCOPE: 35, CLAUSE: 12\n\nT283 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
829 [label="829: ','(verb(T283, X304, s(s, box, T287)), =(X304, [])), SCOPE: 35, CLAUSE: 13 | ','(verb(T283, X304, s(s, box, T287)), =(X304, [])), SCOPE: 35, CLAUSE: 14 | ','(verb(T283, X304, s(s, box, T287)), =(X304, [])), SCOPE: 35, CLAUSE: 15\n\nT283 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
841 [label="841: =(T292, [])\n\nT292 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
842 [label="842: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
843 [label="843: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
844 [label="844: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
846 [label="846: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
847 [label="847: ','(verb(T283, X304, s(s, box, T287)), =(X304, [])), SCOPE: 35, CLAUSE: 14 | ','(verb(T283, X304, s(s, box, T287)), =(X304, [])), SCOPE: 35, CLAUSE: 15\n\nT283 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
852 [label="852: ','(verb(T283, X304, s(s, box, T287)), =(X304, [])), SCOPE: 35, CLAUSE: 14\n\nT283 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
853 [label="853: ','(verb(T283, X304, s(s, box, T287)), =(X304, [])), SCOPE: 35, CLAUSE: 15\n\nT283 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
863 [label="863: =(T298, [])\n\nT298 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
865 [label="865: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
866 [label="866: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
867 [label="867: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
868 [label="868: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
869 [label="869: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
892 [label="892: ','(comb(the, -(box, p), T176), ','(verb(T302, X304, T176), =(X304, [])))\n\nT302 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
893 [label="893: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
894 [label="894: ','(comb(the, -(box, p), T176), ','(verb(T302, X304, T176), =(X304, []))), SCOPE: 36, CLAUSE: 4 | ','(comb(the, -(box, p), T176), ','(verb(T302, X304, T176), =(X304, []))), SCOPE: 36, CLAUSE: 5\n\nT302 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
897 [label="897: ','(comb(the, -(box, p), T176), ','(verb(T302, X304, T176), =(X304, []))), SCOPE: 36, CLAUSE: 5\n\nT302 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
909 [label="909: ','(verb(T302, X304, s(p, box, T306)), =(X304, []))\n\nT302 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
910 [label="910: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
913 [label="913: ','(verb(T302, X304, s(p, box, T306)), =(X304, [])), SCOPE: 37, CLAUSE: 12 | ','(verb(T302, X304, s(p, box, T306)), =(X304, [])), SCOPE: 37, CLAUSE: 13 | ','(verb(T302, X304, s(p, box, T306)), =(X304, [])), SCOPE: 37, CLAUSE: 14 | ','(verb(T302, X304, s(p, box, T306)), =(X304, [])), SCOPE: 37, CLAUSE: 15\n\nT302 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
915 [label="915: ','(verb(T302, X304, s(p, box, T306)), =(X304, [])), SCOPE: 37, CLAUSE: 13 | ','(verb(T302, X304, s(p, box, T306)), =(X304, [])), SCOPE: 37, CLAUSE: 14 | ','(verb(T302, X304, s(p, box, T306)), =(X304, [])), SCOPE: 37, CLAUSE: 15\n\nT302 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
940 [label="940: ','(verb(T302, X304, s(p, box, T306)), =(X304, [])), SCOPE: 37, CLAUSE: 13\n\nT302 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
941 [label="941: ','(verb(T302, X304, s(p, box, T306)), =(X304, [])), SCOPE: 37, CLAUSE: 14 | ','(verb(T302, X304, s(p, box, T306)), =(X304, [])), SCOPE: 37, CLAUSE: 15\n\nT302 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
944 [label="944: =(T312, [])\n\nT312 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
946 [label="946: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
948 [label="948: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
949 [label="949: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
950 [label="950: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
952 [label="952: ','(verb(T302, X304, s(p, box, T306)), =(X304, [])), SCOPE: 37, CLAUSE: 15\n\nT302 is ground\nX304 is free", fontsize=16, style=filled, fillcolor=lightyellow];
953 [label="953: =(T316, [])\n\nT316 is ground", fontsize=16, style=filled, fillcolor=lightyellow];
955 [label="955: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
957 [label="957: true\n\n", fontsize=16, style=filled, fillcolor=lightyellow];
958 [label="958: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
959 [label="959: \n\n", fontsize=16, style=filled, fillcolor=lightyellow];
960 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
1 -> 960 [arrowhead = none ];
960 -> 4;

961 [label="ONLY EVAL with clause\nparse(X3, X4) :- ','(np(X3, X5, X4), verb(X5, [], X4)).\nand substitutionT1 -> T5,\nX3 -> T5,\nT2 -> T7,\nX4 -> T7,\nT6 -> T7", fontsize=14, style = filled, fillcolor = lightblue];
4 -> 961 [arrowhead = none ];
961 -> 7;

962 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
7 -> 962 [arrowhead = none ];
962 -> 9;

963 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
9 -> 963 [arrowhead = none ];
963 -> 13;

964 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
9 -> 964 [arrowhead = none ];
964 -> 14;

965 [label="ONLY EVAL with clause\nnp(X28, X29, X30) :- ','(det(X28, X31, X32), ','(noun(X31, X29, X33), comb(X32, X33, X30))).\nand substitutionT5 -> T18,\nX28 -> T18,\nX5 -> X34,\nX29 -> X34,\nT7 -> T20,\nX30 -> T20,\nT19 -> T20", fontsize=14, style = filled, fillcolor = lightblue];
13 -> 965 [arrowhead = none ];
965 -> 19;

966 [label="FAILURE", fontsize=14, style = filled, fillcolor = lightgreen];
14 -> 966 [arrowhead = none ];
966 -> 448;

967 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
19 -> 967 [arrowhead = none ];
967 -> 20;

968 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
20 -> 968 [arrowhead = none ];
968 -> 22;

969 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
20 -> 969 [arrowhead = none ];
969 -> 23;

970 [label="EVAL with clause\ndet(.(a, X39), X39, a).\nand substitutionX39 -> T25,\nT18 -> .(a, T25),\nX31 -> T25,\nX32 -> a", fontsize=14, style = filled, fillcolor = lightblue];
22 -> 970 [arrowhead = none ];
970 -> 27;

971 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
22 -> 971 [arrowhead = none ];
971 -> 28;

972 [label="EVAL with clause\ndet(.(the, X144), X144, the).\nand substitutionX144 -> T82,\nT18 -> .(the, T82),\nX31 -> T82,\nX32 -> the", fontsize=14, style = filled, fillcolor = lightblue];
23 -> 972 [arrowhead = none ];
972 -> 191;

973 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
23 -> 973 [arrowhead = none ];
973 -> 192;

974 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
27 -> 974 [arrowhead = none ];
974 -> 29;

975 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
29 -> 975 [arrowhead = none ];
975 -> 31;

976 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
29 -> 976 [arrowhead = none ];
976 -> 33;

977 [label="EVAL with clause\nnoun(.(book, X44), X44, -(book, s)).\nand substitutionX44 -> T30,\nT25 -> .(book, T30),\nX34 -> T30,\nX33 -> -(book, s)", fontsize=14, style = filled, fillcolor = lightblue];
31 -> 977 [arrowhead = none ];
977 -> 39;

978 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
31 -> 978 [arrowhead = none ];
978 -> 40;

979 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
33 -> 979 [arrowhead = none ];
979 -> 99;

980 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
33 -> 980 [arrowhead = none ];
980 -> 100;

981 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
39 -> 981 [arrowhead = none ];
981 -> 41;

982 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
41 -> 982 [arrowhead = none ];
982 -> 46;

983 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
41 -> 983 [arrowhead = none ];
983 -> 47;

984 [label="EVAL with clause\ncomb(a, -(X53, s), s(s, X53, X54)).\nand substitutionX53 -> book,\nX54 -> T36,\nT20 -> s(s, book, T36),\nT35 -> T36", fontsize=14, style = filled, fillcolor = lightblue];
46 -> 984 [arrowhead = none ];
984 -> 52;

985 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
46 -> 985 [arrowhead = none ];
985 -> 55;

986 [label="BACKTRACK\nfor clause: comb(the, -(N, P), s(P, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
47 -> 986 [arrowhead = none ];
986 -> 96;

987 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
52 -> 987 [arrowhead = none ];
987 -> 56;

988 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
56 -> 988 [arrowhead = none ];
988 -> 61;

989 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
56 -> 989 [arrowhead = none ];
989 -> 63;

990 [label="EVAL with clause\nverb(.(falls, X63), X63, s(s, X64, fall)).\nand substitutionX63 -> [],\nT30 -> .(falls, []),\nT41 -> [],\nX64 -> book,\nT36 -> fall", fontsize=14, style = filled, fillcolor = lightblue];
61 -> 990 [arrowhead = none ];
990 -> 69;

991 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
61 -> 991 [arrowhead = none ];
991 -> 70;

992 [label="BACKTRACK\nfor clause: verb(.(fall, So), So, s(p, N, fall))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
63 -> 992 [arrowhead = none ];
992 -> 77;

993 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
69 -> 993 [arrowhead = none ];
993 -> 71;

994 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
77 -> 994 [arrowhead = none ];
994 -> 80;

995 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
77 -> 995 [arrowhead = none ];
995 -> 81;

996 [label="EVAL with clause\nverb(.(flies, X75), X75, s(s, X76, fly)).\nand substitutionX75 -> [],\nT30 -> .(flies, []),\nT47 -> [],\nX76 -> book,\nT36 -> fly", fontsize=14, style = filled, fillcolor = lightblue];
80 -> 996 [arrowhead = none ];
996 -> 89;

997 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
80 -> 997 [arrowhead = none ];
997 -> 90;

998 [label="BACKTRACK\nfor clause: verb(.(fly, So), So, s(p, N, fly))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
81 -> 998 [arrowhead = none ];
998 -> 95;

999 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
89 -> 999 [arrowhead = none ];
999 -> 91;

1000 [label="EVAL with clause\nnoun(.(books, X86), X86, -(book, p)).\nand substitutionX86 -> T53,\nT25 -> .(books, T53),\nX34 -> T53,\nX33 -> -(book, p)", fontsize=14, style = filled, fillcolor = lightblue];
99 -> 1000 [arrowhead = none ];
1000 -> 102;

1001 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
99 -> 1001 [arrowhead = none ];
1001 -> 103;

1002 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
100 -> 1002 [arrowhead = none ];
1002 -> 112;

1003 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
100 -> 1003 [arrowhead = none ];
1003 -> 113;

1004 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
102 -> 1004 [arrowhead = none ];
1004 -> 106;

1005 [label="BACKTRACK\nfor clause: comb(a, -(N, s), s(s, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
106 -> 1005 [arrowhead = none ];
1005 -> 108;

1006 [label="BACKTRACK\nfor clause: comb(the, -(N, P), s(P, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
108 -> 1006 [arrowhead = none ];
1006 -> 110;

1007 [label="EVAL with clause\nnoun(.(box, X96), X96, -(box, s)).\nand substitutionX96 -> T58,\nT25 -> .(box, T58),\nX34 -> T58,\nX33 -> -(box, s)", fontsize=14, style = filled, fillcolor = lightblue];
112 -> 1007 [arrowhead = none ];
1007 -> 118;

1008 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
112 -> 1008 [arrowhead = none ];
1008 -> 121;

1009 [label="EVAL with clause\nnoun(.(boxes, X136), X136, -(box, p)).\nand substitutionX136 -> T79,\nT25 -> .(boxes, T79),\nX34 -> T79,\nX33 -> -(box, p)", fontsize=14, style = filled, fillcolor = lightblue];
113 -> 1009 [arrowhead = none ];
1009 -> 176;

1010 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
113 -> 1010 [arrowhead = none ];
1010 -> 178;

1011 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
118 -> 1011 [arrowhead = none ];
1011 -> 124;

1012 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
124 -> 1012 [arrowhead = none ];
1012 -> 130;

1013 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
124 -> 1013 [arrowhead = none ];
1013 -> 131;

1014 [label="EVAL with clause\ncomb(a, -(X105, s), s(s, X105, X106)).\nand substitutionX105 -> box,\nX106 -> T64,\nT20 -> s(s, box, T64),\nT63 -> T64", fontsize=14, style = filled, fillcolor = lightblue];
130 -> 1014 [arrowhead = none ];
1014 -> 136;

1015 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
130 -> 1015 [arrowhead = none ];
1015 -> 138;

1016 [label="BACKTRACK\nfor clause: comb(the, -(N, P), s(P, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
131 -> 1016 [arrowhead = none ];
1016 -> 170;

1017 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
136 -> 1017 [arrowhead = none ];
1017 -> 140;

1018 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
140 -> 1018 [arrowhead = none ];
1018 -> 148;

1019 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
140 -> 1019 [arrowhead = none ];
1019 -> 150;

1020 [label="EVAL with clause\nverb(.(falls, X115), X115, s(s, X116, fall)).\nand substitutionX115 -> [],\nT58 -> .(falls, []),\nT69 -> [],\nX116 -> box,\nT64 -> fall", fontsize=14, style = filled, fillcolor = lightblue];
148 -> 1020 [arrowhead = none ];
1020 -> 154;

1021 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
148 -> 1021 [arrowhead = none ];
1021 -> 155;

1022 [label="BACKTRACK\nfor clause: verb(.(fall, So), So, s(p, N, fall))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
150 -> 1022 [arrowhead = none ];
1022 -> 157;

1023 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
154 -> 1023 [arrowhead = none ];
1023 -> 156;

1024 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
157 -> 1024 [arrowhead = none ];
1024 -> 160;

1025 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
157 -> 1025 [arrowhead = none ];
1025 -> 161;

1026 [label="EVAL with clause\nverb(.(flies, X127), X127, s(s, X128, fly)).\nand substitutionX127 -> [],\nT58 -> .(flies, []),\nT75 -> [],\nX128 -> box,\nT64 -> fly", fontsize=14, style = filled, fillcolor = lightblue];
160 -> 1026 [arrowhead = none ];
1026 -> 165;

1027 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
160 -> 1027 [arrowhead = none ];
1027 -> 167;

1028 [label="BACKTRACK\nfor clause: verb(.(fly, So), So, s(p, N, fly))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
161 -> 1028 [arrowhead = none ];
1028 -> 169;

1029 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
165 -> 1029 [arrowhead = none ];
1029 -> 168;

1030 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
176 -> 1030 [arrowhead = none ];
1030 -> 180;

1031 [label="BACKTRACK\nfor clause: comb(a, -(N, s), s(s, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
180 -> 1031 [arrowhead = none ];
1031 -> 182;

1032 [label="BACKTRACK\nfor clause: comb(the, -(N, P), s(P, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
182 -> 1032 [arrowhead = none ];
1032 -> 183;

1033 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
191 -> 1033 [arrowhead = none ];
1033 -> 193;

1034 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
193 -> 1034 [arrowhead = none ];
1034 -> 197;

1035 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
193 -> 1035 [arrowhead = none ];
1035 -> 199;

1036 [label="EVAL with clause\nnoun(.(book, X149), X149, -(book, s)).\nand substitutionX149 -> T87,\nT82 -> .(book, T87),\nX34 -> T87,\nX33 -> -(book, s)", fontsize=14, style = filled, fillcolor = lightblue];
197 -> 1036 [arrowhead = none ];
1036 -> 203;

1037 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
197 -> 1037 [arrowhead = none ];
1037 -> 204;

1038 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
199 -> 1038 [arrowhead = none ];
1038 -> 249;

1039 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
199 -> 1039 [arrowhead = none ];
1039 -> 252;

1040 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
203 -> 1040 [arrowhead = none ];
1040 -> 206;

1041 [label="BACKTRACK\nfor clause: comb(a, -(N, s), s(s, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
206 -> 1041 [arrowhead = none ];
1041 -> 208;

1042 [label="EVAL with clause\ncomb(the, -(X158, X159), s(X159, X158, X160)).\nand substitutionX158 -> book,\nX159 -> s,\nX160 -> T91,\nT20 -> s(s, book, T91),\nT90 -> T91", fontsize=14, style = filled, fillcolor = lightblue];
208 -> 1042 [arrowhead = none ];
1042 -> 212;

1043 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
208 -> 1043 [arrowhead = none ];
1043 -> 213;

1044 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
212 -> 1044 [arrowhead = none ];
1044 -> 214;

1045 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
214 -> 1045 [arrowhead = none ];
1045 -> 218;

1046 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
214 -> 1046 [arrowhead = none ];
1046 -> 219;

1047 [label="EVAL with clause\nverb(.(falls, X169), X169, s(s, X170, fall)).\nand substitutionX169 -> [],\nT87 -> .(falls, []),\nT96 -> [],\nX170 -> book,\nT91 -> fall", fontsize=14, style = filled, fillcolor = lightblue];
218 -> 1047 [arrowhead = none ];
1047 -> 222;

1048 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
218 -> 1048 [arrowhead = none ];
1048 -> 225;

1049 [label="BACKTRACK\nfor clause: verb(.(fall, So), So, s(p, N, fall))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
219 -> 1049 [arrowhead = none ];
1049 -> 228;

1050 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
222 -> 1050 [arrowhead = none ];
1050 -> 226;

1051 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
228 -> 1051 [arrowhead = none ];
1051 -> 233;

1052 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
228 -> 1052 [arrowhead = none ];
1052 -> 235;

1053 [label="EVAL with clause\nverb(.(flies, X181), X181, s(s, X182, fly)).\nand substitutionX181 -> [],\nT87 -> .(flies, []),\nT102 -> [],\nX182 -> book,\nT91 -> fly", fontsize=14, style = filled, fillcolor = lightblue];
233 -> 1053 [arrowhead = none ];
1053 -> 241;

1054 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
233 -> 1054 [arrowhead = none ];
1054 -> 243;

1055 [label="BACKTRACK\nfor clause: verb(.(fly, So), So, s(p, N, fly))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
235 -> 1055 [arrowhead = none ];
1055 -> 246;

1056 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
241 -> 1056 [arrowhead = none ];
1056 -> 244;

1057 [label="EVAL with clause\nnoun(.(books, X189), X189, -(book, p)).\nand substitutionX189 -> T108,\nT82 -> .(books, T108),\nX34 -> T108,\nX33 -> -(book, p)", fontsize=14, style = filled, fillcolor = lightblue];
249 -> 1057 [arrowhead = none ];
1057 -> 254;

1058 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
249 -> 1058 [arrowhead = none ];
1058 -> 255;

1059 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
252 -> 1059 [arrowhead = none ];
1059 -> 298;

1060 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
252 -> 1060 [arrowhead = none ];
1060 -> 299;

1061 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
254 -> 1061 [arrowhead = none ];
1061 -> 258;

1062 [label="BACKTRACK\nfor clause: comb(a, -(N, s), s(s, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
258 -> 1062 [arrowhead = none ];
1062 -> 259;

1063 [label="EVAL with clause\ncomb(the, -(X198, X199), s(X199, X198, X200)).\nand substitutionX198 -> book,\nX199 -> p,\nX200 -> T112,\nT20 -> s(p, book, T112),\nT111 -> T112", fontsize=14, style = filled, fillcolor = lightblue];
259 -> 1063 [arrowhead = none ];
1063 -> 262;

1064 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
259 -> 1064 [arrowhead = none ];
1064 -> 266;

1065 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
262 -> 1065 [arrowhead = none ];
1065 -> 267;

1066 [label="BACKTRACK\nfor clause: verb(.(falls, So), So, s(s, N, fall))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
267 -> 1066 [arrowhead = none ];
1066 -> 271;

1067 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
271 -> 1067 [arrowhead = none ];
1067 -> 276;

1068 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
271 -> 1068 [arrowhead = none ];
1068 -> 277;

1069 [label="EVAL with clause\nverb(.(fall, X211), X211, s(p, X212, fall)).\nand substitutionX211 -> [],\nT108 -> .(fall, []),\nT118 -> [],\nX212 -> book,\nT112 -> fall", fontsize=14, style = filled, fillcolor = lightblue];
276 -> 1069 [arrowhead = none ];
1069 -> 285;

1070 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
276 -> 1070 [arrowhead = none ];
1070 -> 286;

1071 [label="BACKTRACK\nfor clause: verb(.(flies, So), So, s(s, N, fly))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
277 -> 1071 [arrowhead = none ];
1071 -> 289;

1072 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
285 -> 1072 [arrowhead = none ];
1072 -> 287;

1073 [label="EVAL with clause\nverb(.(fly, X219), X219, s(p, X220, fly)).\nand substitutionX219 -> [],\nT108 -> .(fly, []),\nT122 -> [],\nX220 -> book,\nT112 -> fly", fontsize=14, style = filled, fillcolor = lightblue];
289 -> 1073 [arrowhead = none ];
1073 -> 293;

1074 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
289 -> 1074 [arrowhead = none ];
1074 -> 294;

1075 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
293 -> 1075 [arrowhead = none ];
1075 -> 296;

1076 [label="EVAL with clause\nnoun(.(box, X225), X225, -(box, s)).\nand substitutionX225 -> T127,\nT82 -> .(box, T127),\nX34 -> T127,\nX33 -> -(box, s)", fontsize=14, style = filled, fillcolor = lightblue];
298 -> 1076 [arrowhead = none ];
1076 -> 314;

1077 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
298 -> 1077 [arrowhead = none ];
1077 -> 317;

1078 [label="EVAL with clause\nnoun(.(boxes, X263), X263, -(box, p)).\nand substitutionX263 -> T146,\nT82 -> .(boxes, T146),\nX34 -> T146,\nX33 -> -(box, p)", fontsize=14, style = filled, fillcolor = lightblue];
299 -> 1078 [arrowhead = none ];
1078 -> 389;

1079 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
299 -> 1079 [arrowhead = none ];
1079 -> 390;

1080 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
314 -> 1080 [arrowhead = none ];
1080 -> 318;

1081 [label="BACKTRACK\nfor clause: comb(a, -(N, s), s(s, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
318 -> 1081 [arrowhead = none ];
1081 -> 319;

1082 [label="EVAL with clause\ncomb(the, -(X234, X235), s(X235, X234, X236)).\nand substitutionX234 -> box,\nX235 -> s,\nX236 -> T131,\nT20 -> s(s, box, T131),\nT130 -> T131", fontsize=14, style = filled, fillcolor = lightblue];
319 -> 1082 [arrowhead = none ];
1082 -> 324;

1083 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
319 -> 1083 [arrowhead = none ];
1083 -> 325;

1084 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
324 -> 1084 [arrowhead = none ];
1084 -> 326;

1085 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
326 -> 1085 [arrowhead = none ];
1085 -> 328;

1086 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
326 -> 1086 [arrowhead = none ];
1086 -> 329;

1087 [label="EVAL with clause\nverb(.(falls, X245), X245, s(s, X246, fall)).\nand substitutionX245 -> [],\nT127 -> .(falls, []),\nT136 -> [],\nX246 -> box,\nT131 -> fall", fontsize=14, style = filled, fillcolor = lightblue];
328 -> 1087 [arrowhead = none ];
1087 -> 348;

1088 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
328 -> 1088 [arrowhead = none ];
1088 -> 349;

1089 [label="BACKTRACK\nfor clause: verb(.(fall, So), So, s(p, N, fall))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
329 -> 1089 [arrowhead = none ];
1089 -> 351;

1090 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
348 -> 1090 [arrowhead = none ];
1090 -> 350;

1091 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
351 -> 1091 [arrowhead = none ];
1091 -> 356;

1092 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
351 -> 1092 [arrowhead = none ];
1092 -> 357;

1093 [label="EVAL with clause\nverb(.(flies, X257), X257, s(s, X258, fly)).\nand substitutionX257 -> [],\nT127 -> .(flies, []),\nT142 -> [],\nX258 -> box,\nT131 -> fly", fontsize=14, style = filled, fillcolor = lightblue];
356 -> 1093 [arrowhead = none ];
1093 -> 377;

1094 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
356 -> 1094 [arrowhead = none ];
1094 -> 379;

1095 [label="BACKTRACK\nfor clause: verb(.(fly, So), So, s(p, N, fly))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
357 -> 1095 [arrowhead = none ];
1095 -> 381;

1096 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
377 -> 1096 [arrowhead = none ];
1096 -> 380;

1097 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
389 -> 1097 [arrowhead = none ];
1097 -> 392;

1098 [label="BACKTRACK\nfor clause: comb(a, -(N, s), s(s, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
392 -> 1098 [arrowhead = none ];
1098 -> 393;

1099 [label="EVAL with clause\ncomb(the, -(X272, X273), s(X273, X272, X274)).\nand substitutionX272 -> box,\nX273 -> p,\nX274 -> T150,\nT20 -> s(p, box, T150),\nT149 -> T150", fontsize=14, style = filled, fillcolor = lightblue];
393 -> 1099 [arrowhead = none ];
1099 -> 397;

1100 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
393 -> 1100 [arrowhead = none ];
1100 -> 398;

1101 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
397 -> 1101 [arrowhead = none ];
1101 -> 401;

1102 [label="BACKTRACK\nfor clause: verb(.(falls, So), So, s(s, N, fall))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
401 -> 1102 [arrowhead = none ];
1102 -> 406;

1103 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
406 -> 1103 [arrowhead = none ];
1103 -> 429;

1104 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
406 -> 1104 [arrowhead = none ];
1104 -> 430;

1105 [label="EVAL with clause\nverb(.(fall, X285), X285, s(p, X286, fall)).\nand substitutionX285 -> [],\nT146 -> .(fall, []),\nT156 -> [],\nX286 -> box,\nT150 -> fall", fontsize=14, style = filled, fillcolor = lightblue];
429 -> 1105 [arrowhead = none ];
1105 -> 435;

1106 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
429 -> 1106 [arrowhead = none ];
1106 -> 437;

1107 [label="BACKTRACK\nfor clause: verb(.(flies, So), So, s(s, N, fly))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
430 -> 1107 [arrowhead = none ];
1107 -> 439;

1108 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
435 -> 1108 [arrowhead = none ];
1108 -> 438;

1109 [label="EVAL with clause\nverb(.(fly, X293), X293, s(p, X294, fly)).\nand substitutionX293 -> [],\nT146 -> .(fly, []),\nT160 -> [],\nX294 -> box,\nT150 -> fly", fontsize=14, style = filled, fillcolor = lightblue];
439 -> 1109 [arrowhead = none ];
1109 -> 444;

1110 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
439 -> 1110 [arrowhead = none ];
1110 -> 446;

1111 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
444 -> 1111 [arrowhead = none ];
1111 -> 447;

1112 [label="ONLY EVAL with clause\nparse(X301, X302) :- ','(np(X301, X303, X302), ','(verb(X303, X304, X302), =(X304, []))).\nand substitutionT5 -> T166,\nX301 -> T166,\nT2 -> T168,\nX302 -> T168,\nT167 -> T168", fontsize=14, style = filled, fillcolor = lightblue];
448 -> 1112 [arrowhead = none ];
1112 -> 453;

1113 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
453 -> 1113 [arrowhead = none ];
1113 -> 454;

1114 [label="ONLY EVAL with clause\nnp(X316, X317, X318) :- ','(det(X316, X319, X320), ','(noun(X319, X317, X321), comb(X320, X321, X318))).\nand substitutionT166 -> T174,\nX316 -> T174,\nX303 -> X322,\nX317 -> X322,\nT168 -> T176,\nX318 -> T176,\nT175 -> T176", fontsize=14, style = filled, fillcolor = lightblue];
454 -> 1114 [arrowhead = none ];
1114 -> 466;

1115 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
466 -> 1115 [arrowhead = none ];
1115 -> 468;

1116 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
468 -> 1116 [arrowhead = none ];
1116 -> 469;

1117 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
468 -> 1117 [arrowhead = none ];
1117 -> 470;

1118 [label="EVAL with clause\ndet(.(a, X327), X327, a).\nand substitutionX327 -> T181,\nT174 -> .(a, T181),\nX319 -> T181,\nX320 -> a", fontsize=14, style = filled, fillcolor = lightblue];
469 -> 1118 [arrowhead = none ];
1118 -> 474;

1119 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
469 -> 1119 [arrowhead = none ];
1119 -> 475;

1120 [label="EVAL with clause\ndet(.(the, X432), X432, the).\nand substitutionX432 -> T238,\nT174 -> .(the, T238),\nX319 -> T238,\nX320 -> the", fontsize=14, style = filled, fillcolor = lightblue];
470 -> 1120 [arrowhead = none ];
1120 -> 640;

1121 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
470 -> 1121 [arrowhead = none ];
1121 -> 641;

1122 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
474 -> 1122 [arrowhead = none ];
1122 -> 476;

1123 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
476 -> 1123 [arrowhead = none ];
1123 -> 495;

1124 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
476 -> 1124 [arrowhead = none ];
1124 -> 496;

1125 [label="EVAL with clause\nnoun(.(book, X332), X332, -(book, s)).\nand substitutionX332 -> T186,\nT181 -> .(book, T186),\nX322 -> T186,\nX321 -> -(book, s)", fontsize=14, style = filled, fillcolor = lightblue];
495 -> 1125 [arrowhead = none ];
1125 -> 500;

1126 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
495 -> 1126 [arrowhead = none ];
1126 -> 501;

1127 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
496 -> 1127 [arrowhead = none ];
1127 -> 553;

1128 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
496 -> 1128 [arrowhead = none ];
1128 -> 556;

1129 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
500 -> 1129 [arrowhead = none ];
1129 -> 502;

1130 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
502 -> 1130 [arrowhead = none ];
1130 -> 505;

1131 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
502 -> 1131 [arrowhead = none ];
1131 -> 506;

1132 [label="EVAL with clause\ncomb(a, -(X341, s), s(s, X341, X342)).\nand substitutionX341 -> book,\nX342 -> T192,\nT176 -> s(s, book, T192),\nT191 -> T192", fontsize=14, style = filled, fillcolor = lightblue];
505 -> 1132 [arrowhead = none ];
1132 -> 510;

1133 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
505 -> 1133 [arrowhead = none ];
1133 -> 511;

1134 [label="BACKTRACK\nfor clause: comb(the, -(N, P), s(P, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
506 -> 1134 [arrowhead = none ];
1134 -> 550;

1135 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
510 -> 1135 [arrowhead = none ];
1135 -> 514;

1136 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
514 -> 1136 [arrowhead = none ];
1136 -> 515;

1137 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
514 -> 1137 [arrowhead = none ];
1137 -> 516;

1138 [label="EVAL with clause\nverb(.(falls, X351), X351, s(s, X352, fall)).\nand substitutionX351 -> T197,\nT186 -> .(falls, T197),\nX304 -> T197,\nX352 -> book,\nT192 -> fall", fontsize=14, style = filled, fillcolor = lightblue];
515 -> 1138 [arrowhead = none ];
1138 -> 520;

1139 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
515 -> 1139 [arrowhead = none ];
1139 -> 521;

1140 [label="BACKTRACK\nfor clause: verb(.(fall, So), So, s(p, N, fall))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
516 -> 1140 [arrowhead = none ];
1140 -> 527;

1141 [label="UNIFY CASE with substitutionT197 -> []", fontsize=14, style = filled, fillcolor = lightblue];
520 -> 1141 [arrowhead = none ];
1141 -> 522;

1142 [label="UNIFY-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
520 -> 1142 [arrowhead = none ];
1142 -> 524;

1143 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
522 -> 1143 [arrowhead = none ];
1143 -> 526;

1144 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
527 -> 1144 [arrowhead = none ];
1144 -> 528;

1145 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
527 -> 1145 [arrowhead = none ];
1145 -> 529;

1146 [label="EVAL with clause\nverb(.(flies, X363), X363, s(s, X364, fly)).\nand substitutionX363 -> T203,\nT186 -> .(flies, T203),\nX304 -> T203,\nX364 -> book,\nT192 -> fly", fontsize=14, style = filled, fillcolor = lightblue];
528 -> 1146 [arrowhead = none ];
1146 -> 540;

1147 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
528 -> 1147 [arrowhead = none ];
1147 -> 541;

1148 [label="BACKTRACK\nfor clause: verb(.(fly, So), So, s(p, N, fly))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
529 -> 1148 [arrowhead = none ];
1148 -> 549;

1149 [label="UNIFY CASE with substitutionT203 -> []", fontsize=14, style = filled, fillcolor = lightblue];
540 -> 1149 [arrowhead = none ];
1149 -> 542;

1150 [label="UNIFY-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
540 -> 1150 [arrowhead = none ];
1150 -> 543;

1151 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
542 -> 1151 [arrowhead = none ];
1151 -> 544;

1152 [label="EVAL with clause\nnoun(.(books, X374), X374, -(book, p)).\nand substitutionX374 -> T209,\nT181 -> .(books, T209),\nX322 -> T209,\nX321 -> -(book, p)", fontsize=14, style = filled, fillcolor = lightblue];
553 -> 1152 [arrowhead = none ];
1152 -> 563;

1153 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
553 -> 1153 [arrowhead = none ];
1153 -> 564;

1154 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
556 -> 1154 [arrowhead = none ];
1154 -> 573;

1155 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
556 -> 1155 [arrowhead = none ];
1155 -> 574;

1156 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
563 -> 1156 [arrowhead = none ];
1156 -> 566;

1157 [label="BACKTRACK\nfor clause: comb(a, -(N, s), s(s, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
566 -> 1157 [arrowhead = none ];
1157 -> 567;

1158 [label="BACKTRACK\nfor clause: comb(the, -(N, P), s(P, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
567 -> 1158 [arrowhead = none ];
1158 -> 568;

1159 [label="EVAL with clause\nnoun(.(box, X384), X384, -(box, s)).\nand substitutionX384 -> T214,\nT181 -> .(box, T214),\nX322 -> T214,\nX321 -> -(box, s)", fontsize=14, style = filled, fillcolor = lightblue];
573 -> 1159 [arrowhead = none ];
1159 -> 576;

1160 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
573 -> 1160 [arrowhead = none ];
1160 -> 577;

1161 [label="EVAL with clause\nnoun(.(boxes, X424), X424, -(box, p)).\nand substitutionX424 -> T235,\nT181 -> .(boxes, T235),\nX322 -> T235,\nX321 -> -(box, p)", fontsize=14, style = filled, fillcolor = lightblue];
574 -> 1161 [arrowhead = none ];
1161 -> 630;

1162 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
574 -> 1162 [arrowhead = none ];
1162 -> 631;

1163 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
576 -> 1163 [arrowhead = none ];
1163 -> 579;

1164 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
579 -> 1164 [arrowhead = none ];
1164 -> 582;

1165 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
579 -> 1165 [arrowhead = none ];
1165 -> 583;

1166 [label="EVAL with clause\ncomb(a, -(X393, s), s(s, X393, X394)).\nand substitutionX393 -> box,\nX394 -> T220,\nT176 -> s(s, box, T220),\nT219 -> T220", fontsize=14, style = filled, fillcolor = lightblue];
582 -> 1166 [arrowhead = none ];
1166 -> 586;

1167 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
582 -> 1167 [arrowhead = none ];
1167 -> 587;

1168 [label="BACKTRACK\nfor clause: comb(the, -(N, P), s(P, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
583 -> 1168 [arrowhead = none ];
1168 -> 626;

1169 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
586 -> 1169 [arrowhead = none ];
1169 -> 590;

1170 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
590 -> 1170 [arrowhead = none ];
1170 -> 593;

1171 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
590 -> 1171 [arrowhead = none ];
1171 -> 594;

1172 [label="EVAL with clause\nverb(.(falls, X403), X403, s(s, X404, fall)).\nand substitutionX403 -> T225,\nT214 -> .(falls, T225),\nX304 -> T225,\nX404 -> box,\nT220 -> fall", fontsize=14, style = filled, fillcolor = lightblue];
593 -> 1172 [arrowhead = none ];
1172 -> 600;

1173 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
593 -> 1173 [arrowhead = none ];
1173 -> 602;

1174 [label="BACKTRACK\nfor clause: verb(.(fall, So), So, s(p, N, fall))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
594 -> 1174 [arrowhead = none ];
1174 -> 606;

1175 [label="UNIFY CASE with substitutionT225 -> []", fontsize=14, style = filled, fillcolor = lightblue];
600 -> 1175 [arrowhead = none ];
1175 -> 603;

1176 [label="UNIFY-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
600 -> 1176 [arrowhead = none ];
1176 -> 604;

1177 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
603 -> 1177 [arrowhead = none ];
1177 -> 605;

1178 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
606 -> 1178 [arrowhead = none ];
1178 -> 611;

1179 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
606 -> 1179 [arrowhead = none ];
1179 -> 612;

1180 [label="EVAL with clause\nverb(.(flies, X415), X415, s(s, X416, fly)).\nand substitutionX415 -> T231,\nT214 -> .(flies, T231),\nX304 -> T231,\nX416 -> box,\nT220 -> fly", fontsize=14, style = filled, fillcolor = lightblue];
611 -> 1180 [arrowhead = none ];
1180 -> 618;

1181 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
611 -> 1181 [arrowhead = none ];
1181 -> 619;

1182 [label="BACKTRACK\nfor clause: verb(.(fly, So), So, s(p, N, fly))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
612 -> 1182 [arrowhead = none ];
1182 -> 624;

1183 [label="UNIFY CASE with substitutionT231 -> []", fontsize=14, style = filled, fillcolor = lightblue];
618 -> 1183 [arrowhead = none ];
1183 -> 620;

1184 [label="UNIFY-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
618 -> 1184 [arrowhead = none ];
1184 -> 621;

1185 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
620 -> 1185 [arrowhead = none ];
1185 -> 622;

1186 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
630 -> 1186 [arrowhead = none ];
1186 -> 634;

1187 [label="BACKTRACK\nfor clause: comb(a, -(N, s), s(s, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
634 -> 1187 [arrowhead = none ];
1187 -> 635;

1188 [label="BACKTRACK\nfor clause: comb(the, -(N, P), s(P, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
635 -> 1188 [arrowhead = none ];
1188 -> 638;

1189 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
640 -> 1189 [arrowhead = none ];
1189 -> 644;

1190 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
644 -> 1190 [arrowhead = none ];
1190 -> 648;

1191 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
644 -> 1191 [arrowhead = none ];
1191 -> 649;

1192 [label="EVAL with clause\nnoun(.(book, X437), X437, -(book, s)).\nand substitutionX437 -> T243,\nT238 -> .(book, T243),\nX322 -> T243,\nX321 -> -(book, s)", fontsize=14, style = filled, fillcolor = lightblue];
648 -> 1192 [arrowhead = none ];
1192 -> 670;

1193 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
648 -> 1193 [arrowhead = none ];
1193 -> 671;

1194 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
649 -> 1194 [arrowhead = none ];
1194 -> 726;

1195 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
649 -> 1195 [arrowhead = none ];
1195 -> 729;

1196 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
670 -> 1196 [arrowhead = none ];
1196 -> 672;

1197 [label="BACKTRACK\nfor clause: comb(a, -(N, s), s(s, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
672 -> 1197 [arrowhead = none ];
1197 -> 674;

1198 [label="EVAL with clause\ncomb(the, -(X446, X447), s(X447, X446, X448)).\nand substitutionX446 -> book,\nX447 -> s,\nX448 -> T247,\nT176 -> s(s, book, T247),\nT246 -> T247", fontsize=14, style = filled, fillcolor = lightblue];
674 -> 1198 [arrowhead = none ];
1198 -> 677;

1199 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
674 -> 1199 [arrowhead = none ];
1199 -> 679;

1200 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
677 -> 1200 [arrowhead = none ];
1200 -> 682;

1201 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
682 -> 1201 [arrowhead = none ];
1201 -> 687;

1202 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
682 -> 1202 [arrowhead = none ];
1202 -> 688;

1203 [label="EVAL with clause\nverb(.(falls, X457), X457, s(s, X458, fall)).\nand substitutionX457 -> T252,\nT243 -> .(falls, T252),\nX304 -> T252,\nX458 -> book,\nT247 -> fall", fontsize=14, style = filled, fillcolor = lightblue];
687 -> 1203 [arrowhead = none ];
1203 -> 692;

1204 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
687 -> 1204 [arrowhead = none ];
1204 -> 694;

1205 [label="BACKTRACK\nfor clause: verb(.(fall, So), So, s(p, N, fall))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
688 -> 1205 [arrowhead = none ];
1205 -> 702;

1206 [label="UNIFY CASE with substitutionT252 -> []", fontsize=14, style = filled, fillcolor = lightblue];
692 -> 1206 [arrowhead = none ];
1206 -> 696;

1207 [label="UNIFY-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
692 -> 1207 [arrowhead = none ];
1207 -> 697;

1208 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
696 -> 1208 [arrowhead = none ];
1208 -> 698;

1209 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
702 -> 1209 [arrowhead = none ];
1209 -> 708;

1210 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
702 -> 1210 [arrowhead = none ];
1210 -> 709;

1211 [label="EVAL with clause\nverb(.(flies, X469), X469, s(s, X470, fly)).\nand substitutionX469 -> T258,\nT243 -> .(flies, T258),\nX304 -> T258,\nX470 -> book,\nT247 -> fly", fontsize=14, style = filled, fillcolor = lightblue];
708 -> 1211 [arrowhead = none ];
1211 -> 715;

1212 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
708 -> 1212 [arrowhead = none ];
1212 -> 716;

1213 [label="BACKTRACK\nfor clause: verb(.(fly, So), So, s(p, N, fly))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
709 -> 1213 [arrowhead = none ];
1213 -> 724;

1214 [label="UNIFY CASE with substitutionT258 -> []", fontsize=14, style = filled, fillcolor = lightblue];
715 -> 1214 [arrowhead = none ];
1214 -> 718;

1215 [label="UNIFY-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
715 -> 1215 [arrowhead = none ];
1215 -> 719;

1216 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
718 -> 1216 [arrowhead = none ];
1216 -> 720;

1217 [label="EVAL with clause\nnoun(.(books, X477), X477, -(book, p)).\nand substitutionX477 -> T264,\nT238 -> .(books, T264),\nX322 -> T264,\nX321 -> -(book, p)", fontsize=14, style = filled, fillcolor = lightblue];
726 -> 1217 [arrowhead = none ];
1217 -> 732;

1218 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
726 -> 1218 [arrowhead = none ];
1218 -> 733;

1219 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
729 -> 1219 [arrowhead = none ];
1219 -> 801;

1220 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
729 -> 1220 [arrowhead = none ];
1220 -> 802;

1221 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
732 -> 1221 [arrowhead = none ];
1221 -> 736;

1222 [label="BACKTRACK\nfor clause: comb(a, -(N, s), s(s, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
736 -> 1222 [arrowhead = none ];
1222 -> 739;

1223 [label="EVAL with clause\ncomb(the, -(X486, X487), s(X487, X486, X488)).\nand substitutionX486 -> book,\nX487 -> p,\nX488 -> T268,\nT176 -> s(p, book, T268),\nT267 -> T268", fontsize=14, style = filled, fillcolor = lightblue];
739 -> 1223 [arrowhead = none ];
1223 -> 749;

1224 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
739 -> 1224 [arrowhead = none ];
1224 -> 750;

1225 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
749 -> 1225 [arrowhead = none ];
1225 -> 751;

1226 [label="BACKTRACK\nfor clause: verb(.(falls, So), So, s(s, N, fall))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
751 -> 1226 [arrowhead = none ];
1226 -> 754;

1227 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
754 -> 1227 [arrowhead = none ];
1227 -> 755;

1228 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
754 -> 1228 [arrowhead = none ];
1228 -> 756;

1229 [label="EVAL with clause\nverb(.(fall, X499), X499, s(p, X500, fall)).\nand substitutionX499 -> T274,\nT264 -> .(fall, T274),\nX304 -> T274,\nX500 -> book,\nT268 -> fall", fontsize=14, style = filled, fillcolor = lightblue];
755 -> 1229 [arrowhead = none ];
1229 -> 781;

1230 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
755 -> 1230 [arrowhead = none ];
1230 -> 783;

1231 [label="BACKTRACK\nfor clause: verb(.(flies, So), So, s(s, N, fly))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
756 -> 1231 [arrowhead = none ];
1231 -> 791;

1232 [label="UNIFY CASE with substitutionT274 -> []", fontsize=14, style = filled, fillcolor = lightblue];
781 -> 1232 [arrowhead = none ];
1232 -> 784;

1233 [label="UNIFY-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
781 -> 1233 [arrowhead = none ];
1233 -> 785;

1234 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
784 -> 1234 [arrowhead = none ];
1234 -> 788;

1235 [label="EVAL with clause\nverb(.(fly, X507), X507, s(p, X508, fly)).\nand substitutionX507 -> T278,\nT264 -> .(fly, T278),\nX304 -> T278,\nX508 -> book,\nT268 -> fly", fontsize=14, style = filled, fillcolor = lightblue];
791 -> 1235 [arrowhead = none ];
1235 -> 796;

1236 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
791 -> 1236 [arrowhead = none ];
1236 -> 797;

1237 [label="UNIFY CASE with substitutionT278 -> []", fontsize=14, style = filled, fillcolor = lightblue];
796 -> 1237 [arrowhead = none ];
1237 -> 798;

1238 [label="UNIFY-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
796 -> 1238 [arrowhead = none ];
1238 -> 799;

1239 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
798 -> 1239 [arrowhead = none ];
1239 -> 800;

1240 [label="EVAL with clause\nnoun(.(box, X513), X513, -(box, s)).\nand substitutionX513 -> T283,\nT238 -> .(box, T283),\nX322 -> T283,\nX321 -> -(box, s)", fontsize=14, style = filled, fillcolor = lightblue];
801 -> 1240 [arrowhead = none ];
1240 -> 806;

1241 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
801 -> 1241 [arrowhead = none ];
1241 -> 807;

1242 [label="EVAL with clause\nnoun(.(boxes, X551), X551, -(box, p)).\nand substitutionX551 -> T302,\nT238 -> .(boxes, T302),\nX322 -> T302,\nX321 -> -(box, p)", fontsize=14, style = filled, fillcolor = lightblue];
802 -> 1242 [arrowhead = none ];
1242 -> 892;

1243 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
802 -> 1243 [arrowhead = none ];
1243 -> 893;

1244 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
806 -> 1244 [arrowhead = none ];
1244 -> 808;

1245 [label="BACKTRACK\nfor clause: comb(a, -(N, s), s(s, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
808 -> 1245 [arrowhead = none ];
1245 -> 811;

1246 [label="EVAL with clause\ncomb(the, -(X522, X523), s(X523, X522, X524)).\nand substitutionX522 -> box,\nX523 -> s,\nX524 -> T287,\nT176 -> s(s, box, T287),\nT286 -> T287", fontsize=14, style = filled, fillcolor = lightblue];
811 -> 1246 [arrowhead = none ];
1246 -> 820;

1247 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
811 -> 1247 [arrowhead = none ];
1247 -> 821;

1248 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
820 -> 1248 [arrowhead = none ];
1248 -> 823;

1249 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
823 -> 1249 [arrowhead = none ];
1249 -> 828;

1250 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
823 -> 1250 [arrowhead = none ];
1250 -> 829;

1251 [label="EVAL with clause\nverb(.(falls, X533), X533, s(s, X534, fall)).\nand substitutionX533 -> T292,\nT283 -> .(falls, T292),\nX304 -> T292,\nX534 -> box,\nT287 -> fall", fontsize=14, style = filled, fillcolor = lightblue];
828 -> 1251 [arrowhead = none ];
1251 -> 841;

1252 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
828 -> 1252 [arrowhead = none ];
1252 -> 842;

1253 [label="BACKTRACK\nfor clause: verb(.(fall, So), So, s(p, N, fall))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
829 -> 1253 [arrowhead = none ];
1253 -> 847;

1254 [label="UNIFY CASE with substitutionT292 -> []", fontsize=14, style = filled, fillcolor = lightblue];
841 -> 1254 [arrowhead = none ];
1254 -> 843;

1255 [label="UNIFY-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
841 -> 1255 [arrowhead = none ];
1255 -> 844;

1256 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
843 -> 1256 [arrowhead = none ];
1256 -> 846;

1257 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
847 -> 1257 [arrowhead = none ];
1257 -> 852;

1258 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
847 -> 1258 [arrowhead = none ];
1258 -> 853;

1259 [label="EVAL with clause\nverb(.(flies, X545), X545, s(s, X546, fly)).\nand substitutionX545 -> T298,\nT283 -> .(flies, T298),\nX304 -> T298,\nX546 -> box,\nT287 -> fly", fontsize=14, style = filled, fillcolor = lightblue];
852 -> 1259 [arrowhead = none ];
1259 -> 863;

1260 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
852 -> 1260 [arrowhead = none ];
1260 -> 865;

1261 [label="BACKTRACK\nfor clause: verb(.(fly, So), So, s(p, N, fly))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
853 -> 1261 [arrowhead = none ];
1261 -> 869;

1262 [label="UNIFY CASE with substitutionT298 -> []", fontsize=14, style = filled, fillcolor = lightblue];
863 -> 1262 [arrowhead = none ];
1262 -> 866;

1263 [label="UNIFY-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
863 -> 1263 [arrowhead = none ];
1263 -> 867;

1264 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
866 -> 1264 [arrowhead = none ];
1264 -> 868;

1265 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
892 -> 1265 [arrowhead = none ];
1265 -> 894;

1266 [label="BACKTRACK\nfor clause: comb(a, -(N, s), s(s, N, V))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
894 -> 1266 [arrowhead = none ];
1266 -> 897;

1267 [label="EVAL with clause\ncomb(the, -(X560, X561), s(X561, X560, X562)).\nand substitutionX560 -> box,\nX561 -> p,\nX562 -> T306,\nT176 -> s(p, box, T306),\nT305 -> T306", fontsize=14, style = filled, fillcolor = lightblue];
897 -> 1267 [arrowhead = none ];
1267 -> 909;

1268 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
897 -> 1268 [arrowhead = none ];
1268 -> 910;

1269 [label="CASE", fontsize=14, style = filled, fillcolor = lightcyan];
909 -> 1269 [arrowhead = none ];
1269 -> 913;

1270 [label="BACKTRACK\nfor clause: verb(.(falls, So), So, s(s, N, fall))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
913 -> 1270 [arrowhead = none ];
1270 -> 915;

1271 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
915 -> 1271 [arrowhead = none ];
1271 -> 940;

1272 [label="PARALLEL", fontsize=14, style = filled, fillcolor = violet];
915 -> 1272 [arrowhead = none ];
1272 -> 941;

1273 [label="EVAL with clause\nverb(.(fall, X573), X573, s(p, X574, fall)).\nand substitutionX573 -> T312,\nT302 -> .(fall, T312),\nX304 -> T312,\nX574 -> box,\nT306 -> fall", fontsize=14, style = filled, fillcolor = lightblue];
940 -> 1273 [arrowhead = none ];
1273 -> 944;

1274 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
940 -> 1274 [arrowhead = none ];
1274 -> 946;

1275 [label="BACKTRACK\nfor clause: verb(.(flies, So), So, s(s, N, fly))because of non-unification", fontsize=14, style = filled, fillcolor = lightgreen];
941 -> 1275 [arrowhead = none ];
1275 -> 952;

1276 [label="UNIFY CASE with substitutionT312 -> []", fontsize=14, style = filled, fillcolor = lightblue];
944 -> 1276 [arrowhead = none ];
1276 -> 948;

1277 [label="UNIFY-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
944 -> 1277 [arrowhead = none ];
1277 -> 949;

1278 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
948 -> 1278 [arrowhead = none ];
1278 -> 950;

1279 [label="EVAL with clause\nverb(.(fly, X581), X581, s(p, X582, fly)).\nand substitutionX581 -> T316,\nT302 -> .(fly, T316),\nX304 -> T316,\nX582 -> box,\nT306 -> fly", fontsize=14, style = filled, fillcolor = lightblue];
952 -> 1279 [arrowhead = none ];
1279 -> 953;

1280 [label="EVAL-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
952 -> 1280 [arrowhead = none ];
1280 -> 955;

1281 [label="UNIFY CASE with substitutionT316 -> []", fontsize=14, style = filled, fillcolor = lightblue];
953 -> 1281 [arrowhead = none ];
1281 -> 957;

1282 [label="UNIFY-BACKTRACK", fontsize=14, style = filled, fillcolor = lightgreen];
953 -> 1282 [arrowhead = none ];
1282 -> 958;

1283 [label="SUCCESS", fontsize=14, style = filled, fillcolor = lightgreen];
957 -> 1283 [arrowhead = none ];
1283 -> 959;

}

(2) Obligation:

Pi-finite rewrite system:
The TRS R consists of the following rules:

parseA_in_ga(.(a, .(book, .(falls, []))), s(s, book, fall)) → parseA_out_ga(.(a, .(book, .(falls, []))), s(s, book, fall))
parseA_in_ga(.(a, .(book, .(flies, []))), s(s, book, fly)) → parseA_out_ga(.(a, .(book, .(flies, []))), s(s, book, fly))
parseA_in_ga(.(a, .(box, .(falls, []))), s(s, box, fall)) → parseA_out_ga(.(a, .(box, .(falls, []))), s(s, box, fall))
parseA_in_ga(.(a, .(box, .(flies, []))), s(s, box, fly)) → parseA_out_ga(.(a, .(box, .(flies, []))), s(s, box, fly))
parseA_in_ga(.(the, .(book, .(falls, []))), s(s, book, fall)) → parseA_out_ga(.(the, .(book, .(falls, []))), s(s, book, fall))
parseA_in_ga(.(the, .(book, .(flies, []))), s(s, book, fly)) → parseA_out_ga(.(the, .(book, .(flies, []))), s(s, book, fly))
parseA_in_ga(.(the, .(books, .(fall, []))), s(p, book, fall)) → parseA_out_ga(.(the, .(books, .(fall, []))), s(p, book, fall))
parseA_in_ga(.(the, .(books, .(fly, []))), s(p, book, fly)) → parseA_out_ga(.(the, .(books, .(fly, []))), s(p, book, fly))
parseA_in_ga(.(the, .(box, .(falls, []))), s(s, box, fall)) → parseA_out_ga(.(the, .(box, .(falls, []))), s(s, box, fall))
parseA_in_ga(.(the, .(box, .(flies, []))), s(s, box, fly)) → parseA_out_ga(.(the, .(box, .(flies, []))), s(s, box, fly))
parseA_in_ga(.(the, .(boxes, .(fall, []))), s(p, box, fall)) → parseA_out_ga(.(the, .(boxes, .(fall, []))), s(p, box, fall))
parseA_in_ga(.(the, .(boxes, .(fly, []))), s(p, box, fly)) → parseA_out_ga(.(the, .(boxes, .(fly, []))), s(p, box, fly))

The argument filtering Pi contains the following mapping:
parseA_in_ga(x1, x2)  =  parseA_in_ga(x1)
.(x1, x2)  =  .(x1, x2)
a  =  a
book  =  book
falls  =  falls
[]  =  []
parseA_out_ga(x1, x2)  =  parseA_out_ga(x1, x2)
flies  =  flies
box  =  box
the  =  the
books  =  books
fall  =  fall
fly  =  fly
boxes  =  boxes

(3) DependencyPairsProof (EQUIVALENT transformation)

Using Dependency Pairs [AG00,LOPSTR] we result in the following initial DP problem:
Pi DP problem:
P is empty.
The TRS R consists of the following rules:

parseA_in_ga(.(a, .(book, .(falls, []))), s(s, book, fall)) → parseA_out_ga(.(a, .(book, .(falls, []))), s(s, book, fall))
parseA_in_ga(.(a, .(book, .(flies, []))), s(s, book, fly)) → parseA_out_ga(.(a, .(book, .(flies, []))), s(s, book, fly))
parseA_in_ga(.(a, .(box, .(falls, []))), s(s, box, fall)) → parseA_out_ga(.(a, .(box, .(falls, []))), s(s, box, fall))
parseA_in_ga(.(a, .(box, .(flies, []))), s(s, box, fly)) → parseA_out_ga(.(a, .(box, .(flies, []))), s(s, box, fly))
parseA_in_ga(.(the, .(book, .(falls, []))), s(s, book, fall)) → parseA_out_ga(.(the, .(book, .(falls, []))), s(s, book, fall))
parseA_in_ga(.(the, .(book, .(flies, []))), s(s, book, fly)) → parseA_out_ga(.(the, .(book, .(flies, []))), s(s, book, fly))
parseA_in_ga(.(the, .(books, .(fall, []))), s(p, book, fall)) → parseA_out_ga(.(the, .(books, .(fall, []))), s(p, book, fall))
parseA_in_ga(.(the, .(books, .(fly, []))), s(p, book, fly)) → parseA_out_ga(.(the, .(books, .(fly, []))), s(p, book, fly))
parseA_in_ga(.(the, .(box, .(falls, []))), s(s, box, fall)) → parseA_out_ga(.(the, .(box, .(falls, []))), s(s, box, fall))
parseA_in_ga(.(the, .(box, .(flies, []))), s(s, box, fly)) → parseA_out_ga(.(the, .(box, .(flies, []))), s(s, box, fly))
parseA_in_ga(.(the, .(boxes, .(fall, []))), s(p, box, fall)) → parseA_out_ga(.(the, .(boxes, .(fall, []))), s(p, box, fall))
parseA_in_ga(.(the, .(boxes, .(fly, []))), s(p, box, fly)) → parseA_out_ga(.(the, .(boxes, .(fly, []))), s(p, box, fly))

The argument filtering Pi contains the following mapping:
parseA_in_ga(x1, x2)  =  parseA_in_ga(x1)
.(x1, x2)  =  .(x1, x2)
a  =  a
book  =  book
falls  =  falls
[]  =  []
parseA_out_ga(x1, x2)  =  parseA_out_ga(x1, x2)
flies  =  flies
box  =  box
the  =  the
books  =  books
fall  =  fall
fly  =  fly
boxes  =  boxes

We have to consider all (P,R,Pi)-chains

(4) Obligation:

Pi DP problem:
P is empty.
The TRS R consists of the following rules:

parseA_in_ga(.(a, .(book, .(falls, []))), s(s, book, fall)) → parseA_out_ga(.(a, .(book, .(falls, []))), s(s, book, fall))
parseA_in_ga(.(a, .(book, .(flies, []))), s(s, book, fly)) → parseA_out_ga(.(a, .(book, .(flies, []))), s(s, book, fly))
parseA_in_ga(.(a, .(box, .(falls, []))), s(s, box, fall)) → parseA_out_ga(.(a, .(box, .(falls, []))), s(s, box, fall))
parseA_in_ga(.(a, .(box, .(flies, []))), s(s, box, fly)) → parseA_out_ga(.(a, .(box, .(flies, []))), s(s, box, fly))
parseA_in_ga(.(the, .(book, .(falls, []))), s(s, book, fall)) → parseA_out_ga(.(the, .(book, .(falls, []))), s(s, book, fall))
parseA_in_ga(.(the, .(book, .(flies, []))), s(s, book, fly)) → parseA_out_ga(.(the, .(book, .(flies, []))), s(s, book, fly))
parseA_in_ga(.(the, .(books, .(fall, []))), s(p, book, fall)) → parseA_out_ga(.(the, .(books, .(fall, []))), s(p, book, fall))
parseA_in_ga(.(the, .(books, .(fly, []))), s(p, book, fly)) → parseA_out_ga(.(the, .(books, .(fly, []))), s(p, book, fly))
parseA_in_ga(.(the, .(box, .(falls, []))), s(s, box, fall)) → parseA_out_ga(.(the, .(box, .(falls, []))), s(s, box, fall))
parseA_in_ga(.(the, .(box, .(flies, []))), s(s, box, fly)) → parseA_out_ga(.(the, .(box, .(flies, []))), s(s, box, fly))
parseA_in_ga(.(the, .(boxes, .(fall, []))), s(p, box, fall)) → parseA_out_ga(.(the, .(boxes, .(fall, []))), s(p, box, fall))
parseA_in_ga(.(the, .(boxes, .(fly, []))), s(p, box, fly)) → parseA_out_ga(.(the, .(boxes, .(fly, []))), s(p, box, fly))

The argument filtering Pi contains the following mapping:
parseA_in_ga(x1, x2)  =  parseA_in_ga(x1)
.(x1, x2)  =  .(x1, x2)
a  =  a
book  =  book
falls  =  falls
[]  =  []
parseA_out_ga(x1, x2)  =  parseA_out_ga(x1, x2)
flies  =  flies
box  =  box
the  =  the
books  =  books
fall  =  fall
fly  =  fly
boxes  =  boxes

We have to consider all (P,R,Pi)-chains

(5) PisEmptyProof (EQUIVALENT transformation)

The TRS P is empty. Hence, there is no (P,R,Pi) chain.

(6) YES