12
14
15
17
18
19htn_task(1,goal([ transport(pk(n2z),city(n3cl1z),city1_cl1_x) ] ,[],[]),
20 [
21 ss(package,pk_1, [at(pk_1,city3_cl1),
22 uncertified(pk_1)]),
23 ss(package,pk_2, [at(pk_2,city3_cl1),
24 uncertified(pk_2)]),
25 ss(package,pk_3, [at(pk_3,city3_cl1),
26 uncertified(pk_3)]),
27 ss(package,pk_4, [at(pk_4,city1_cl1),
28 uncertified(pk_4)]),
29 ss(package,pk_5, [at(pk_5,city3_cl1),
30 uncertified(pk_5)]),
31 ss(package,pk_6, [at(pk_6,city1_ts1),
32 uncertified(pk_6)]),
33 ss(truck,truck_1, [at(truck_1,city1_cl1),
34 moveable(truck_1),
35 available(truck_1)]),
36 ss(truck,truck_11, [at(truck_11,city1_cl1),
37 moveable(truck_11),
38 available(truck_11)]),
39 ss(truck,truck_2, [at(truck_2,city2_cl1),
40 moveable(truck_2),
41 available(truck_2)]),
42 ss(truck,truck_22, [at(truck_22,city2_cl1),
43 moveable(truck_22),
44 available(truck_22)]),
45 ss(truck,truck_3, [at(truck_3,city3_cl1),
46 moveable(truck_3),
47 available(truck_3)]),
48 ss(truck,truck_33, [at(truck_33,city3_cl1),
49 moveable(truck_33),
50 available(truck_33)]),
51 ss(traincar,traincar1, [at(traincar1,city2_ts1),
52 unattached(traincar1),
53 moveable(traincar1),available(traincar1)]),
54 ss(train,train2, [at(train2,city2_ts1),
55 unattached(train2),
56 moveable(train2),available(train2)]),
57 ss(train,train1, [at(train1,city1_ts1),
58 unattached(train1),
59 moveable(train1),available(train1)]),
60
61 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
62 available(ac1)]),
63 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
64 available(ac2)]),
65 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
66 available(ac3)]),
67 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
68 available(ac4)]),
69 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
70 available(ac5)]),
71 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
72 available(ac6)]),
73 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
74 available(ac7)]),
75 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
76 available(ac8)]),
77 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
78 available(ac9)]),
79 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
80 available(ac10)]),
81 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
82 available(ac11)]),
83 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
84 available(ac12)]),
85 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
86 available(ac13)]),
87 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
88 available(ac14)]),
89 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
90 available(ac15)]),
91 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
92 available(ac16)]),
93
94 ss(package,pk_1_x, [at(pk_1_x,ap2),
95 uncertified(pk_1_x)]),
96 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
97 uncertified(pk(n2x))]),
98 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
99 uncertified(pk(n3x))]),
100 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
101 uncertified(pk_4_x)]),
102 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
103 uncertified(pk_5_x)]),
104 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
105 uncertified(pk_6_x)]),
106 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
107 moveable(truck_1_x),
108 available(truck_1_x)]),
109 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
110 moveable(truck_11_x),
111 available(truck_11_x)]),
112 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
113 moveable(truck(n2x)),
114 available(truck(n2x))]),
115 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
116 moveable(truck_22_x),
117 available(truck_22_x)]),
118 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
119 moveable(truck(n3x)),
120 available(truck(n3x))]),
121 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
122 moveable(truck_33_x),
123 available(truck_33_x)]),
124 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
125 unattached(traincar1_x),
126 moveable(traincar1_x),available(traincar1_x)]),
127 ss(train,train2_x, [at(train2_x,city2_ts1_x),
128 unattached(train2_x),
129 moveable(train2_x),available(train2_x)]),
130 ss(train,train1_x, [at(train1_x,city1_ts1_x),
131 unattached(train1_x),
132 moveable(train1_x),available(train1_x)]),
133
134
135 ss(package,pk_1_y, [at(pk_1_y,ap3),
136 uncertified(pk_1_y)]),
137 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
138 uncertified(pk(n2y))]),
139 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
140 uncertified(pk(n3y))]),
141 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
142 uncertified(pk_4_y)]),
143 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
144 uncertified(pk_5_y)]),
145 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
146 uncertified(pk_6_y)]),
147 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
148 moveable(truck_1_y),
149 available(truck_1_y)]),
150 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
151 moveable(truck_11_y),
152 available(truck_11_y)]),
153 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
154 moveable(truck(n2y)),
155 available(truck(n2y))]),
156 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
157 moveable(truck_22_y),
158 available(truck_22_y)]),
159 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
160 moveable(truck(n3y)),
161 available(truck(n3y))]),
162 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
163 moveable(truck_33_y),
164 available(truck_33_y)]),
165 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
166 unattached(traincar1_y),
167 moveable(traincar1_y),available(traincar1_y)]),
168 ss(train,train2_y, [at(train2_y,city2_ts1_y),
169 unattached(train2_y),
170 moveable(train2_y),available(train2_y)]),
171 ss(train,train1_y, [at(train1_y,city1_ts1_y),
172 unattached(train1_y),
173 moveable(train1_y),available(train1_y)]),
174
175 ss(package,pk_1_z, [at(pk_1_z,ap3),
176 uncertified(pk_1_z)]),
177 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
178 uncertified(pk(n2z))]),
179 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
180 uncertified(pk(n3z))]),
181 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
182 uncertified(pk_4_z)]),
183 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
184 uncertified(pk_5_z)]),
185 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
186 uncertified(pk_6_z)]),
187 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
188 moveable(truck_1_z),
189 available(truck_1_z)]),
190 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
191 moveable(truck_11_z),
192 available(truck_11_z)]),
193 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
194 moveable(truck(n2z)),
195 available(truck(n2z))]),
196 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
197 moveable(truck_22_z),
198 available(truck_22_z)]),
199 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
200 moveable(truck(n3z)),
201 available(truck(n3z))]),
202 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
203 moveable(truck_33_z),
204 available(truck_33_z)]),
205 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
206 unattached(traincar1_z),
207 moveable(traincar1_z),available(traincar1_z)]),
208 ss(train,train2_z, [at(train2_z,city2_ts1_z),
209 unattached(train2_z),
210 moveable(train2_z),available(train2_z)]),
211 ss(train,train1_z, [at(train1_z,city1_ts1_z),
212 unattached(train1_z),
213 moveable(train1_z),available(train1_z)])
214 ]).
215
216htn_task(2,goal([ achieve(ss(traincar,traincar1_z,[at(traincar1_z,city1_ts1_z)])),
217 achieve(ss(traincar,traincar1_y,[at(traincar1_y,city1_ts1_y)]))
218 ] ,[],[]),
219 [
220 ss(package,pk_1, [at(pk_1,city3_cl1),
221 uncertified(pk_1)]),
222 ss(package,pk_2, [at(pk_2,city3_cl1),
223 uncertified(pk_2)]),
224 ss(package,pk_3, [at(pk_3,city3_cl1),
225 uncertified(pk_3)]),
226 ss(package,pk_4, [at(pk_4,city1_cl1),
227 uncertified(pk_4)]),
228 ss(package,pk_5, [at(pk_5,city3_cl1),
229 uncertified(pk_5)]),
230 ss(package,pk_6, [at(pk_6,city1_ts1),
231 uncertified(pk_6)]),
232 ss(truck,truck_1, [at(truck_1,city1_cl1),
233 moveable(truck_1),
234 available(truck_1)]),
235 ss(truck,truck_11, [at(truck_11,city1_cl1),
236 moveable(truck_11),
237 available(truck_11)]),
238 ss(truck,truck_2, [at(truck_2,city2_cl1),
239 moveable(truck_2),
240 available(truck_2)]),
241 ss(truck,truck_22, [at(truck_22,city2_cl1),
242 moveable(truck_22),
243 available(truck_22)]),
244 ss(truck,truck_3, [at(truck_3,city3_cl1),
245 moveable(truck_3),
246 available(truck_3)]),
247 ss(truck,truck_33, [at(truck_33,city3_cl1),
248 moveable(truck_33),
249 available(truck_33)]),
250 ss(traincar,traincar1, [at(traincar1,city2_ts1),
251 unattached(traincar1),
252 moveable(traincar1),available(traincar1)]),
253 ss(train,train2, [at(train2,city2_ts1),
254 unattached(train2),
255 moveable(train2),available(train2)]),
256 ss(train,train1, [at(train1,city1_ts1),
257 unattached(train1),
258 moveable(train1),available(train1)]),
259
260 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
261 available(ac1)]),
262 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
263 available(ac2)]),
264 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
265 available(ac3)]),
266 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
267 available(ac4)]),
268 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
269 available(ac5)]),
270 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
271 available(ac6)]),
272 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
273 available(ac7)]),
274 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
275 available(ac8)]),
276 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
277 available(ac9)]),
278 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
279 available(ac10)]),
280 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
281 available(ac11)]),
282 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
283 available(ac12)]),
284 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
285 available(ac13)]),
286 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
287 available(ac14)]),
288 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
289 available(ac15)]),
290 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
291 available(ac16)]),
292
293 ss(package,pk_1_x, [at(pk_1_x,ap2),
294 uncertified(pk_1_x)]),
295 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
296 uncertified(pk(n2x))]),
297 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
298 uncertified(pk(n3x))]),
299 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
300 uncertified(pk_4_x)]),
301 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
302 uncertified(pk_5_x)]),
303 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
304 uncertified(pk_6_x)]),
305 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
306 moveable(truck_1_x),
307 available(truck_1_x)]),
308 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
309 moveable(truck_11_x),
310 available(truck_11_x)]),
311 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
312 moveable(truck(n2x)),
313 available(truck(n2x))]),
314 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
315 moveable(truck_22_x),
316 available(truck_22_x)]),
317 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
318 moveable(truck(n3x)),
319 available(truck(n3x))]),
320 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
321 moveable(truck_33_x),
322 available(truck_33_x)]),
323 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
324 unattached(traincar1_x),
325 moveable(traincar1_x),available(traincar1_x)]),
326 ss(train,train2_x, [at(train2_x,city2_ts1_x),
327 unattached(train2_x),
328 moveable(train2_x),available(train2_x)]),
329 ss(train,train1_x, [at(train1_x,city1_ts1_x),
330 unattached(train1_x),
331 moveable(train1_x),available(train1_x)]),
332
333
334 ss(package,pk_1_y, [at(pk_1_y,ap3),
335 uncertified(pk_1_y)]),
336 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
337 uncertified(pk(n2y))]),
338 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
339 uncertified(pk(n3y))]),
340 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
341 uncertified(pk_4_y)]),
342 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
343 uncertified(pk_5_y)]),
344 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
345 uncertified(pk_6_y)]),
346 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
347 moveable(truck_1_y),
348 available(truck_1_y)]),
349 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
350 moveable(truck_11_y),
351 available(truck_11_y)]),
352 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
353 moveable(truck(n2y)),
354 available(truck(n2y))]),
355 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
356 moveable(truck_22_y),
357 available(truck_22_y)]),
358 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
359 moveable(truck(n3y)),
360 available(truck(n3y))]),
361 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
362 moveable(truck_33_y),
363 available(truck_33_y)]),
364 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
365 unattached(traincar1_y),
366 moveable(traincar1_y),available(traincar1_y)]),
367 ss(train,train2_y, [at(train2_y,city2_ts1_y),
368 unattached(train2_y),
369 moveable(train2_y),available(train2_y)]),
370 ss(train,train1_y, [at(train1_y,city1_ts1_y),
371 unattached(train1_y),
372 moveable(train1_y),available(train1_y)]),
373
374 ss(package,pk_1_z, [at(pk_1_z,ap3),
375 uncertified(pk_1_z)]),
376 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
377 uncertified(pk(n2z))]),
378 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
379 uncertified(pk(n3z))]),
380 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
381 uncertified(pk_4_z)]),
382 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
383 uncertified(pk_5_z)]),
384 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
385 uncertified(pk_6_z)]),
386 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
387 moveable(truck_1_z),
388 available(truck_1_z)]),
389 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
390 moveable(truck_11_z),
391 available(truck_11_z)]),
392 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
393 moveable(truck(n2z)),
394 available(truck(n2z))]),
395 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
396 moveable(truck_22_z),
397 available(truck_22_z)]),
398 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
399 moveable(truck(n3z)),
400 available(truck(n3z))]),
401 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
402 moveable(truck_33_z),
403 available(truck_33_z)]),
404 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
405 unattached(traincar1_z),
406 moveable(traincar1_z),available(traincar1_z)]),
407 ss(train,train2_z, [at(train2_z,city2_ts1_z),
408 unattached(train2_z),
409 moveable(train2_z),available(train2_z)]),
410 ss(train,train1_z, [at(train1_z,city1_ts1_z),
411 unattached(train1_z),
412 moveable(train1_z),available(train1_z)])
413 ]).
414htn_task(3,goal([ transport(pk(n2x),city3_cl1_x,city2_cl1), 415 transport(pk_6_y,city1_ts1_y,city1_cl1_x)], 416 [before(hp1,hp2)],
417 [ ]),
418 [
419 ss(package,pk_1, [at(pk_1,city3_cl1),
420 uncertified(pk_1)]),
421 ss(package,pk_2, [at(pk_2,city3_cl1),
422 uncertified(pk_2)]),
423 ss(package,pk_3, [at(pk_3,city3_cl1),
424 uncertified(pk_3)]),
425 ss(package,pk_4, [at(pk_4,city1_cl1),
426 uncertified(pk_4)]),
427 ss(package,pk_5, [at(pk_5,city3_cl1),
428 uncertified(pk_5)]),
429 ss(package,pk_6, [at(pk_6,city1_ts1),
430 uncertified(pk_6)]),
431 ss(truck,truck_1, [at(truck_1,city1_cl1),
432 moveable(truck_1),
433 available(truck_1)]),
434 ss(truck,truck_11, [at(truck_11,city1_cl1),
435 moveable(truck_11),
436 available(truck_11)]),
437 ss(truck,truck_2, [at(truck_2,city2_cl1),
438 moveable(truck_2),
439 available(truck_2)]),
440 ss(truck,truck_22, [at(truck_22,city2_cl1),
441 moveable(truck_22),
442 available(truck_22)]),
443 ss(truck,truck_3, [at(truck_3,city3_cl1),
444 moveable(truck_3),
445 available(truck_3)]),
446 ss(truck,truck_33, [at(truck_33,city3_cl1),
447 moveable(truck_33),
448 available(truck_33)]),
449 ss(traincar,traincar1, [at(traincar1,city2_ts1),
450 unattached(traincar1),
451 moveable(traincar1),available(traincar1)]),
452 ss(train,train2, [at(train2,city2_ts1),
453 unattached(train2),
454 moveable(train2),available(train2)]),
455 ss(train,train1, [at(train1,city1_ts1),
456 unattached(train1),
457 moveable(train1),available(train1)]),
458
459 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
460 available(ac1)]),
461 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
462 available(ac2)]),
463 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
464 available(ac3)]),
465 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
466 available(ac4)]),
467 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
468 available(ac5)]),
469 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
470 available(ac6)]),
471 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
472 available(ac7)]),
473 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
474 available(ac8)]),
475 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
476 available(ac9)]),
477 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
478 available(ac10)]),
479 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
480 available(ac11)]),
481 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
482 available(ac12)]),
483 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
484 available(ac13)]),
485 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
486 available(ac14)]),
487 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
488 available(ac15)]),
489 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
490 available(ac16)]),
491
492 ss(package,pk_1_x, [at(pk_1_x,ap2),
493 uncertified(pk_1_x)]),
494 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
495 uncertified(pk(n2x))]),
496 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
497 uncertified(pk(n3x))]),
498 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
499 uncertified(pk_4_x)]),
500 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
501 uncertified(pk_5_x)]),
502 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
503 uncertified(pk_6_x)]),
504 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
505 moveable(truck_1_x),
506 available(truck_1_x)]),
507 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
508 moveable(truck_11_x),
509 available(truck_11_x)]),
510 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
511 moveable(truck(n2x)),
512 available(truck(n2x))]),
513 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
514 moveable(truck_22_x),
515 available(truck_22_x)]),
516 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
517 moveable(truck(n3x)),
518 available(truck(n3x))]),
519 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
520 moveable(truck_33_x),
521 available(truck_33_x)]),
522 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
523 unattached(traincar1_x),
524 moveable(traincar1_x),available(traincar1_x)]),
525 ss(train,train2_x, [at(train2_x,city2_ts1_x),
526 unattached(train2_x),
527 moveable(train2_x),available(train2_x)]),
528 ss(train,train1_x, [at(train1_x,city1_ts1_x),
529 unattached(train1_x),
530 moveable(train1_x),available(train1_x)]),
531
532
533 ss(package,pk_1_y, [at(pk_1_y,ap3),
534 uncertified(pk_1_y)]),
535 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
536 uncertified(pk(n2y))]),
537 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
538 uncertified(pk(n3y))]),
539 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
540 uncertified(pk_4_y)]),
541 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
542 uncertified(pk_5_y)]),
543 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
544 uncertified(pk_6_y)]),
545 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
546 moveable(truck_1_y),
547 available(truck_1_y)]),
548 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
549 moveable(truck_11_y),
550 available(truck_11_y)]),
551 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
552 moveable(truck(n2y)),
553 available(truck(n2y))]),
554 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
555 moveable(truck_22_y),
556 available(truck_22_y)]),
557 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
558 moveable(truck(n3y)),
559 available(truck(n3y))]),
560 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
561 moveable(truck_33_y),
562 available(truck_33_y)]),
563 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
564 unattached(traincar1_y),
565 moveable(traincar1_y),available(traincar1_y)]),
566 ss(train,train2_y, [at(train2_y,city2_ts1_y),
567 unattached(train2_y),
568 moveable(train2_y),available(train2_y)]),
569 ss(train,train1_y, [at(train1_y,city1_ts1_y),
570 unattached(train1_y),
571 moveable(train1_y),available(train1_y)]),
572
573 ss(package,pk_1_z, [at(pk_1_z,ap3),
574 uncertified(pk_1_z)]),
575 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
576 uncertified(pk(n2z))]),
577 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
578 uncertified(pk(n3z))]),
579 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
580 uncertified(pk_4_z)]),
581 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
582 uncertified(pk_5_z)]),
583 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
584 uncertified(pk_6_z)]),
585 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
586 moveable(truck_1_z),
587 available(truck_1_z)]),
588 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
589 moveable(truck_11_z),
590 available(truck_11_z)]),
591 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
592 moveable(truck(n2z)),
593 available(truck(n2z))]),
594 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
595 moveable(truck_22_z),
596 available(truck_22_z)]),
597 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
598 moveable(truck(n3z)),
599 available(truck(n3z))]),
600 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
601 moveable(truck_33_z),
602 available(truck_33_z)]),
603 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
604 unattached(traincar1_z),
605 moveable(traincar1_z),available(traincar1_z)]),
606 ss(train,train2_z, [at(train2_z,city2_ts1_z),
607 unattached(train2_z),
608 moveable(train2_z),available(train2_z)]),
609 ss(train,train1_z, [at(train1_z,city1_ts1_z),
610 unattached(train1_z),
611 moveable(train1_z),available(train1_z)])
612 ]).
613
614htn_task(4,goal([ transport(pk(n3z),city(n3cl1z),city1_cl1_x),
615 transport(pk_2,city3_cl1,CL) ],
616 [],
617 [in_region(CL,west)]),
618 [
619 ss(package,pk_1, [at(pk_1,city3_cl1),
620 uncertified(pk_1)]),
621 ss(package,pk_2, [at(pk_2,city3_cl1),
622 uncertified(pk_2)]),
623 ss(package,pk_3, [at(pk_3,city3_cl1),
624 uncertified(pk_3)]),
625 ss(package,pk_4, [at(pk_4,city1_cl1),
626 uncertified(pk_4)]),
627 ss(package,pk_5, [at(pk_5,city3_cl1),
628 uncertified(pk_5)]),
629 ss(package,pk_6, [at(pk_6,city1_ts1),
630 uncertified(pk_6)]),
631 ss(truck,truck_1, [at(truck_1,city1_cl1),
632 moveable(truck_1),
633 available(truck_1)]),
634 ss(truck,truck_11, [at(truck_11,city1_cl1),
635 moveable(truck_11),
636 available(truck_11)]),
637 ss(truck,truck_2, [at(truck_2,city2_cl1),
638 moveable(truck_2),
639 available(truck_2)]),
640 ss(truck,truck_22, [at(truck_22,city2_cl1),
641 moveable(truck_22),
642 available(truck_22)]),
643 ss(truck,truck_3, [at(truck_3,city3_cl1),
644 moveable(truck_3),
645 available(truck_3)]),
646 ss(truck,truck_33, [at(truck_33,city3_cl1),
647 moveable(truck_33),
648 available(truck_33)]),
649 ss(traincar,traincar1, [at(traincar1,city2_ts1),
650 unattached(traincar1),
651 moveable(traincar1),available(traincar1)]),
652 ss(train,train2, [at(train2,city2_ts1),
653 unattached(train2),
654 moveable(train2),available(train2)]),
655 ss(train,train1, [at(train1,city1_ts1),
656 unattached(train1),
657 moveable(train1),available(train1)]),
658
659 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
660 available(ac1)]),
661 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
662 available(ac2)]),
663 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
664 available(ac3)]),
665 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
666 available(ac4)]),
667 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
668 available(ac5)]),
669 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
670 available(ac6)]),
671 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
672 available(ac7)]),
673 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
674 available(ac8)]),
675 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
676 available(ac9)]),
677 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
678 available(ac10)]),
679 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
680 available(ac11)]),
681 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
682 available(ac12)]),
683 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
684 available(ac13)]),
685 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
686 available(ac14)]),
687 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
688 available(ac15)]),
689 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
690 available(ac16)]),
691
692 ss(package,pk_1_x, [at(pk_1_x,ap2),
693 uncertified(pk_1_x)]),
694 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
695 uncertified(pk(n2x))]),
696 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
697 uncertified(pk(n3x))]),
698 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
699 uncertified(pk_4_x)]),
700 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
701 uncertified(pk_5_x)]),
702 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
703 uncertified(pk_6_x)]),
704 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
705 moveable(truck_1_x),
706 available(truck_1_x)]),
707 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
708 moveable(truck_11_x),
709 available(truck_11_x)]),
710 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
711 moveable(truck(n2x)),
712 available(truck(n2x))]),
713 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
714 moveable(truck_22_x),
715 available(truck_22_x)]),
716 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
717 moveable(truck(n3x)),
718 available(truck(n3x))]),
719 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
720 moveable(truck_33_x),
721 available(truck_33_x)]),
722 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
723 unattached(traincar1_x),
724 moveable(traincar1_x),available(traincar1_x)]),
725 ss(train,train2_x, [at(train2_x,city2_ts1_x),
726 unattached(train2_x),
727 moveable(train2_x),available(train2_x)]),
728 ss(train,train1_x, [at(train1_x,city1_ts1_x),
729 unattached(train1_x),
730 moveable(train1_x),available(train1_x)]),
731
732
733 ss(package,pk_1_y, [at(pk_1_y,ap3),
734 uncertified(pk_1_y)]),
735 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
736 uncertified(pk(n2y))]),
737 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
738 uncertified(pk(n3y))]),
739 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
740 uncertified(pk_4_y)]),
741 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
742 uncertified(pk_5_y)]),
743 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
744 uncertified(pk_6_y)]),
745 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
746 moveable(truck_1_y),
747 available(truck_1_y)]),
748 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
749 moveable(truck_11_y),
750 available(truck_11_y)]),
751 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
752 moveable(truck(n2y)),
753 available(truck(n2y))]),
754 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
755 moveable(truck_22_y),
756 available(truck_22_y)]),
757 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
758 moveable(truck(n3y)),
759 available(truck(n3y))]),
760 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
761 moveable(truck_33_y),
762 available(truck_33_y)]),
763 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
764 unattached(traincar1_y),
765 moveable(traincar1_y),available(traincar1_y)]),
766 ss(train,train2_y, [at(train2_y,city2_ts1_y),
767 unattached(train2_y),
768 moveable(train2_y),available(train2_y)]),
769 ss(train,train1_y, [at(train1_y,city1_ts1_y),
770 unattached(train1_y),
771 moveable(train1_y),available(train1_y)]),
772
773 ss(package,pk_1_z, [at(pk_1_z,ap3),
774 uncertified(pk_1_z)]),
775 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
776 uncertified(pk(n2z))]),
777 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
778 uncertified(pk(n3z))]),
779 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
780 uncertified(pk_4_z)]),
781 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
782 uncertified(pk_5_z)]),
783 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
784 uncertified(pk_6_z)]),
785 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
786 moveable(truck_1_z),
787 available(truck_1_z)]),
788 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
789 moveable(truck_11_z),
790 available(truck_11_z)]),
791 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
792 moveable(truck(n2z)),
793 available(truck(n2z))]),
794 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
795 moveable(truck_22_z),
796 available(truck_22_z)]),
797 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
798 moveable(truck(n3z)),
799 available(truck(n3z))]),
800 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
801 moveable(truck_33_z),
802 available(truck_33_z)]),
803 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
804 unattached(traincar1_z),
805 moveable(traincar1_z),available(traincar1_z)]),
806 ss(train,train2_z, [at(train2_z,city2_ts1_z),
807 unattached(train2_z),
808 moveable(train2_z),available(train2_z)]),
809 ss(train,train1_z, [at(train1_z,city1_ts1_z),
810 unattached(train1_z),
811 moveable(train1_z),available(train1_z)])
812 ]).
813
815htn_task(5,goal([ transport(pk_6_y,city1_ts1_y,city2_cl1),
816 transport(pk(n2y),city3_cl1_y,city3_cl1) ],
817 [before(hp1,hp2)],
818 []),
819 [
820 ss(package,pk_1, [at(pk_1,city3_cl1),
821 uncertified(pk_1)]),
822 ss(package,pk_2, [at(pk_2,city3_cl1),
823 uncertified(pk_2)]),
824 ss(package,pk_3, [at(pk_3,city3_cl1),
825 uncertified(pk_3)]),
826 ss(package,pk_4, [at(pk_4,city1_cl1),
827 uncertified(pk_4)]),
828 ss(package,pk_5, [at(pk_5,city3_cl1),
829 uncertified(pk_5)]),
830 ss(package,pk_6, [at(pk_6,city1_ts1),
831 uncertified(pk_6)]),
832 ss(truck,truck_1, [at(truck_1,city1_cl1),
833 moveable(truck_1),
834 available(truck_1)]),
835 ss(truck,truck_11, [at(truck_11,city1_cl1),
836 moveable(truck_11),
837 available(truck_11)]),
838 ss(truck,truck_2, [at(truck_2,city2_cl1),
839 moveable(truck_2),
840 available(truck_2)]),
841 ss(truck,truck_22, [at(truck_22,city2_cl1),
842 moveable(truck_22),
843 available(truck_22)]),
844 ss(truck,truck_3, [at(truck_3,city3_cl1),
845 moveable(truck_3),
846 available(truck_3)]),
847 ss(truck,truck_33, [at(truck_33,city3_cl1),
848 moveable(truck_33),
849 available(truck_33)]),
850 ss(traincar,traincar1, [at(traincar1,city2_ts1),
851 unattached(traincar1),
852 moveable(traincar1),available(traincar1)]),
853 ss(train,train2, [at(train2,city2_ts1),
854 unattached(train2),
855 moveable(train2),available(train2)]),
856 ss(train,train1, [at(train1,city1_ts1),
857 unattached(train1),
858 moveable(train1),available(train1)]),
859
860 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
861 available(ac1)]),
862 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
863 available(ac2)]),
864 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
865 available(ac3)]),
866 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
867 available(ac4)]),
868 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
869 available(ac5)]),
870 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
871 available(ac6)]),
872 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
873 available(ac7)]),
874 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
875 available(ac8)]),
876 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
877 available(ac9)]),
878 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
879 available(ac10)]),
880 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
881 available(ac11)]),
882 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
883 available(ac12)]),
884 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
885 available(ac13)]),
886 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
887 available(ac14)]),
888 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
889 available(ac15)]),
890 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
891 available(ac16)]),
892
893 ss(package,pk_1_x, [at(pk_1_x,ap2),
894 uncertified(pk_1_x)]),
895 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
896 uncertified(pk(n2x))]),
897 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
898 uncertified(pk(n3x))]),
899 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
900 uncertified(pk_4_x)]),
901 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
902 uncertified(pk_5_x)]),
903 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
904 uncertified(pk_6_x)]),
905 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
906 moveable(truck_1_x),
907 available(truck_1_x)]),
908 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
909 moveable(truck_11_x),
910 available(truck_11_x)]),
911 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
912 moveable(truck(n2x)),
913 available(truck(n2x))]),
914 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
915 moveable(truck_22_x),
916 available(truck_22_x)]),
917 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
918 moveable(truck(n3x)),
919 available(truck(n3x))]),
920 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
921 moveable(truck_33_x),
922 available(truck_33_x)]),
923 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
924 unattached(traincar1_x),
925 moveable(traincar1_x),available(traincar1_x)]),
926 ss(train,train2_x, [at(train2_x,city2_ts1_x),
927 unattached(train2_x),
928 moveable(train2_x),available(train2_x)]),
929 ss(train,train1_x, [at(train1_x,city1_ts1_x),
930 unattached(train1_x),
931 moveable(train1_x),available(train1_x)]),
932
933
934 ss(package,pk_1_y, [at(pk_1_y,ap3),
935 uncertified(pk_1_y)]),
936 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
937 uncertified(pk(n2y))]),
938 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
939 uncertified(pk(n3y))]),
940 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
941 uncertified(pk_4_y)]),
942 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
943 uncertified(pk_5_y)]),
944 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
945 uncertified(pk_6_y)]),
946 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
947 moveable(truck_1_y),
948 available(truck_1_y)]),
949 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
950 moveable(truck_11_y),
951 available(truck_11_y)]),
952 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
953 moveable(truck(n2y)),
954 available(truck(n2y))]),
955 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
956 moveable(truck_22_y),
957 available(truck_22_y)]),
958 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
959 moveable(truck(n3y)),
960 available(truck(n3y))]),
961 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
962 moveable(truck_33_y),
963 available(truck_33_y)]),
964 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
965 unattached(traincar1_y),
966 moveable(traincar1_y),available(traincar1_y)]),
967 ss(train,train2_y, [at(train2_y,city2_ts1_y),
968 unattached(train2_y),
969 moveable(train2_y),available(train2_y)]),
970 ss(train,train1_y, [at(train1_y,city1_ts1_y),
971 unattached(train1_y),
972 moveable(train1_y),available(train1_y)]),
973
974 ss(package,pk_1_z, [at(pk_1_z,ap3),
975 uncertified(pk_1_z)]),
976 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
977 uncertified(pk(n2z))]),
978 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
979 uncertified(pk(n3z))]),
980 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
981 uncertified(pk_4_z)]),
982 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
983 uncertified(pk_5_z)]),
984 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
985 uncertified(pk_6_z)]),
986 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
987 moveable(truck_1_z),
988 available(truck_1_z)]),
989 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
990 moveable(truck_11_z),
991 available(truck_11_z)]),
992 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
993 moveable(truck(n2z)),
994 available(truck(n2z))]),
995 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
996 moveable(truck_22_z),
997 available(truck_22_z)]),
998 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
999 moveable(truck(n3z)),
1000 available(truck(n3z))]),
1001 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
1002 moveable(truck_33_z),
1003 available(truck_33_z)]),
1004 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
1005 unattached(traincar1_z),
1006 moveable(traincar1_z),available(traincar1_z)]),
1007 ss(train,train2_z, [at(train2_z,city2_ts1_z),
1008 unattached(train2_z),
1009 moveable(train2_z),available(train2_z)]),
1010 ss(train,train1_z, [at(train1_z,city1_ts1_z),
1011 unattached(train1_z),
1012 moveable(train1_z),available(train1_z)])
1013 ]).
1014
1015htn_task(6,goal([ transport(pk_1,city3_cl1,X),
1016 transport(pk_2,city3_cl1,Y) ],
1017 [before(hp1,hp2)],
1018 [in_city(X,CT1),in_city(Y,CT2),ne(CT1,CT2),ne(CT1,city3),ne(CT2,city3)]),
1019 [
1020 ss(package,pk_1, [at(pk_1,city3_cl1),
1021 uncertified(pk_1)]),
1022 ss(package,pk_2, [at(pk_2,city3_cl1),
1023 uncertified(pk_2)]),
1024 ss(package,pk_3, [at(pk_3,city3_cl1),
1025 uncertified(pk_3)]),
1026 ss(package,pk_4, [at(pk_4,city1_cl1),
1027 uncertified(pk_4)]),
1028 ss(package,pk_5, [at(pk_5,city3_cl1),
1029 uncertified(pk_5)]),
1030 ss(package,pk_6, [at(pk_6,city1_ts1),
1031 uncertified(pk_6)]),
1032 ss(truck,truck_1, [at(truck_1,city1_cl1),
1033 moveable(truck_1),
1034 available(truck_1)]),
1035 ss(truck,truck_11, [at(truck_11,city1_cl1),
1036 moveable(truck_11),
1037 available(truck_11)]),
1038 ss(truck,truck_2, [at(truck_2,city2_cl1),
1039 moveable(truck_2),
1040 available(truck_2)]),
1041 ss(truck,truck_22, [at(truck_22,city2_cl1),
1042 moveable(truck_22),
1043 available(truck_22)]),
1044 ss(truck,truck_3, [at(truck_3,city3_cl1),
1045 moveable(truck_3),
1046 available(truck_3)]),
1047 ss(truck,truck_33, [at(truck_33,city3_cl1),
1048 moveable(truck_33),
1049 available(truck_33)]),
1050 ss(traincar,traincar1, [at(traincar1,city2_ts1),
1051 unattached(traincar1),
1052 moveable(traincar1),available(traincar1)]),
1053 ss(train,train2, [at(train2,city2_ts1),
1054 unattached(train2),
1055 moveable(train2),available(train2)]),
1056 ss(train,train1, [at(train1,city1_ts1),
1057 unattached(train1),
1058 moveable(train1),available(train1)]),
1059
1060 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
1061 available(ac1)]),
1062 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
1063 available(ac2)]),
1064 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
1065 available(ac3)]),
1066 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
1067 available(ac4)]),
1068 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
1069 available(ac5)]),
1070 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
1071 available(ac6)]),
1072 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
1073 available(ac7)]),
1074 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
1075 available(ac8)]),
1076 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
1077 available(ac9)]),
1078 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
1079 available(ac10)]),
1080 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
1081 available(ac11)]),
1082 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
1083 available(ac12)]),
1084 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
1085 available(ac13)]),
1086 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
1087 available(ac14)]),
1088 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
1089 available(ac15)]),
1090 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
1091 available(ac16)]),
1092
1093 ss(package,pk_1_x, [at(pk_1_x,ap2),
1094 uncertified(pk_1_x)]),
1095 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
1096 uncertified(pk(n2x))]),
1097 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
1098 uncertified(pk(n3x))]),
1099 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
1100 uncertified(pk_4_x)]),
1101 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
1102 uncertified(pk_5_x)]),
1103 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
1104 uncertified(pk_6_x)]),
1105 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
1106 moveable(truck_1_x),
1107 available(truck_1_x)]),
1108 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
1109 moveable(truck_11_x),
1110 available(truck_11_x)]),
1111 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
1112 moveable(truck(n2x)),
1113 available(truck(n2x))]),
1114 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
1115 moveable(truck_22_x),
1116 available(truck_22_x)]),
1117 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
1118 moveable(truck(n3x)),
1119 available(truck(n3x))]),
1120 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
1121 moveable(truck_33_x),
1122 available(truck_33_x)]),
1123 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
1124 unattached(traincar1_x),
1125 moveable(traincar1_x),available(traincar1_x)]),
1126 ss(train,train2_x, [at(train2_x,city2_ts1_x),
1127 unattached(train2_x),
1128 moveable(train2_x),available(train2_x)]),
1129 ss(train,train1_x, [at(train1_x,city1_ts1_x),
1130 unattached(train1_x),
1131 moveable(train1_x),available(train1_x)]),
1132
1133
1134 ss(package,pk_1_y, [at(pk_1_y,ap3),
1135 uncertified(pk_1_y)]),
1136 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
1137 uncertified(pk(n2y))]),
1138 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
1139 uncertified(pk(n3y))]),
1140 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
1141 uncertified(pk_4_y)]),
1142 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
1143 uncertified(pk_5_y)]),
1144 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
1145 uncertified(pk_6_y)]),
1146 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
1147 moveable(truck_1_y),
1148 available(truck_1_y)]),
1149 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
1150 moveable(truck_11_y),
1151 available(truck_11_y)]),
1152 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
1153 moveable(truck(n2y)),
1154 available(truck(n2y))]),
1155 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
1156 moveable(truck_22_y),
1157 available(truck_22_y)]),
1158 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
1159 moveable(truck(n3y)),
1160 available(truck(n3y))]),
1161 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
1162 moveable(truck_33_y),
1163 available(truck_33_y)]),
1164 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
1165 unattached(traincar1_y),
1166 moveable(traincar1_y),available(traincar1_y)]),
1167 ss(train,train2_y, [at(train2_y,city2_ts1_y),
1168 unattached(train2_y),
1169 moveable(train2_y),available(train2_y)]),
1170 ss(train,train1_y, [at(train1_y,city1_ts1_y),
1171 unattached(train1_y),
1172 moveable(train1_y),available(train1_y)]),
1173
1174 ss(package,pk_1_z, [at(pk_1_z,ap3),
1175 uncertified(pk_1_z)]),
1176 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
1177 uncertified(pk(n2z))]),
1178 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
1179 uncertified(pk(n3z))]),
1180 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
1181 uncertified(pk_4_z)]),
1182 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
1183 uncertified(pk_5_z)]),
1184 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
1185 uncertified(pk_6_z)]),
1186 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
1187 moveable(truck_1_z),
1188 available(truck_1_z)]),
1189 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
1190 moveable(truck_11_z),
1191 available(truck_11_z)]),
1192 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
1193 moveable(truck(n2z)),
1194 available(truck(n2z))]),
1195 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
1196 moveable(truck_22_z),
1197 available(truck_22_z)]),
1198 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
1199 moveable(truck(n3z)),
1200 available(truck(n3z))]),
1201 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
1202 moveable(truck_33_z),
1203 available(truck_33_z)]),
1204 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
1205 unattached(traincar1_z),
1206 moveable(traincar1_z),available(traincar1_z)]),
1207 ss(train,train2_z, [at(train2_z,city2_ts1_z),
1208 unattached(train2_z),
1209 moveable(train2_z),available(train2_z)]),
1210 ss(train,train1_z, [at(train1_z,city1_ts1_z),
1211 unattached(train1_z),
1212 moveable(train1_z),available(train1_z)])
1213 ]).
1214
1215
1216htn_task(7,goal([ achieve(
1217 ss(traincar,traincar1,[at(traincar1,city1_ts1)])
1218 ),
1219 transport(pk_6_x,city1_ts1_x,C) ],[],[ne(C,city2_ts1_x)]),
1220 [
1221 ss(package,pk_1, [at(pk_1,city3_cl1),
1222 uncertified(pk_1)]),
1223 ss(package,pk_2, [at(pk_2,city3_cl1),
1224 uncertified(pk_2)]),
1225 ss(package,pk_3, [at(pk_3,city3_cl1),
1226 uncertified(pk_3)]),
1227 ss(package,pk_4, [at(pk_4,city1_cl1),
1228 uncertified(pk_4)]),
1229 ss(package,pk_5, [at(pk_5,city3_cl1),
1230 uncertified(pk_5)]),
1231 ss(package,pk_6, [at(pk_6,city1_ts1),
1232 uncertified(pk_6)]),
1233 ss(truck,truck_1, [at(truck_1,city1_cl1),
1234 moveable(truck_1),
1235 available(truck_1)]),
1236 ss(truck,truck_11, [at(truck_11,city1_cl1),
1237 moveable(truck_11),
1238 available(truck_11)]),
1239 ss(truck,truck_2, [at(truck_2,city2_cl1),
1240 moveable(truck_2),
1241 available(truck_2)]),
1242 ss(truck,truck_22, [at(truck_22,city2_cl1),
1243 moveable(truck_22),
1244 available(truck_22)]),
1245 ss(truck,truck_3, [at(truck_3,city3_cl1),
1246 moveable(truck_3),
1247 available(truck_3)]),
1248 ss(truck,truck_33, [at(truck_33,city3_cl1),
1249 moveable(truck_33),
1250 available(truck_33)]),
1251 ss(traincar,traincar1, [at(traincar1,city2_ts1),
1252 unattached(traincar1),
1253 moveable(traincar1),available(traincar1)]),
1254 ss(train,train2, [at(train2,city2_ts1),
1255 unattached(train2),
1256 moveable(train2),available(train2)]),
1257 ss(train,train1, [at(train1,city1_ts1),
1258 unattached(train1),
1259 moveable(train1),available(train1)]),
1260
1261 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
1262 available(ac1)]),
1263 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
1264 available(ac2)]),
1265 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
1266 available(ac3)]),
1267 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
1268 available(ac4)]),
1269 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
1270 available(ac5)]),
1271 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
1272 available(ac6)]),
1273 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
1274 available(ac7)]),
1275 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
1276 available(ac8)]),
1277 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
1278 available(ac9)]),
1279 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
1280 available(ac10)]),
1281 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
1282 available(ac11)]),
1283 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
1284 available(ac12)]),
1285 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
1286 available(ac13)]),
1287 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
1288 available(ac14)]),
1289 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
1290 available(ac15)]),
1291 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
1292 available(ac16)]),
1293
1294 ss(package,pk_1_x, [at(pk_1_x,ap2),
1295 uncertified(pk_1_x)]),
1296 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
1297 uncertified(pk(n2x))]),
1298 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
1299 uncertified(pk(n3x))]),
1300 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
1301 uncertified(pk_4_x)]),
1302 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
1303 uncertified(pk_5_x)]),
1304 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
1305 uncertified(pk_6_x)]),
1306 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
1307 moveable(truck_1_x),
1308 available(truck_1_x)]),
1309 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
1310 moveable(truck_11_x),
1311 available(truck_11_x)]),
1312 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
1313 moveable(truck(n2x)),
1314 available(truck(n2x))]),
1315 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
1316 moveable(truck_22_x),
1317 available(truck_22_x)]),
1318 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
1319 moveable(truck(n3x)),
1320 available(truck(n3x))]),
1321 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
1322 moveable(truck_33_x),
1323 available(truck_33_x)]),
1324 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
1325 unattached(traincar1_x),
1326 moveable(traincar1_x),available(traincar1_x)]),
1327 ss(train,train2_x, [at(train2_x,city2_ts1_x),
1328 unattached(train2_x),
1329 moveable(train2_x),available(train2_x)]),
1330 ss(train,train1_x, [at(train1_x,city1_ts1_x),
1331 unattached(train1_x),
1332 moveable(train1_x),available(train1_x)]),
1333
1334
1335 ss(package,pk_1_y, [at(pk_1_y,ap3),
1336 uncertified(pk_1_y)]),
1337 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
1338 uncertified(pk(n2y))]),
1339 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
1340 uncertified(pk(n3y))]),
1341 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
1342 uncertified(pk_4_y)]),
1343 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
1344 uncertified(pk_5_y)]),
1345 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
1346 uncertified(pk_6_y)]),
1347 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
1348 moveable(truck_1_y),
1349 available(truck_1_y)]),
1350 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
1351 moveable(truck_11_y),
1352 available(truck_11_y)]),
1353 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
1354 moveable(truck(n2y)),
1355 available(truck(n2y))]),
1356 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
1357 moveable(truck_22_y),
1358 available(truck_22_y)]),
1359 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
1360 moveable(truck(n3y)),
1361 available(truck(n3y))]),
1362 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
1363 moveable(truck_33_y),
1364 available(truck_33_y)]),
1365 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
1366 unattached(traincar1_y),
1367 moveable(traincar1_y),available(traincar1_y)]),
1368 ss(train,train2_y, [at(train2_y,city2_ts1_y),
1369 unattached(train2_y),
1370 moveable(train2_y),available(train2_y)]),
1371 ss(train,train1_y, [at(train1_y,city1_ts1_y),
1372 unattached(train1_y),
1373 moveable(train1_y),available(train1_y)]),
1374
1375 ss(package,pk_1_z, [at(pk_1_z,ap3),
1376 uncertified(pk_1_z)]),
1377 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
1378 uncertified(pk(n2z))]),
1379 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
1380 uncertified(pk(n3z))]),
1381 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
1382 uncertified(pk_4_z)]),
1383 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
1384 uncertified(pk_5_z)]),
1385 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
1386 uncertified(pk_6_z)]),
1387 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
1388 moveable(truck_1_z),
1389 available(truck_1_z)]),
1390 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
1391 moveable(truck_11_z),
1392 available(truck_11_z)]),
1393 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
1394 moveable(truck(n2z)),
1395 available(truck(n2z))]),
1396 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
1397 moveable(truck_22_z),
1398 available(truck_22_z)]),
1399 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
1400 moveable(truck(n3z)),
1401 available(truck(n3z))]),
1402 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
1403 moveable(truck_33_z),
1404 available(truck_33_z)]),
1405 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
1406 unattached(traincar1_z),
1407 moveable(traincar1_z),available(traincar1_z)]),
1408 ss(train,train2_z, [at(train2_z,city2_ts1_z),
1409 unattached(train2_z),
1410 moveable(train2_z),available(train2_z)]),
1411 ss(train,train1_z, [at(train1_z,city1_ts1_z),
1412 unattached(train1_z),
1413 moveable(train1_z),available(train1_z)])
1414 ]).
1415
1416htn_task(8,goal([ transport(pk_6_x,city1_ts1_x,city2_ts1_z) ],[],[]),
1417 [
1418 ss(package,pk_1, [at(pk_1,city3_cl1),
1419 uncertified(pk_1)]),
1420 ss(package,pk_2, [at(pk_2,city3_cl1),
1421 uncertified(pk_2)]),
1422 ss(package,pk_3, [at(pk_3,city3_cl1),
1423 uncertified(pk_3)]),
1424 ss(package,pk_4, [at(pk_4,city1_cl1),
1425 uncertified(pk_4)]),
1426 ss(package,pk_5, [at(pk_5,city3_cl1),
1427 uncertified(pk_5)]),
1428 ss(package,pk_6, [at(pk_6,city1_ts1),
1429 uncertified(pk_6)]),
1430 ss(truck,truck_1, [at(truck_1,city1_cl1),
1431 moveable(truck_1),
1432 available(truck_1)]),
1433 ss(truck,truck_11, [at(truck_11,city1_cl1),
1434 moveable(truck_11),
1435 available(truck_11)]),
1436 ss(truck,truck_2, [at(truck_2,city2_cl1),
1437 moveable(truck_2),
1438 available(truck_2)]),
1439 ss(truck,truck_22, [at(truck_22,city2_cl1),
1440 moveable(truck_22),
1441 available(truck_22)]),
1442 ss(truck,truck_3, [at(truck_3,city3_cl1),
1443 moveable(truck_3),
1444 available(truck_3)]),
1445 ss(truck,truck_33, [at(truck_33,city3_cl1),
1446 moveable(truck_33),
1447 available(truck_33)]),
1448 ss(traincar,traincar1, [at(traincar1,city2_ts1),
1449 unattached(traincar1),
1450 moveable(traincar1),available(traincar1)]),
1451 ss(train,train2, [at(train2,city2_ts1),
1452 unattached(train2),
1453 moveable(train2),available(train2)]),
1454 ss(train,train1, [at(train1,city1_ts1),
1455 unattached(train1),
1456 moveable(train1),available(train1)]),
1457
1458 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
1459 available(ac1)]),
1460 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
1461 available(ac2)]),
1462 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
1463 available(ac3)]),
1464 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
1465 available(ac4)]),
1466 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
1467 available(ac5)]),
1468 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
1469 available(ac6)]),
1470 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
1471 available(ac7)]),
1472 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
1473 available(ac8)]),
1474 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
1475 available(ac9)]),
1476 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
1477 available(ac10)]),
1478 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
1479 available(ac11)]),
1480 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
1481 available(ac12)]),
1482 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
1483 available(ac13)]),
1484 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
1485 available(ac14)]),
1486 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
1487 available(ac15)]),
1488 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
1489 available(ac16)]),
1490
1491 ss(package,pk_1_x, [at(pk_1_x,ap2),
1492 uncertified(pk_1_x)]),
1493 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
1494 uncertified(pk(n2x))]),
1495 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
1496 uncertified(pk(n3x))]),
1497 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
1498 uncertified(pk_4_x)]),
1499 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
1500 uncertified(pk_5_x)]),
1501 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
1502 uncertified(pk_6_x)]),
1503 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
1504 moveable(truck_1_x),
1505 available(truck_1_x)]),
1506 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
1507 moveable(truck_11_x),
1508 available(truck_11_x)]),
1509 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
1510 moveable(truck(n2x)),
1511 available(truck(n2x))]),
1512 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
1513 moveable(truck_22_x),
1514 available(truck_22_x)]),
1515 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
1516 moveable(truck(n3x)),
1517 available(truck(n3x))]),
1518 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
1519 moveable(truck_33_x),
1520 available(truck_33_x)]),
1521 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
1522 unattached(traincar1_x),
1523 moveable(traincar1_x),available(traincar1_x)]),
1524 ss(train,train2_x, [at(train2_x,city2_ts1_x),
1525 unattached(train2_x),
1526 moveable(train2_x),available(train2_x)]),
1527 ss(train,train1_x, [at(train1_x,city1_ts1_x),
1528 unattached(train1_x),
1529 moveable(train1_x),available(train1_x)]),
1530
1531
1532 ss(package,pk_1_y, [at(pk_1_y,ap3),
1533 uncertified(pk_1_y)]),
1534 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
1535 uncertified(pk(n2y))]),
1536 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
1537 uncertified(pk(n3y))]),
1538 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
1539 uncertified(pk_4_y)]),
1540 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
1541 uncertified(pk_5_y)]),
1542 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
1543 uncertified(pk_6_y)]),
1544 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
1545 moveable(truck_1_y),
1546 available(truck_1_y)]),
1547 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
1548 moveable(truck_11_y),
1549 available(truck_11_y)]),
1550 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
1551 moveable(truck(n2y)),
1552 available(truck(n2y))]),
1553 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
1554 moveable(truck_22_y),
1555 available(truck_22_y)]),
1556 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
1557 moveable(truck(n3y)),
1558 available(truck(n3y))]),
1559 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
1560 moveable(truck_33_y),
1561 available(truck_33_y)]),
1562 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
1563 unattached(traincar1_y),
1564 moveable(traincar1_y),available(traincar1_y)]),
1565 ss(train,train2_y, [at(train2_y,city2_ts1_y),
1566 unattached(train2_y),
1567 moveable(train2_y),available(train2_y)]),
1568 ss(train,train1_y, [at(train1_y,city1_ts1_y),
1569 unattached(train1_y),
1570 moveable(train1_y),available(train1_y)]),
1571
1572 ss(package,pk_1_z, [at(pk_1_z,ap3),
1573 uncertified(pk_1_z)]),
1574 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
1575 uncertified(pk(n2z))]),
1576 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
1577 uncertified(pk(n3z))]),
1578 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
1579 uncertified(pk_4_z)]),
1580 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
1581 uncertified(pk_5_z)]),
1582 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
1583 uncertified(pk_6_z)]),
1584 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
1585 moveable(truck_1_z),
1586 available(truck_1_z)]),
1587 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
1588 moveable(truck_11_z),
1589 available(truck_11_z)]),
1590 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
1591 moveable(truck(n2z)),
1592 available(truck(n2z))]),
1593 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
1594 moveable(truck_22_z),
1595 available(truck_22_z)]),
1596 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
1597 moveable(truck(n3z)),
1598 available(truck(n3z))]),
1599 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
1600 moveable(truck_33_z),
1601 available(truck_33_z)]),
1602 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
1603 unattached(traincar1_z),
1604 moveable(traincar1_z),available(traincar1_z)]),
1605 ss(train,train2_z, [at(train2_z,city2_ts1_z),
1606 unattached(train2_z),
1607 moveable(train2_z),available(train2_z)]),
1608 ss(train,train1_z, [at(train1_z,city1_ts1_z),
1609 unattached(train1_z),
1610 moveable(train1_z),available(train1_z)])
1611 ]).
1612
1613htn_task(9,goal([ transport(pk(n2y),city3_cl1_y,city1_cl1),
1614 transport(pk_4_z,city1_cl1_z,city2_cl1_y),
1615 transport(pk_1,city3_cl1,city1_cl1)],[],[]),
1616 [
1617 ss(package,pk_1, [at(pk_1,city3_cl1),
1618 uncertified(pk_1)]),
1619 ss(package,pk_2, [at(pk_2,city3_cl1),
1620 uncertified(pk_2)]),
1621 ss(package,pk_3, [at(pk_3,city3_cl1),
1622 uncertified(pk_3)]),
1623 ss(package,pk_4, [at(pk_4,city1_cl1),
1624 uncertified(pk_4)]),
1625 ss(package,pk_5, [at(pk_5,city3_cl1),
1626 uncertified(pk_5)]),
1627 ss(package,pk_6, [at(pk_6,city1_ts1),
1628 uncertified(pk_6)]),
1629 ss(truck,truck_1, [at(truck_1,city1_cl1),
1630 moveable(truck_1),
1631 available(truck_1)]),
1632 ss(truck,truck_11, [at(truck_11,city1_cl1),
1633 moveable(truck_11),
1634 available(truck_11)]),
1635 ss(truck,truck_2, [at(truck_2,city2_cl1),
1636 moveable(truck_2),
1637 available(truck_2)]),
1638 ss(truck,truck_22, [at(truck_22,city2_cl1),
1639 moveable(truck_22),
1640 available(truck_22)]),
1641 ss(truck,truck_3, [at(truck_3,city3_cl1),
1642 moveable(truck_3),
1643 available(truck_3)]),
1644 ss(truck,truck_33, [at(truck_33,city3_cl1),
1645 moveable(truck_33),
1646 available(truck_33)]),
1647 ss(traincar,traincar1, [at(traincar1,city2_ts1),
1648 unattached(traincar1),
1649 moveable(traincar1),available(traincar1)]),
1650 ss(train,train2, [at(train2,city2_ts1),
1651 unattached(train2),
1652 moveable(train2),available(train2)]),
1653 ss(train,train1, [at(train1,city1_ts1),
1654 unattached(train1),
1655 moveable(train1),available(train1)]),
1656
1657 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
1658 available(ac1)]),
1659 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
1660 available(ac2)]),
1661 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
1662 available(ac3)]),
1663 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
1664 available(ac4)]),
1665 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
1666 available(ac5)]),
1667 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
1668 available(ac6)]),
1669 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
1670 available(ac7)]),
1671 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
1672 available(ac8)]),
1673 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
1674 available(ac9)]),
1675 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
1676 available(ac10)]),
1677 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
1678 available(ac11)]),
1679 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
1680 available(ac12)]),
1681 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
1682 available(ac13)]),
1683 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
1684 available(ac14)]),
1685 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
1686 available(ac15)]),
1687 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
1688 available(ac16)]),
1689
1690 ss(package,pk_1_x, [at(pk_1_x,ap2),
1691 uncertified(pk_1_x)]),
1692 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
1693 uncertified(pk(n2x))]),
1694 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
1695 uncertified(pk(n3x))]),
1696 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
1697 uncertified(pk_4_x)]),
1698 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
1699 uncertified(pk_5_x)]),
1700 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
1701 uncertified(pk_6_x)]),
1702 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
1703 moveable(truck_1_x),
1704 available(truck_1_x)]),
1705 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
1706 moveable(truck_11_x),
1707 available(truck_11_x)]),
1708 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
1709 moveable(truck(n2x)),
1710 available(truck(n2x))]),
1711 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
1712 moveable(truck_22_x),
1713 available(truck_22_x)]),
1714 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
1715 moveable(truck(n3x)),
1716 available(truck(n3x))]),
1717 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
1718 moveable(truck_33_x),
1719 available(truck_33_x)]),
1720 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
1721 unattached(traincar1_x),
1722 moveable(traincar1_x),available(traincar1_x)]),
1723 ss(train,train2_x, [at(train2_x,city2_ts1_x),
1724 unattached(train2_x),
1725 moveable(train2_x),available(train2_x)]),
1726 ss(train,train1_x, [at(train1_x,city1_ts1_x),
1727 unattached(train1_x),
1728 moveable(train1_x),available(train1_x)]),
1729
1730
1731 ss(package,pk_1_y, [at(pk_1_y,ap3),
1732 uncertified(pk_1_y)]),
1733 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
1734 uncertified(pk(n2y))]),
1735 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
1736 uncertified(pk(n3y))]),
1737 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
1738 uncertified(pk_4_y)]),
1739 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
1740 uncertified(pk_5_y)]),
1741 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
1742 uncertified(pk_6_y)]),
1743 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
1744 moveable(truck_1_y),
1745 available(truck_1_y)]),
1746 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
1747 moveable(truck_11_y),
1748 available(truck_11_y)]),
1749 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
1750 moveable(truck(n2y)),
1751 available(truck(n2y))]),
1752 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
1753 moveable(truck_22_y),
1754 available(truck_22_y)]),
1755 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
1756 moveable(truck(n3y)),
1757 available(truck(n3y))]),
1758 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
1759 moveable(truck_33_y),
1760 available(truck_33_y)]),
1761 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
1762 unattached(traincar1_y),
1763 moveable(traincar1_y),available(traincar1_y)]),
1764 ss(train,train2_y, [at(train2_y,city2_ts1_y),
1765 unattached(train2_y),
1766 moveable(train2_y),available(train2_y)]),
1767 ss(train,train1_y, [at(train1_y,city1_ts1_y),
1768 unattached(train1_y),
1769 moveable(train1_y),available(train1_y)]),
1770
1771 ss(package,pk_1_z, [at(pk_1_z,ap3),
1772 uncertified(pk_1_z)]),
1773 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
1774 uncertified(pk(n2z))]),
1775 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
1776 uncertified(pk(n3z))]),
1777 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
1778 uncertified(pk_4_z)]),
1779 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
1780 uncertified(pk_5_z)]),
1781 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
1782 uncertified(pk_6_z)]),
1783 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
1784 moveable(truck_1_z),
1785 available(truck_1_z)]),
1786 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
1787 moveable(truck_11_z),
1788 available(truck_11_z)]),
1789 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
1790 moveable(truck(n2z)),
1791 available(truck(n2z))]),
1792 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
1793 moveable(truck_22_z),
1794 available(truck_22_z)]),
1795 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
1796 moveable(truck(n3z)),
1797 available(truck(n3z))]),
1798 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
1799 moveable(truck_33_z),
1800 available(truck_33_z)]),
1801 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
1802 unattached(traincar1_z),
1803 moveable(traincar1_z),available(traincar1_z)]),
1804 ss(train,train2_z, [at(train2_z,city2_ts1_z),
1805 unattached(train2_z),
1806 moveable(train2_z),available(train2_z)]),
1807 ss(train,train1_z, [at(train1_z,city1_ts1_z),
1808 unattached(train1_z),
1809 moveable(train1_z),available(train1_z)])
1810 ]).
1811
1812
1813htn_task(10,goal([ achieve(ss(traincar,traincar1,[at(traincar1,city1_ts1)])),
1814 transport(pk_5_z,city(n3cl1z),city2_cl1),
1815 achieve(ss(package,pk_5,[at(pk_5,X),delivered(pk_5)] )) ],
1816 [before(hp1,hp3)],
1817 [serves(X,city3_x)]),
1818 [
1819 ss(package,pk_1, [at(pk_1,city3_cl1),
1820 uncertified(pk_1)]),
1821 ss(package,pk_2, [at(pk_2,city3_cl1),
1822 uncertified(pk_2)]),
1823 ss(package,pk_3, [at(pk_3,city3_cl1),
1824 uncertified(pk_3)]),
1825 ss(package,pk_4, [at(pk_4,city1_cl1),
1826 uncertified(pk_4)]),
1827 ss(package,pk_5, [at(pk_5,city3_cl1),
1828 uncertified(pk_5)]),
1829 ss(package,pk_6, [at(pk_6,city1_ts1),
1830 uncertified(pk_6)]),
1831 ss(truck,truck_1, [at(truck_1,city1_cl1),
1832 moveable(truck_1),
1833 available(truck_1)]),
1834 ss(truck,truck_11, [at(truck_11,city1_cl1),
1835 moveable(truck_11),
1836 available(truck_11)]),
1837 ss(truck,truck_2, [at(truck_2,city2_cl1),
1838 moveable(truck_2),
1839 available(truck_2)]),
1840 ss(truck,truck_22, [at(truck_22,city2_cl1),
1841 moveable(truck_22),
1842 available(truck_22)]),
1843 ss(truck,truck_3, [at(truck_3,city3_cl1),
1844 moveable(truck_3),
1845 available(truck_3)]),
1846 ss(truck,truck_33, [at(truck_33,city3_cl1),
1847 moveable(truck_33),
1848 available(truck_33)]),
1849 ss(traincar,traincar1, [at(traincar1,city2_ts1),
1850 unattached(traincar1),
1851 moveable(traincar1),available(traincar1)]),
1852 ss(train,train2, [at(train2,city2_ts1),
1853 unattached(train2),
1854 moveable(train2),available(train2)]),
1855 ss(train,train1, [at(train1,city1_ts1),
1856 unattached(train1),
1857 moveable(train1),available(train1)]),
1858
1859 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
1860 available(ac1)]),
1861 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
1862 available(ac2)]),
1863 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
1864 available(ac3)]),
1865 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
1866 available(ac4)]),
1867 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
1868 available(ac5)]),
1869 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
1870 available(ac6)]),
1871 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
1872 available(ac7)]),
1873 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
1874 available(ac8)]),
1875 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
1876 available(ac9)]),
1877 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
1878 available(ac10)]),
1879 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
1880 available(ac11)]),
1881 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
1882 available(ac12)]),
1883 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
1884 available(ac13)]),
1885 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
1886 available(ac14)]),
1887 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
1888 available(ac15)]),
1889 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
1890 available(ac16)]),
1891
1892 ss(package,pk_1_x, [at(pk_1_x,ap2),
1893 uncertified(pk_1_x)]),
1894 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
1895 uncertified(pk(n2x))]),
1896 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
1897 uncertified(pk(n3x))]),
1898 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
1899 uncertified(pk_4_x)]),
1900 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
1901 uncertified(pk_5_x)]),
1902 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
1903 uncertified(pk_6_x)]),
1904 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
1905 moveable(truck_1_x),
1906 available(truck_1_x)]),
1907 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
1908 moveable(truck_11_x),
1909 available(truck_11_x)]),
1910 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
1911 moveable(truck(n2x)),
1912 available(truck(n2x))]),
1913 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
1914 moveable(truck_22_x),
1915 available(truck_22_x)]),
1916 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
1917 moveable(truck(n3x)),
1918 available(truck(n3x))]),
1919 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
1920 moveable(truck_33_x),
1921 available(truck_33_x)]),
1922 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
1923 unattached(traincar1_x),
1924 moveable(traincar1_x),available(traincar1_x)]),
1925 ss(train,train2_x, [at(train2_x,city2_ts1_x),
1926 unattached(train2_x),
1927 moveable(train2_x),available(train2_x)]),
1928 ss(train,train1_x, [at(train1_x,city1_ts1_x),
1929 unattached(train1_x),
1930 moveable(train1_x),available(train1_x)]),
1931
1932
1933 ss(package,pk_1_y, [at(pk_1_y,ap3),
1934 uncertified(pk_1_y)]),
1935 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
1936 uncertified(pk(n2y))]),
1937 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
1938 uncertified(pk(n3y))]),
1939 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
1940 uncertified(pk_4_y)]),
1941 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
1942 uncertified(pk_5_y)]),
1943 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
1944 uncertified(pk_6_y)]),
1945 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
1946 moveable(truck_1_y),
1947 available(truck_1_y)]),
1948 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
1949 moveable(truck_11_y),
1950 available(truck_11_y)]),
1951 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
1952 moveable(truck(n2y)),
1953 available(truck(n2y))]),
1954 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
1955 moveable(truck_22_y),
1956 available(truck_22_y)]),
1957 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
1958 moveable(truck(n3y)),
1959 available(truck(n3y))]),
1960 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
1961 moveable(truck_33_y),
1962 available(truck_33_y)]),
1963 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
1964 unattached(traincar1_y),
1965 moveable(traincar1_y),available(traincar1_y)]),
1966 ss(train,train2_y, [at(train2_y,city2_ts1_y),
1967 unattached(train2_y),
1968 moveable(train2_y),available(train2_y)]),
1969 ss(train,train1_y, [at(train1_y,city1_ts1_y),
1970 unattached(train1_y),
1971 moveable(train1_y),available(train1_y)]),
1972
1973 ss(package,pk_1_z, [at(pk_1_z,ap3),
1974 uncertified(pk_1_z)]),
1975 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
1976 uncertified(pk(n2z))]),
1977 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
1978 uncertified(pk(n3z))]),
1979 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
1980 uncertified(pk_4_z)]),
1981 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
1982 uncertified(pk_5_z)]),
1983 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
1984 uncertified(pk_6_z)]),
1985 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
1986 moveable(truck_1_z),
1987 available(truck_1_z)]),
1988 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
1989 moveable(truck_11_z),
1990 available(truck_11_z)]),
1991 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
1992 moveable(truck(n2z)),
1993 available(truck(n2z))]),
1994 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
1995 moveable(truck_22_z),
1996 available(truck_22_z)]),
1997 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
1998 moveable(truck(n3z)),
1999 available(truck(n3z))]),
2000 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
2001 moveable(truck_33_z),
2002 available(truck_33_z)]),
2003 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
2004 unattached(traincar1_z),
2005 moveable(traincar1_z),available(traincar1_z)]),
2006 ss(train,train2_z, [at(train2_z,city2_ts1_z),
2007 unattached(train2_z),
2008 moveable(train2_z),available(train2_z)]),
2009 ss(train,train1_z, [at(train1_z,city1_ts1_z),
2010 unattached(train1_z),
2011 moveable(train1_z),available(train1_z)])
2012 ]).
2013
2014htn_task(11,goal([ transport(pk_1,city3_cl1,city1_cl1),
2015 transport(pk(n2z),city(n3cl1z),city2_cl1_y),
2016 transport(pk(n3y),city3_cl1_y,city1_cl1),
2017 transport(pk_4,city1_cl1,city3_cl1_x)],
2018 [ ],[ ]),
2019 [
2020 ss(package,pk_1, [at(pk_1,city3_cl1),
2021 uncertified(pk_1)]),
2022 ss(package,pk_2, [at(pk_2,city3_cl1),
2023 uncertified(pk_2)]),
2024 ss(package,pk_3, [at(pk_3,city3_cl1),
2025 uncertified(pk_3)]),
2026 ss(package,pk_4, [at(pk_4,city1_cl1),
2027 uncertified(pk_4)]),
2028 ss(package,pk_5, [at(pk_5,city3_cl1),
2029 uncertified(pk_5)]),
2030 ss(package,pk_6, [at(pk_6,city1_ts1),
2031 uncertified(pk_6)]),
2032 ss(truck,truck_1, [at(truck_1,city1_cl1),
2033 moveable(truck_1),
2034 available(truck_1)]),
2035 ss(truck,truck_11, [at(truck_11,city1_cl1),
2036 moveable(truck_11),
2037 available(truck_11)]),
2038 ss(truck,truck_2, [at(truck_2,city2_cl1),
2039 moveable(truck_2),
2040 available(truck_2)]),
2041 ss(truck,truck_22, [at(truck_22,city2_cl1),
2042 moveable(truck_22),
2043 available(truck_22)]),
2044 ss(truck,truck_3, [at(truck_3,city3_cl1),
2045 moveable(truck_3),
2046 available(truck_3)]),
2047 ss(truck,truck_33, [at(truck_33,city3_cl1),
2048 moveable(truck_33),
2049 available(truck_33)]),
2050 ss(traincar,traincar1, [at(traincar1,city2_ts1),
2051 unattached(traincar1),
2052 moveable(traincar1),available(traincar1)]),
2053 ss(train,train2, [at(train2,city2_ts1),
2054 unattached(train2),
2055 moveable(train2),available(train2)]),
2056 ss(train,train1, [at(train1,city1_ts1),
2057 unattached(train1),
2058 moveable(train1),available(train1)]),
2059
2060 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
2061 available(ac1)]),
2062 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
2063 available(ac2)]),
2064 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
2065 available(ac3)]),
2066 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
2067 available(ac4)]),
2068 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
2069 available(ac5)]),
2070 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
2071 available(ac6)]),
2072 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
2073 available(ac7)]),
2074 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
2075 available(ac8)]),
2076 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
2077 available(ac9)]),
2078 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
2079 available(ac10)]),
2080 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
2081 available(ac11)]),
2082 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
2083 available(ac12)]),
2084 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
2085 available(ac13)]),
2086 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
2087 available(ac14)]),
2088 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
2089 available(ac15)]),
2090 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
2091 available(ac16)]),
2092
2093 ss(package,pk_1_x, [at(pk_1_x,ap2),
2094 uncertified(pk_1_x)]),
2095 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
2096 uncertified(pk(n2x))]),
2097 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
2098 uncertified(pk(n3x))]),
2099 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
2100 uncertified(pk_4_x)]),
2101 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
2102 uncertified(pk_5_x)]),
2103 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
2104 uncertified(pk_6_x)]),
2105 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
2106 moveable(truck_1_x),
2107 available(truck_1_x)]),
2108 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
2109 moveable(truck_11_x),
2110 available(truck_11_x)]),
2111 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
2112 moveable(truck(n2x)),
2113 available(truck(n2x))]),
2114 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
2115 moveable(truck_22_x),
2116 available(truck_22_x)]),
2117 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
2118 moveable(truck(n3x)),
2119 available(truck(n3x))]),
2120 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
2121 moveable(truck_33_x),
2122 available(truck_33_x)]),
2123 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
2124 unattached(traincar1_x),
2125 moveable(traincar1_x),available(traincar1_x)]),
2126 ss(train,train2_x, [at(train2_x,city2_ts1_x),
2127 unattached(train2_x),
2128 moveable(train2_x),available(train2_x)]),
2129 ss(train,train1_x, [at(train1_x,city1_ts1_x),
2130 unattached(train1_x),
2131 moveable(train1_x),available(train1_x)]),
2132
2133
2134 ss(package,pk_1_y, [at(pk_1_y,ap3),
2135 uncertified(pk_1_y)]),
2136 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
2137 uncertified(pk(n2y))]),
2138 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
2139 uncertified(pk(n3y))]),
2140 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
2141 uncertified(pk_4_y)]),
2142 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
2143 uncertified(pk_5_y)]),
2144 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
2145 uncertified(pk_6_y)]),
2146 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
2147 moveable(truck_1_y),
2148 available(truck_1_y)]),
2149 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
2150 moveable(truck_11_y),
2151 available(truck_11_y)]),
2152 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
2153 moveable(truck(n2y)),
2154 available(truck(n2y))]),
2155 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
2156 moveable(truck_22_y),
2157 available(truck_22_y)]),
2158 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
2159 moveable(truck(n3y)),
2160 available(truck(n3y))]),
2161 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
2162 moveable(truck_33_y),
2163 available(truck_33_y)]),
2164 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
2165 unattached(traincar1_y),
2166 moveable(traincar1_y),available(traincar1_y)]),
2167 ss(train,train2_y, [at(train2_y,city2_ts1_y),
2168 unattached(train2_y),
2169 moveable(train2_y),available(train2_y)]),
2170 ss(train,train1_y, [at(train1_y,city1_ts1_y),
2171 unattached(train1_y),
2172 moveable(train1_y),available(train1_y)]),
2173
2174 ss(package,pk_1_z, [at(pk_1_z,ap3),
2175 uncertified(pk_1_z)]),
2176 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
2177 uncertified(pk(n2z))]),
2178 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
2179 uncertified(pk(n3z))]),
2180 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
2181 uncertified(pk_4_z)]),
2182 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
2183 uncertified(pk_5_z)]),
2184 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
2185 uncertified(pk_6_z)]),
2186 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
2187 moveable(truck_1_z),
2188 available(truck_1_z)]),
2189 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
2190 moveable(truck_11_z),
2191 available(truck_11_z)]),
2192 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
2193 moveable(truck(n2z)),
2194 available(truck(n2z))]),
2195 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
2196 moveable(truck_22_z),
2197 available(truck_22_z)]),
2198 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
2199 moveable(truck(n3z)),
2200 available(truck(n3z))]),
2201 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
2202 moveable(truck_33_z),
2203 available(truck_33_z)]),
2204 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
2205 unattached(traincar1_z),
2206 moveable(traincar1_z),available(traincar1_z)]),
2207 ss(train,train2_z, [at(train2_z,city2_ts1_z),
2208 unattached(train2_z),
2209 moveable(train2_z),available(train2_z)]),
2210 ss(train,train1_z, [at(train1_z,city1_ts1_z),
2211 unattached(train1_z),
2212 moveable(train1_z),available(train1_z)])
2213 ]).
2214
2215htn_task(12,goal([ transport(pk_1,city3_cl1,city1_cl1),
2216 transport(pk_2,city3_cl1,city2_cl1),
2217 transport(pk_3,city3_cl1,city1_cl1),
2218 transport(pk_4,city1_cl1,city3_cl1),
2219 transport(pk_5,city3_cl1,city1_cl1) ],
2220 [ ],[ ]),
2221 [
2222 ss(package,pk_1, [at(pk_1,city3_cl1),
2223 uncertified(pk_1)]),
2224 ss(package,pk_2, [at(pk_2,city3_cl1),
2225 uncertified(pk_2)]),
2226 ss(package,pk_3, [at(pk_3,city3_cl1),
2227 uncertified(pk_3)]),
2228 ss(package,pk_4, [at(pk_4,city1_cl1),
2229 uncertified(pk_4)]),
2230 ss(package,pk_5, [at(pk_5,city3_cl1),
2231 uncertified(pk_5)]),
2232 ss(package,pk_6, [at(pk_6,city1_ts1),
2233 uncertified(pk_6)]),
2234 ss(truck,truck_1, [at(truck_1,city1_cl1),
2235 moveable(truck_1),
2236 available(truck_1)]),
2237 ss(truck,truck_11, [at(truck_11,city1_cl1),
2238 moveable(truck_11),
2239 available(truck_11)]),
2240 ss(truck,truck_2, [at(truck_2,city2_cl1),
2241 moveable(truck_2),
2242 available(truck_2)]),
2243 ss(truck,truck_22, [at(truck_22,city2_cl1),
2244 moveable(truck_22),
2245 available(truck_22)]),
2246 ss(truck,truck_3, [at(truck_3,city3_cl1),
2247 moveable(truck_3),
2248 available(truck_3)]),
2249 ss(truck,truck_33, [at(truck_33,city3_cl1),
2250 moveable(truck_33),
2251 available(truck_33)]),
2252 ss(traincar,traincar1, [at(traincar1,city2_ts1),
2253 unattached(traincar1),
2254 moveable(traincar1),available(traincar1)]),
2255 ss(train,train2, [at(train2,city2_ts1),
2256 unattached(train2),
2257 moveable(train2),available(train2)]),
2258 ss(train,train1, [at(train1,city1_ts1),
2259 unattached(train1),
2260 moveable(train1),available(train1)]),
2261
2262 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
2263 available(ac1)]),
2264 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
2265 available(ac2)]),
2266 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
2267 available(ac3)]),
2268 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
2269 available(ac4)]),
2270 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
2271 available(ac5)]),
2272 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
2273 available(ac6)]),
2274 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
2275 available(ac7)]),
2276 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
2277 available(ac8)]),
2278 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
2279 available(ac9)]),
2280 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
2281 available(ac10)]),
2282 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
2283 available(ac11)]),
2284 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
2285 available(ac12)]),
2286 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
2287 available(ac13)]),
2288 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
2289 available(ac14)]),
2290 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
2291 available(ac15)]),
2292 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
2293 available(ac16)]),
2294
2295 ss(package,pk_1_x, [at(pk_1_x,ap2),
2296 uncertified(pk_1_x)]),
2297 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
2298 uncertified(pk(n2x))]),
2299 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
2300 uncertified(pk(n3x))]),
2301 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
2302 uncertified(pk_4_x)]),
2303 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
2304 uncertified(pk_5_x)]),
2305 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
2306 uncertified(pk_6_x)]),
2307 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
2308 moveable(truck_1_x),
2309 available(truck_1_x)]),
2310 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
2311 moveable(truck_11_x),
2312 available(truck_11_x)]),
2313 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
2314 moveable(truck(n2x)),
2315 available(truck(n2x))]),
2316 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
2317 moveable(truck_22_x),
2318 available(truck_22_x)]),
2319 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
2320 moveable(truck(n3x)),
2321 available(truck(n3x))]),
2322 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
2323 moveable(truck_33_x),
2324 available(truck_33_x)]),
2325 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
2326 unattached(traincar1_x),
2327 moveable(traincar1_x),available(traincar1_x)]),
2328 ss(train,train2_x, [at(train2_x,city2_ts1_x),
2329 unattached(train2_x),
2330 moveable(train2_x),available(train2_x)]),
2331 ss(train,train1_x, [at(train1_x,city1_ts1_x),
2332 unattached(train1_x),
2333 moveable(train1_x),available(train1_x)]),
2334
2335
2336 ss(package,pk_1_y, [at(pk_1_y,ap3),
2337 uncertified(pk_1_y)]),
2338 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
2339 uncertified(pk(n2y))]),
2340 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
2341 uncertified(pk(n3y))]),
2342 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
2343 uncertified(pk_4_y)]),
2344 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
2345 uncertified(pk_5_y)]),
2346 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
2347 uncertified(pk_6_y)]),
2348 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
2349 moveable(truck_1_y),
2350 available(truck_1_y)]),
2351 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
2352 moveable(truck_11_y),
2353 available(truck_11_y)]),
2354 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
2355 moveable(truck(n2y)),
2356 available(truck(n2y))]),
2357 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
2358 moveable(truck_22_y),
2359 available(truck_22_y)]),
2360 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
2361 moveable(truck(n3y)),
2362 available(truck(n3y))]),
2363 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
2364 moveable(truck_33_y),
2365 available(truck_33_y)]),
2366 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
2367 unattached(traincar1_y),
2368 moveable(traincar1_y),available(traincar1_y)]),
2369 ss(train,train2_y, [at(train2_y,city2_ts1_y),
2370 unattached(train2_y),
2371 moveable(train2_y),available(train2_y)]),
2372 ss(train,train1_y, [at(train1_y,city1_ts1_y),
2373 unattached(train1_y),
2374 moveable(train1_y),available(train1_y)]),
2375
2376 ss(package,pk_1_z, [at(pk_1_z,ap3),
2377 uncertified(pk_1_z)]),
2378 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
2379 uncertified(pk(n2z))]),
2380 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
2381 uncertified(pk(n3z))]),
2382 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
2383 uncertified(pk_4_z)]),
2384 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
2385 uncertified(pk_5_z)]),
2386 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
2387 uncertified(pk_6_z)]),
2388 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
2389 moveable(truck_1_z),
2390 available(truck_1_z)]),
2391 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
2392 moveable(truck_11_z),
2393 available(truck_11_z)]),
2394 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
2395 moveable(truck(n2z)),
2396 available(truck(n2z))]),
2397 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
2398 moveable(truck_22_z),
2399 available(truck_22_z)]),
2400 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
2401 moveable(truck(n3z)),
2402 available(truck(n3z))]),
2403 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
2404 moveable(truck_33_z),
2405 available(truck_33_z)]),
2406 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
2407 unattached(traincar1_z),
2408 moveable(traincar1_z),available(traincar1_z)]),
2409 ss(train,train2_z, [at(train2_z,city2_ts1_z),
2410 unattached(train2_z),
2411 moveable(train2_z),available(train2_z)]),
2412 ss(train,train1_z, [at(train1_z,city1_ts1_z),
2413 unattached(train1_z),
2414 moveable(train1_z),available(train1_z)])
2415 ]).
2416
2417htn_task(13,goal([ transport(pk(n3x),city3_cl1_x,city1_cl1_z),
2418 transport(pk(n2x),city3_cl1_x,city2_cl1),
2419 transport(pk(n3z),city(n3cl1z),city1_cl1_z),
2420 transport(pk_4,city1_cl1,city3_cl1_x),
2421 transport(pk_5_y,city3_cl1_y,city1_cl1_y) ],
2422 [before(hp1,hp2),before(hp3,hp2)],[]),
2423 [
2424 ss(package,pk_1, [at(pk_1,city3_cl1),
2425 uncertified(pk_1)]),
2426 ss(package,pk_2, [at(pk_2,city3_cl1),
2427 uncertified(pk_2)]),
2428 ss(package,pk_3, [at(pk_3,city3_cl1),
2429 uncertified(pk_3)]),
2430 ss(package,pk_4, [at(pk_4,city1_cl1),
2431 uncertified(pk_4)]),
2432 ss(package,pk_5, [at(pk_5,city3_cl1),
2433 uncertified(pk_5)]),
2434 ss(package,pk_6, [at(pk_6,city1_ts1),
2435 uncertified(pk_6)]),
2436 ss(truck,truck_1, [at(truck_1,city1_cl1),
2437 moveable(truck_1),
2438 available(truck_1)]),
2439 ss(truck,truck_11, [at(truck_11,city1_cl1),
2440 moveable(truck_11),
2441 available(truck_11)]),
2442 ss(truck,truck_2, [at(truck_2,city2_cl1),
2443 moveable(truck_2),
2444 available(truck_2)]),
2445 ss(truck,truck_22, [at(truck_22,city2_cl1),
2446 moveable(truck_22),
2447 available(truck_22)]),
2448 ss(truck,truck_3, [at(truck_3,city3_cl1),
2449 moveable(truck_3),
2450 available(truck_3)]),
2451 ss(truck,truck_33, [at(truck_33,city3_cl1),
2452 moveable(truck_33),
2453 available(truck_33)]),
2454 ss(traincar,traincar1, [at(traincar1,city2_ts1),
2455 unattached(traincar1),
2456 moveable(traincar1),available(traincar1)]),
2457 ss(train,train2, [at(train2,city2_ts1),
2458 unattached(train2),
2459 moveable(train2),available(train2)]),
2460 ss(train,train1, [at(train1,city1_ts1),
2461 unattached(train1),
2462 moveable(train1),available(train1)]),
2463
2464 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
2465 available(ac1)]),
2466 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
2467 available(ac2)]),
2468 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
2469 available(ac3)]),
2470 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
2471 available(ac4)]),
2472 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
2473 available(ac5)]),
2474 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
2475 available(ac6)]),
2476 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
2477 available(ac7)]),
2478 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
2479 available(ac8)]),
2480 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
2481 available(ac9)]),
2482 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
2483 available(ac10)]),
2484 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
2485 available(ac11)]),
2486 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
2487 available(ac12)]),
2488 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
2489 available(ac13)]),
2490 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
2491 available(ac14)]),
2492 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
2493 available(ac15)]),
2494 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
2495 available(ac16)]),
2496
2497 ss(package,pk_1_x, [at(pk_1_x,ap2),
2498 uncertified(pk_1_x)]),
2499 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
2500 uncertified(pk(n2x))]),
2501 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
2502 uncertified(pk(n3x))]),
2503 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
2504 uncertified(pk_4_x)]),
2505 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
2506 uncertified(pk_5_x)]),
2507 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
2508 uncertified(pk_6_x)]),
2509 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
2510 moveable(truck_1_x),
2511 available(truck_1_x)]),
2512 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
2513 moveable(truck_11_x),
2514 available(truck_11_x)]),
2515 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
2516 moveable(truck(n2x)),
2517 available(truck(n2x))]),
2518 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
2519 moveable(truck_22_x),
2520 available(truck_22_x)]),
2521 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
2522 moveable(truck(n3x)),
2523 available(truck(n3x))]),
2524 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
2525 moveable(truck_33_x),
2526 available(truck_33_x)]),
2527 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
2528 unattached(traincar1_x),
2529 moveable(traincar1_x),available(traincar1_x)]),
2530 ss(train,train2_x, [at(train2_x,city2_ts1_x),
2531 unattached(train2_x),
2532 moveable(train2_x),available(train2_x)]),
2533 ss(train,train1_x, [at(train1_x,city1_ts1_x),
2534 unattached(train1_x),
2535 moveable(train1_x),available(train1_x)]),
2536
2537
2538 ss(package,pk_1_y, [at(pk_1_y,ap3),
2539 uncertified(pk_1_y)]),
2540 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
2541 uncertified(pk(n2y))]),
2542 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
2543 uncertified(pk(n3y))]),
2544 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
2545 uncertified(pk_4_y)]),
2546 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
2547 uncertified(pk_5_y)]),
2548 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
2549 uncertified(pk_6_y)]),
2550 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
2551 moveable(truck_1_y),
2552 available(truck_1_y)]),
2553 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
2554 moveable(truck_11_y),
2555 available(truck_11_y)]),
2556 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
2557 moveable(truck(n2y)),
2558 available(truck(n2y))]),
2559 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
2560 moveable(truck_22_y),
2561 available(truck_22_y)]),
2562 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
2563 moveable(truck(n3y)),
2564 available(truck(n3y))]),
2565 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
2566 moveable(truck_33_y),
2567 available(truck_33_y)]),
2568 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
2569 unattached(traincar1_y),
2570 moveable(traincar1_y),available(traincar1_y)]),
2571 ss(train,train2_y, [at(train2_y,city2_ts1_y),
2572 unattached(train2_y),
2573 moveable(train2_y),available(train2_y)]),
2574 ss(train,train1_y, [at(train1_y,city1_ts1_y),
2575 unattached(train1_y),
2576 moveable(train1_y),available(train1_y)]),
2577
2578 ss(package,pk_1_z, [at(pk_1_z,ap3),
2579 uncertified(pk_1_z)]),
2580 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
2581 uncertified(pk(n2z))]),
2582 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
2583 uncertified(pk(n3z))]),
2584 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
2585 uncertified(pk_4_z)]),
2586 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
2587 uncertified(pk_5_z)]),
2588 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
2589 uncertified(pk_6_z)]),
2590 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
2591 moveable(truck_1_z),
2592 available(truck_1_z)]),
2593 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
2594 moveable(truck_11_z),
2595 available(truck_11_z)]),
2596 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
2597 moveable(truck(n2z)),
2598 available(truck(n2z))]),
2599 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
2600 moveable(truck_22_z),
2601 available(truck_22_z)]),
2602 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
2603 moveable(truck(n3z)),
2604 available(truck(n3z))]),
2605 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
2606 moveable(truck_33_z),
2607 available(truck_33_z)]),
2608 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
2609 unattached(traincar1_z),
2610 moveable(traincar1_z),available(traincar1_z)]),
2611 ss(train,train2_z, [at(train2_z,city2_ts1_z),
2612 unattached(train2_z),
2613 moveable(train2_z),available(train2_z)]),
2614 ss(train,train1_z, [at(train1_z,city1_ts1_z),
2615 unattached(train1_z),
2616 moveable(train1_z),available(train1_z)])
2617 ]).
2618
2619htn_task(14,goal([ transport(pk_1,city3_cl1,city1_cl1_x),
2620 transport(pk(n2x),city3_cl1_x,city2_cl1_z),
2621 transport(pk_3,city3_cl1,city1_cl1),
2622 achieve(ss(traincar,traincar1,[at(traincar1,city1_ts1)])),
2623 transport(pk_4,city1_cl1,city3_cl1),
2624 transport(pk_5_x,city3_cl1_x,city1_cl1_x) ],
2625 [before(hp1,hp2),before(hp3,hp2)],[]),
2626 [
2627 ss(package,pk_1, [at(pk_1,city3_cl1),
2628 uncertified(pk_1)]),
2629 ss(package,pk_2, [at(pk_2,city3_cl1),
2630 uncertified(pk_2)]),
2631 ss(package,pk_3, [at(pk_3,city3_cl1),
2632 uncertified(pk_3)]),
2633 ss(package,pk_4, [at(pk_4,city1_cl1),
2634 uncertified(pk_4)]),
2635 ss(package,pk_5, [at(pk_5,city3_cl1),
2636 uncertified(pk_5)]),
2637 ss(package,pk_6, [at(pk_6,city1_ts1),
2638 uncertified(pk_6)]),
2639 ss(truck,truck_1, [at(truck_1,city1_cl1),
2640 moveable(truck_1),
2641 available(truck_1)]),
2642 ss(truck,truck_11, [at(truck_11,city1_cl1),
2643 moveable(truck_11),
2644 available(truck_11)]),
2645 ss(truck,truck_2, [at(truck_2,city2_cl1),
2646 moveable(truck_2),
2647 available(truck_2)]),
2648 ss(truck,truck_22, [at(truck_22,city2_cl1),
2649 moveable(truck_22),
2650 available(truck_22)]),
2651 ss(truck,truck_3, [at(truck_3,city3_cl1),
2652 moveable(truck_3),
2653 available(truck_3)]),
2654 ss(truck,truck_33, [at(truck_33,city3_cl1),
2655 moveable(truck_33),
2656 available(truck_33)]),
2657 ss(traincar,traincar1, [at(traincar1,city2_ts1),
2658 unattached(traincar1),
2659 moveable(traincar1),available(traincar1)]),
2660 ss(train,train2, [at(train2,city2_ts1),
2661 unattached(train2),
2662 moveable(train2),available(train2)]),
2663 ss(train,train1, [at(train1,city1_ts1),
2664 unattached(train1),
2665 moveable(train1),available(train1)]),
2666
2667 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
2668 available(ac1)]),
2669 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
2670 available(ac2)]),
2671 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
2672 available(ac3)]),
2673 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
2674 available(ac4)]),
2675 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
2676 available(ac5)]),
2677 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
2678 available(ac6)]),
2679 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
2680 available(ac7)]),
2681 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
2682 available(ac8)]),
2683 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
2684 available(ac9)]),
2685 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
2686 available(ac10)]),
2687 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
2688 available(ac11)]),
2689 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
2690 available(ac12)]),
2691 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
2692 available(ac13)]),
2693 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
2694 available(ac14)]),
2695 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
2696 available(ac15)]),
2697 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
2698 available(ac16)]),
2699
2700 ss(package,pk_1_x, [at(pk_1_x,ap2),
2701 uncertified(pk_1_x)]),
2702 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
2703 uncertified(pk(n2x))]),
2704 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
2705 uncertified(pk(n3x))]),
2706 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
2707 uncertified(pk_4_x)]),
2708 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
2709 uncertified(pk_5_x)]),
2710 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
2711 uncertified(pk_6_x)]),
2712 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
2713 moveable(truck_1_x),
2714 available(truck_1_x)]),
2715 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
2716 moveable(truck_11_x),
2717 available(truck_11_x)]),
2718 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
2719 moveable(truck(n2x)),
2720 available(truck(n2x))]),
2721 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
2722 moveable(truck_22_x),
2723 available(truck_22_x)]),
2724 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
2725 moveable(truck(n3x)),
2726 available(truck(n3x))]),
2727 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
2728 moveable(truck_33_x),
2729 available(truck_33_x)]),
2730 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
2731 unattached(traincar1_x),
2732 moveable(traincar1_x),available(traincar1_x)]),
2733 ss(train,train2_x, [at(train2_x,city2_ts1_x),
2734 unattached(train2_x),
2735 moveable(train2_x),available(train2_x)]),
2736 ss(train,train1_x, [at(train1_x,city1_ts1_x),
2737 unattached(train1_x),
2738 moveable(train1_x),available(train1_x)]),
2739
2740
2741 ss(package,pk_1_y, [at(pk_1_y,ap3),
2742 uncertified(pk_1_y)]),
2743 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
2744 uncertified(pk(n2y))]),
2745 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
2746 uncertified(pk(n3y))]),
2747 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
2748 uncertified(pk_4_y)]),
2749 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
2750 uncertified(pk_5_y)]),
2751 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
2752 uncertified(pk_6_y)]),
2753 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
2754 moveable(truck_1_y),
2755 available(truck_1_y)]),
2756 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
2757 moveable(truck_11_y),
2758 available(truck_11_y)]),
2759 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
2760 moveable(truck(n2y)),
2761 available(truck(n2y))]),
2762 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
2763 moveable(truck_22_y),
2764 available(truck_22_y)]),
2765 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
2766 moveable(truck(n3y)),
2767 available(truck(n3y))]),
2768 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
2769 moveable(truck_33_y),
2770 available(truck_33_y)]),
2771 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
2772 unattached(traincar1_y),
2773 moveable(traincar1_y),available(traincar1_y)]),
2774 ss(train,train2_y, [at(train2_y,city2_ts1_y),
2775 unattached(train2_y),
2776 moveable(train2_y),available(train2_y)]),
2777 ss(train,train1_y, [at(train1_y,city1_ts1_y),
2778 unattached(train1_y),
2779 moveable(train1_y),available(train1_y)]),
2780
2781 ss(package,pk_1_z, [at(pk_1_z,ap3),
2782 uncertified(pk_1_z)]),
2783 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
2784 uncertified(pk(n2z))]),
2785 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
2786 uncertified(pk(n3z))]),
2787 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
2788 uncertified(pk_4_z)]),
2789 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
2790 uncertified(pk_5_z)]),
2791 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
2792 uncertified(pk_6_z)]),
2793 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
2794 moveable(truck_1_z),
2795 available(truck_1_z)]),
2796 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
2797 moveable(truck_11_z),
2798 available(truck_11_z)]),
2799 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
2800 moveable(truck(n2z)),
2801 available(truck(n2z))]),
2802 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
2803 moveable(truck_22_z),
2804 available(truck_22_z)]),
2805 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
2806 moveable(truck(n3z)),
2807 available(truck(n3z))]),
2808 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
2809 moveable(truck_33_z),
2810 available(truck_33_z)]),
2811 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
2812 unattached(traincar1_z),
2813 moveable(traincar1_z),available(traincar1_z)]),
2814 ss(train,train2_z, [at(train2_z,city2_ts1_z),
2815 unattached(train2_z),
2816 moveable(train2_z),available(train2_z)]),
2817 ss(train,train1_z, [at(train1_z,city1_ts1_z),
2818 unattached(train1_z),
2819 moveable(train1_z),available(train1_z)])
2820 ]).
2821 htn_task(15,goal([
2822 transport(pk_2,city3_cl1,city2_cl1_x),
2823 transport(pk(n3x),city3_cl1_x,city1_ts1),
2824 transport(pk_4_y,city1_cl1_y,city3_cl1_x),
2825 transport(pk_6_z,city1_ts1_z,city3_ts1_x),
2826 transport(pk_5,city3_cl1,city1_cl1) ],
2827 [before(hp1,hp2),before(hp3,hp2)],[]),
2828 [
2829 ss(package,pk_1, [at(pk_1,city3_cl1),
2830 uncertified(pk_1)]),
2831 ss(package,pk_2, [at(pk_2,city3_cl1),
2832 uncertified(pk_2)]),
2833 ss(package,pk_3, [at(pk_3,city3_cl1),
2834 uncertified(pk_3)]),
2835 ss(package,pk_4, [at(pk_4,city1_cl1),
2836 uncertified(pk_4)]),
2837 ss(package,pk_5, [at(pk_5,city3_cl1),
2838 uncertified(pk_5)]),
2839 ss(package,pk_6, [at(pk_6,city1_ts1),
2840 uncertified(pk_6)]),
2841 ss(truck,truck_1, [at(truck_1,city1_cl1),
2842 moveable(truck_1),
2843 available(truck_1)]),
2844 ss(truck,truck_11, [at(truck_11,city1_cl1),
2845 moveable(truck_11),
2846 available(truck_11)]),
2847 ss(truck,truck_2, [at(truck_2,city2_cl1),
2848 moveable(truck_2),
2849 available(truck_2)]),
2850 ss(truck,truck_22, [at(truck_22,city2_cl1),
2851 moveable(truck_22),
2852 available(truck_22)]),
2853 ss(truck,truck_3, [at(truck_3,city3_cl1),
2854 moveable(truck_3),
2855 available(truck_3)]),
2856 ss(truck,truck_33, [at(truck_33,city3_cl1),
2857 moveable(truck_33),
2858 available(truck_33)]),
2859 ss(traincar,traincar1, [at(traincar1,city2_ts1),
2860 unattached(traincar1),
2861 moveable(traincar1),available(traincar1)]),
2862 ss(train,train2, [at(train2,city2_ts1),
2863 unattached(train2),
2864 moveable(train2),available(train2)]),
2865 ss(train,train1, [at(train1,city1_ts1),
2866 unattached(train1),
2867 moveable(train1),available(train1)]),
2868
2869 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
2870 available(ac1)]),
2871 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
2872 available(ac2)]),
2873 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
2874 available(ac3)]),
2875 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
2876 available(ac4)]),
2877 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
2878 available(ac5)]),
2879 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
2880 available(ac6)]),
2881 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
2882 available(ac7)]),
2883 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
2884 available(ac8)]),
2885 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
2886 available(ac9)]),
2887 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
2888 available(ac10)]),
2889 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
2890 available(ac11)]),
2891 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
2892 available(ac12)]),
2893 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
2894 available(ac13)]),
2895 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
2896 available(ac14)]),
2897 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
2898 available(ac15)]),
2899 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
2900 available(ac16)]),
2901
2902 ss(package,pk_1_x, [at(pk_1_x,ap2),
2903 uncertified(pk_1_x)]),
2904 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
2905 uncertified(pk(n2x))]),
2906 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
2907 uncertified(pk(n3x))]),
2908 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
2909 uncertified(pk_4_x)]),
2910 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
2911 uncertified(pk_5_x)]),
2912 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
2913 uncertified(pk_6_x)]),
2914 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
2915 moveable(truck_1_x),
2916 available(truck_1_x)]),
2917 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
2918 moveable(truck_11_x),
2919 available(truck_11_x)]),
2920 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
2921 moveable(truck(n2x)),
2922 available(truck(n2x))]),
2923 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
2924 moveable(truck_22_x),
2925 available(truck_22_x)]),
2926 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
2927 moveable(truck(n3x)),
2928 available(truck(n3x))]),
2929 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
2930 moveable(truck_33_x),
2931 available(truck_33_x)]),
2932 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
2933 unattached(traincar1_x),
2934 moveable(traincar1_x),available(traincar1_x)]),
2935 ss(train,train2_x, [at(train2_x,city2_ts1_x),
2936 unattached(train2_x),
2937 moveable(train2_x),available(train2_x)]),
2938 ss(train,train1_x, [at(train1_x,city1_ts1_x),
2939 unattached(train1_x),
2940 moveable(train1_x),available(train1_x)]),
2941
2942
2943 ss(package,pk_1_y, [at(pk_1_y,ap3),
2944 uncertified(pk_1_y)]),
2945 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
2946 uncertified(pk(n2y))]),
2947 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
2948 uncertified(pk(n3y))]),
2949 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
2950 uncertified(pk_4_y)]),
2951 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
2952 uncertified(pk_5_y)]),
2953 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
2954 uncertified(pk_6_y)]),
2955 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
2956 moveable(truck_1_y),
2957 available(truck_1_y)]),
2958 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
2959 moveable(truck_11_y),
2960 available(truck_11_y)]),
2961 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
2962 moveable(truck(n2y)),
2963 available(truck(n2y))]),
2964 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
2965 moveable(truck_22_y),
2966 available(truck_22_y)]),
2967 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
2968 moveable(truck(n3y)),
2969 available(truck(n3y))]),
2970 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
2971 moveable(truck_33_y),
2972 available(truck_33_y)]),
2973 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
2974 unattached(traincar1_y),
2975 moveable(traincar1_y),available(traincar1_y)]),
2976 ss(train,train2_y, [at(train2_y,city2_ts1_y),
2977 unattached(train2_y),
2978 moveable(train2_y),available(train2_y)]),
2979 ss(train,train1_y, [at(train1_y,city1_ts1_y),
2980 unattached(train1_y),
2981 moveable(train1_y),available(train1_y)]),
2982
2983 ss(package,pk_1_z, [at(pk_1_z,ap3),
2984 uncertified(pk_1_z)]),
2985 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
2986 uncertified(pk(n2z))]),
2987 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
2988 uncertified(pk(n3z))]),
2989 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
2990 uncertified(pk_4_z)]),
2991 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
2992 uncertified(pk_5_z)]),
2993 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
2994 uncertified(pk_6_z)]),
2995 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
2996 moveable(truck_1_z),
2997 available(truck_1_z)]),
2998 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
2999 moveable(truck_11_z),
3000 available(truck_11_z)]),
3001 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
3002 moveable(truck(n2z)),
3003 available(truck(n2z))]),
3004 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
3005 moveable(truck_22_z),
3006 available(truck_22_z)]),
3007 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
3008 moveable(truck(n3z)),
3009 available(truck(n3z))]),
3010 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
3011 moveable(truck_33_z),
3012 available(truck_33_z)]),
3013 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
3014 unattached(traincar1_z),
3015 moveable(traincar1_z),available(traincar1_z)]),
3016 ss(train,train2_z, [at(train2_z,city2_ts1_z),
3017 unattached(train2_z),
3018 moveable(train2_z),available(train2_z)]),
3019 ss(train,train1_z, [at(train1_z,city1_ts1_z),
3020 unattached(train1_z),
3021 moveable(train1_z),available(train1_z)])
3022 ]).
3023htn_task(16,goal([ transport(pk_1,city3_cl1,ap1)],
3024 [],[]),
3025 [
3026 ss(package,pk_1, [at(pk_1,city3_cl1),
3027 uncertified(pk_1)]),
3028 ss(package,pk_2, [at(pk_2,city3_cl1),
3029 uncertified(pk_2)]),
3030 ss(package,pk_3, [at(pk_3,city3_cl1),
3031 uncertified(pk_3)]),
3032 ss(package,pk_4, [at(pk_4,city1_cl1),
3033 uncertified(pk_4)]),
3034 ss(package,pk_5, [at(pk_5,city3_cl1),
3035 uncertified(pk_5)]),
3036 ss(package,pk_6, [at(pk_6,city1_ts1),
3037 uncertified(pk_6)]),
3038 ss(truck,truck_1, [at(truck_1,city1_cl1),
3039 moveable(truck_1),
3040 available(truck_1)]),
3041 ss(truck,truck_11, [at(truck_11,city1_cl1),
3042 moveable(truck_11),
3043 available(truck_11)]),
3044 ss(truck,truck_2, [at(truck_2,city2_cl1),
3045 moveable(truck_2),
3046 available(truck_2)]),
3047 ss(truck,truck_22, [at(truck_22,city2_cl1),
3048 moveable(truck_22),
3049 available(truck_22)]),
3050 ss(truck,truck_3, [at(truck_3,city3_cl1),
3051 moveable(truck_3),
3052 available(truck_3)]),
3053 ss(truck,truck_33, [at(truck_33,city3_cl1),
3054 moveable(truck_33),
3055 available(truck_33)]),
3056 ss(traincar,traincar1, [at(traincar1,city2_ts1),
3057 unattached(traincar1),
3058 moveable(traincar1),available(traincar1)]),
3059 ss(train,train2, [at(train2,city2_ts1),
3060 unattached(train2),
3061 moveable(train2),available(train2)]),
3062 ss(train,train1, [at(train1,city1_ts1),
3063 unattached(train1),
3064 moveable(train1),available(train1)]),
3065
3066 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
3067 available(ac1)]),
3068 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
3069 available(ac2)]),
3070 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
3071 available(ac3)]),
3072 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
3073 available(ac4)]),
3074 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
3075 available(ac5)]),
3076 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
3077 available(ac6)]),
3078 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
3079 available(ac7)]),
3080 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
3081 available(ac8)]),
3082 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
3083 available(ac9)]),
3084 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
3085 available(ac10)]),
3086 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
3087 available(ac11)]),
3088 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
3089 available(ac12)]),
3090 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
3091 available(ac13)]),
3092 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
3093 available(ac14)]),
3094 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
3095 available(ac15)]),
3096 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
3097 available(ac16)]),
3098
3099 ss(package,pk_1_x, [at(pk_1_x,ap2),
3100 uncertified(pk_1_x)]),
3101 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
3102 uncertified(pk(n2x))]),
3103 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
3104 uncertified(pk(n3x))]),
3105 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
3106 uncertified(pk_4_x)]),
3107 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
3108 uncertified(pk_5_x)]),
3109 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
3110 uncertified(pk_6_x)]),
3111 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
3112 moveable(truck_1_x),
3113 available(truck_1_x)]),
3114 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
3115 moveable(truck_11_x),
3116 available(truck_11_x)]),
3117 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
3118 moveable(truck(n2x)),
3119 available(truck(n2x))]),
3120 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
3121 moveable(truck_22_x),
3122 available(truck_22_x)]),
3123 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
3124 moveable(truck(n3x)),
3125 available(truck(n3x))]),
3126 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
3127 moveable(truck_33_x),
3128 available(truck_33_x)]),
3129 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
3130 unattached(traincar1_x),
3131 moveable(traincar1_x),available(traincar1_x)]),
3132 ss(train,train2_x, [at(train2_x,city2_ts1_x),
3133 unattached(train2_x),
3134 moveable(train2_x),available(train2_x)]),
3135 ss(train,train1_x, [at(train1_x,city1_ts1_x),
3136 unattached(train1_x),
3137 moveable(train1_x),available(train1_x)]),
3138
3139
3140 ss(package,pk_1_y, [at(pk_1_y,ap3),
3141 uncertified(pk_1_y)]),
3142 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
3143 uncertified(pk(n2y))]),
3144 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
3145 uncertified(pk(n3y))]),
3146 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
3147 uncertified(pk_4_y)]),
3148 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
3149 uncertified(pk_5_y)]),
3150 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
3151 uncertified(pk_6_y)]),
3152 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
3153 moveable(truck_1_y),
3154 available(truck_1_y)]),
3155 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
3156 moveable(truck_11_y),
3157 available(truck_11_y)]),
3158 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
3159 moveable(truck(n2y)),
3160 available(truck(n2y))]),
3161 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
3162 moveable(truck_22_y),
3163 available(truck_22_y)]),
3164 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
3165 moveable(truck(n3y)),
3166 available(truck(n3y))]),
3167 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
3168 moveable(truck_33_y),
3169 available(truck_33_y)]),
3170 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
3171 unattached(traincar1_y),
3172 moveable(traincar1_y),available(traincar1_y)]),
3173 ss(train,train2_y, [at(train2_y,city2_ts1_y),
3174 unattached(train2_y),
3175 moveable(train2_y),available(train2_y)]),
3176 ss(train,train1_y, [at(train1_y,city1_ts1_y),
3177 unattached(train1_y),
3178 moveable(train1_y),available(train1_y)]),
3179
3180 ss(package,pk_1_z, [at(pk_1_z,ap3),
3181 uncertified(pk_1_z)]),
3182 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
3183 uncertified(pk(n2z))]),
3184 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
3185 uncertified(pk(n3z))]),
3186 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
3187 uncertified(pk_4_z)]),
3188 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
3189 uncertified(pk_5_z)]),
3190 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
3191 uncertified(pk_6_z)]),
3192 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
3193 moveable(truck_1_z),
3194 available(truck_1_z)]),
3195 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
3196 moveable(truck_11_z),
3197 available(truck_11_z)]),
3198 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
3199 moveable(truck(n2z)),
3200 available(truck(n2z))]),
3201 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
3202 moveable(truck_22_z),
3203 available(truck_22_z)]),
3204 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
3205 moveable(truck(n3z)),
3206 available(truck(n3z))]),
3207 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
3208 moveable(truck_33_z),
3209 available(truck_33_z)]),
3210 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
3211 unattached(traincar1_z),
3212 moveable(traincar1_z),available(traincar1_z)]),
3213 ss(train,train2_z, [at(train2_z,city2_ts1_z),
3214 unattached(train2_z),
3215 moveable(train2_z),available(train2_z)]),
3216 ss(train,train1_z, [at(train1_z,city1_ts1_z),
3217 unattached(train1_z),
3218 moveable(train1_z),available(train1_z)])
3219 ]).
3220
3221htn_task(17,goal([ transport(pk_1_y,ap3,city1_cl1_y)],
3222 [],[]),
3223 [
3224 ss(package,pk_1, [at(pk_1,city3_cl1),
3225 uncertified(pk_1)]),
3226 ss(package,pk_2, [at(pk_2,city3_cl1),
3227 uncertified(pk_2)]),
3228 ss(package,pk_3, [at(pk_3,city3_cl1),
3229 uncertified(pk_3)]),
3230 ss(package,pk_4, [at(pk_4,city1_cl1),
3231 uncertified(pk_4)]),
3232 ss(package,pk_5, [at(pk_5,city3_cl1),
3233 uncertified(pk_5)]),
3234 ss(package,pk_6, [at(pk_6,city1_ts1),
3235 uncertified(pk_6)]),
3236 ss(truck,truck_1, [at(truck_1,city1_cl1),
3237 moveable(truck_1),
3238 available(truck_1)]),
3239 ss(truck,truck_11, [at(truck_11,city1_cl1),
3240 moveable(truck_11),
3241 available(truck_11)]),
3242 ss(truck,truck_2, [at(truck_2,city2_cl1),
3243 moveable(truck_2),
3244 available(truck_2)]),
3245 ss(truck,truck_22, [at(truck_22,city2_cl1),
3246 moveable(truck_22),
3247 available(truck_22)]),
3248 ss(truck,truck_3, [at(truck_3,city3_cl1),
3249 moveable(truck_3),
3250 available(truck_3)]),
3251 ss(truck,truck_33, [at(truck_33,city3_cl1),
3252 moveable(truck_33),
3253 available(truck_33)]),
3254 ss(traincar,traincar1, [at(traincar1,city2_ts1),
3255 unattached(traincar1),
3256 moveable(traincar1),available(traincar1)]),
3257 ss(train,train2, [at(train2,city2_ts1),
3258 unattached(train2),
3259 moveable(train2),available(train2)]),
3260 ss(train,train1, [at(train1,city1_ts1),
3261 unattached(train1),
3262 moveable(train1),available(train1)]),
3263
3264 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
3265 available(ac1)]),
3266 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
3267 available(ac2)]),
3268 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
3269 available(ac3)]),
3270 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
3271 available(ac4)]),
3272 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
3273 available(ac5)]),
3274 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
3275 available(ac6)]),
3276 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
3277 available(ac7)]),
3278 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
3279 available(ac8)]),
3280 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
3281 available(ac9)]),
3282 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
3283 available(ac10)]),
3284 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
3285 available(ac11)]),
3286 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
3287 available(ac12)]),
3288 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
3289 available(ac13)]),
3290 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
3291 available(ac14)]),
3292 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
3293 available(ac15)]),
3294 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
3295 available(ac16)]),
3296
3297 ss(package,pk_1_x, [at(pk_1_x,ap2),
3298 uncertified(pk_1_x)]),
3299 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
3300 uncertified(pk(n2x))]),
3301 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
3302 uncertified(pk(n3x))]),
3303 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
3304 uncertified(pk_4_x)]),
3305 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
3306 uncertified(pk_5_x)]),
3307 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
3308 uncertified(pk_6_x)]),
3309 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
3310 moveable(truck_1_x),
3311 available(truck_1_x)]),
3312 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
3313 moveable(truck_11_x),
3314 available(truck_11_x)]),
3315 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
3316 moveable(truck(n2x)),
3317 available(truck(n2x))]),
3318 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
3319 moveable(truck_22_x),
3320 available(truck_22_x)]),
3321 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
3322 moveable(truck(n3x)),
3323 available(truck(n3x))]),
3324 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
3325 moveable(truck_33_x),
3326 available(truck_33_x)]),
3327 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
3328 unattached(traincar1_x),
3329 moveable(traincar1_x),available(traincar1_x)]),
3330 ss(train,train2_x, [at(train2_x,city2_ts1_x),
3331 unattached(train2_x),
3332 moveable(train2_x),available(train2_x)]),
3333 ss(train,train1_x, [at(train1_x,city1_ts1_x),
3334 unattached(train1_x),
3335 moveable(train1_x),available(train1_x)]),
3336
3337
3338 ss(package,pk_1_y, [at(pk_1_y,ap3),
3339 uncertified(pk_1_y)]),
3340 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
3341 uncertified(pk(n2y))]),
3342 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
3343 uncertified(pk(n3y))]),
3344 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
3345 uncertified(pk_4_y)]),
3346 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
3347 uncertified(pk_5_y)]),
3348 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
3349 uncertified(pk_6_y)]),
3350 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
3351 moveable(truck_1_y),
3352 available(truck_1_y)]),
3353 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
3354 moveable(truck_11_y),
3355 available(truck_11_y)]),
3356 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
3357 moveable(truck(n2y)),
3358 available(truck(n2y))]),
3359 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
3360 moveable(truck_22_y),
3361 available(truck_22_y)]),
3362 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
3363 moveable(truck(n3y)),
3364 available(truck(n3y))]),
3365 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
3366 moveable(truck_33_y),
3367 available(truck_33_y)]),
3368 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
3369 unattached(traincar1_y),
3370 moveable(traincar1_y),available(traincar1_y)]),
3371 ss(train,train2_y, [at(train2_y,city2_ts1_y),
3372 unattached(train2_y),
3373 moveable(train2_y),available(train2_y)]),
3374 ss(train,train1_y, [at(train1_y,city1_ts1_y),
3375 unattached(train1_y),
3376 moveable(train1_y),available(train1_y)]),
3377
3378 ss(package,pk_1_z, [at(pk_1_z,ap3),
3379 uncertified(pk_1_z)]),
3380 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
3381 uncertified(pk(n2z))]),
3382 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
3383 uncertified(pk(n3z))]),
3384 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
3385 uncertified(pk_4_z)]),
3386 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
3387 uncertified(pk_5_z)]),
3388 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
3389 uncertified(pk_6_z)]),
3390 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
3391 moveable(truck_1_z),
3392 available(truck_1_z)]),
3393 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
3394 moveable(truck_11_z),
3395 available(truck_11_z)]),
3396 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
3397 moveable(truck(n2z)),
3398 available(truck(n2z))]),
3399 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
3400 moveable(truck_22_z),
3401 available(truck_22_z)]),
3402 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
3403 moveable(truck(n3z)),
3404 available(truck(n3z))]),
3405 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
3406 moveable(truck_33_z),
3407 available(truck_33_z)]),
3408 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
3409 unattached(traincar1_z),
3410 moveable(traincar1_z),available(traincar1_z)]),
3411 ss(train,train2_z, [at(train2_z,city2_ts1_z),
3412 unattached(train2_z),
3413 moveable(train2_z),available(train2_z)]),
3414 ss(train,train1_z, [at(train1_z,city1_ts1_z),
3415 unattached(train1_z),
3416 moveable(train1_z),available(train1_z)])
3417 ]).
3418htn_task(18,goal([ achieve( ss(package, pk_1_x,[waiting(pk_1_x),certified(pk_1_x)])),
3419 carry_via_ap(ap2,ap1,pk_1_x,V)],
3420 [],[]),
3421 [
3422 ss(package,pk_1, [at(pk_1,city3_cl1),
3423 uncertified(pk_1)]),
3424 ss(package,pk_2, [at(pk_2,city3_cl1),
3425 uncertified(pk_2)]),
3426 ss(package,pk_3, [at(pk_3,city3_cl1),
3427 uncertified(pk_3)]),
3428 ss(package,pk_4, [at(pk_4,city1_cl1),
3429 uncertified(pk_4)]),
3430 ss(package,pk_5, [at(pk_5,city3_cl1),
3431 uncertified(pk_5)]),
3432 ss(package,pk_6, [at(pk_6,city1_ts1),
3433 uncertified(pk_6)]),
3434 ss(truck,truck_1, [at(truck_1,city1_cl1),
3435 moveable(truck_1),
3436 available(truck_1)]),
3437 ss(truck,truck_11, [at(truck_11,city1_cl1),
3438 moveable(truck_11),
3439 available(truck_11)]),
3440 ss(truck,truck_2, [at(truck_2,city2_cl1),
3441 moveable(truck_2),
3442 available(truck_2)]),
3443 ss(truck,truck_22, [at(truck_22,city2_cl1),
3444 moveable(truck_22),
3445 available(truck_22)]),
3446 ss(truck,truck_3, [at(truck_3,city3_cl1),
3447 moveable(truck_3),
3448 available(truck_3)]),
3449 ss(truck,truck_33, [at(truck_33,city3_cl1),
3450 moveable(truck_33),
3451 available(truck_33)]),
3452 ss(traincar,traincar1, [at(traincar1,city2_ts1),
3453 unattached(traincar1),
3454 moveable(traincar1),available(traincar1)]),
3455 ss(train,train2, [at(train2,city2_ts1),
3456 unattached(train2),
3457 moveable(train2),available(train2)]),
3458 ss(train,train1, [at(train1,city1_ts1),
3459 unattached(train1),
3460 moveable(train1),available(train1)]),
3461
3462 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
3463 available(ac1)]),
3464 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
3465 available(ac2)]),
3466 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
3467 available(ac3)]),
3468 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
3469 available(ac4)]),
3470 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
3471 available(ac5)]),
3472 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
3473 available(ac6)]),
3474 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
3475 available(ac7)]),
3476 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
3477 available(ac8)]),
3478 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
3479 available(ac9)]),
3480 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
3481 available(ac10)]),
3482 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
3483 available(ac11)]),
3484 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
3485 available(ac12)]),
3486 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
3487 available(ac13)]),
3488 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
3489 available(ac14)]),
3490 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
3491 available(ac15)]),
3492 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
3493 available(ac16)]),
3494
3495 ss(package,pk_1_x, [at(pk_1_x,ap2),
3496 uncertified(pk_1_x)]),
3497 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
3498 uncertified(pk(n2x))]),
3499 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
3500 uncertified(pk(n3x))]),
3501 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
3502 uncertified(pk_4_x)]),
3503 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
3504 uncertified(pk_5_x)]),
3505 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
3506 uncertified(pk_6_x)]),
3507 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
3508 moveable(truck_1_x),
3509 available(truck_1_x)]),
3510 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
3511 moveable(truck_11_x),
3512 available(truck_11_x)]),
3513 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
3514 moveable(truck(n2x)),
3515 available(truck(n2x))]),
3516 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
3517 moveable(truck_22_x),
3518 available(truck_22_x)]),
3519 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
3520 moveable(truck(n3x)),
3521 available(truck(n3x))]),
3522 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
3523 moveable(truck_33_x),
3524 available(truck_33_x)]),
3525 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
3526 unattached(traincar1_x),
3527 moveable(traincar1_x),available(traincar1_x)]),
3528 ss(train,train2_x, [at(train2_x,city2_ts1_x),
3529 unattached(train2_x),
3530 moveable(train2_x),available(train2_x)]),
3531 ss(train,train1_x, [at(train1_x,city1_ts1_x),
3532 unattached(train1_x),
3533 moveable(train1_x),available(train1_x)]),
3534
3535
3536 ss(package,pk_1_y, [at(pk_1_y,ap3),
3537 uncertified(pk_1_y)]),
3538 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
3539 uncertified(pk(n2y))]),
3540 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
3541 uncertified(pk(n3y))]),
3542 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
3543 uncertified(pk_4_y)]),
3544 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
3545 uncertified(pk_5_y)]),
3546 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
3547 uncertified(pk_6_y)]),
3548 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
3549 moveable(truck_1_y),
3550 available(truck_1_y)]),
3551 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
3552 moveable(truck_11_y),
3553 available(truck_11_y)]),
3554 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
3555 moveable(truck(n2y)),
3556 available(truck(n2y))]),
3557 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
3558 moveable(truck_22_y),
3559 available(truck_22_y)]),
3560 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
3561 moveable(truck(n3y)),
3562 available(truck(n3y))]),
3563 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
3564 moveable(truck_33_y),
3565 available(truck_33_y)]),
3566 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
3567 unattached(traincar1_y),
3568 moveable(traincar1_y),available(traincar1_y)]),
3569 ss(train,train2_y, [at(train2_y,city2_ts1_y),
3570 unattached(train2_y),
3571 moveable(train2_y),available(train2_y)]),
3572 ss(train,train1_y, [at(train1_y,city1_ts1_y),
3573 unattached(train1_y),
3574 moveable(train1_y),available(train1_y)]),
3575
3576 ss(package,pk_1_z, [at(pk_1_z,ap3),
3577 uncertified(pk_1_z)]),
3578 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
3579 uncertified(pk(n2z))]),
3580 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
3581 uncertified(pk(n3z))]),
3582 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
3583 uncertified(pk_4_z)]),
3584 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
3585 uncertified(pk_5_z)]),
3586 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
3587 uncertified(pk_6_z)]),
3588 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
3589 moveable(truck_1_z),
3590 available(truck_1_z)]),
3591 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
3592 moveable(truck_11_z),
3593 available(truck_11_z)]),
3594 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
3595 moveable(truck(n2z)),
3596 available(truck(n2z))]),
3597 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
3598 moveable(truck_22_z),
3599 available(truck_22_z)]),
3600 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
3601 moveable(truck(n3z)),
3602 available(truck(n3z))]),
3603 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
3604 moveable(truck_33_z),
3605 available(truck_33_z)]),
3606 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
3607 unattached(traincar1_z),
3608 moveable(traincar1_z),available(traincar1_z)]),
3609 ss(train,train2_z, [at(train2_z,city2_ts1_z),
3610 unattached(train2_z),
3611 moveable(train2_z),available(train2_z)]),
3612 ss(train,train1_z, [at(train1_z,city1_ts1_z),
3613 unattached(train1_z),
3614 moveable(train1_z),available(train1_z)])
3615 ]).
3616htn_task(19,goal([
3617 transport(pk_1,city3_cl1,city1_cl1_y),
3618 transport(pk(n2x),city3_cl1_x,city2_cl1_y),
3619 transport(pk_5,city3_cl1,city1_cl1_x)
3620 ],
3621 [],[]),
3622 [
3623 ss(package,pk_1, [at(pk_1,city3_cl1),
3624 uncertified(pk_1)]),
3625 ss(package,pk_2, [at(pk_2,city3_cl1),
3626 uncertified(pk_2)]),
3627 ss(package,pk_3, [at(pk_3,city3_cl1),
3628 uncertified(pk_3)]),
3629 ss(package,pk_4, [at(pk_4,city1_cl1),
3630 uncertified(pk_4)]),
3631 ss(package,pk_5, [at(pk_5,city3_cl1),
3632 uncertified(pk_5)]),
3633 ss(package,pk_6, [at(pk_6,city1_ts1),
3634 uncertified(pk_6)]),
3635 ss(truck,truck_1, [at(truck_1,city1_cl1),
3636 moveable(truck_1),
3637 available(truck_1)]),
3638 ss(truck,truck_11, [at(truck_11,city1_cl1),
3639 moveable(truck_11),
3640 available(truck_11)]),
3641 ss(truck,truck_2, [at(truck_2,city2_cl1),
3642 moveable(truck_2),
3643 available(truck_2)]),
3644 ss(truck,truck_22, [at(truck_22,city2_cl1),
3645 moveable(truck_22),
3646 available(truck_22)]),
3647 ss(truck,truck_3, [at(truck_3,city3_cl1),
3648 moveable(truck_3),
3649 available(truck_3)]),
3650 ss(truck,truck_33, [at(truck_33,city3_cl1),
3651 moveable(truck_33),
3652 available(truck_33)]),
3653 ss(traincar,traincar1, [at(traincar1,city2_ts1),
3654 unattached(traincar1),
3655 moveable(traincar1),available(traincar1)]),
3656 ss(train,train2, [at(train2,city2_ts1),
3657 unattached(train2),
3658 moveable(train2),available(train2)]),
3659 ss(train,train1, [at(train1,city1_ts1),
3660 unattached(train1),
3661 moveable(train1),available(train1)]),
3662
3663 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
3664 available(ac1)]),
3665 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
3666 available(ac2)]),
3667 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
3668 available(ac3)]),
3669 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
3670 available(ac4)]),
3671 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
3672 available(ac5)]),
3673 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
3674 available(ac6)]),
3675 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
3676 available(ac7)]),
3677 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
3678 available(ac8)]),
3679 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
3680 available(ac9)]),
3681 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
3682 available(ac10)]),
3683 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
3684 available(ac11)]),
3685 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
3686 available(ac12)]),
3687 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
3688 available(ac13)]),
3689 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
3690 available(ac14)]),
3691 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
3692 available(ac15)]),
3693 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
3694 available(ac16)]),
3695
3696 ss(package,pk_1_x, [at(pk_1_x,ap2),
3697 uncertified(pk_1_x)]),
3698 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
3699 uncertified(pk(n2x))]),
3700 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
3701 uncertified(pk(n3x))]),
3702 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
3703 uncertified(pk_4_x)]),
3704 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
3705 uncertified(pk_5_x)]),
3706 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
3707 uncertified(pk_6_x)]),
3708 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
3709 moveable(truck_1_x),
3710 available(truck_1_x)]),
3711 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
3712 moveable(truck_11_x),
3713 available(truck_11_x)]),
3714 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
3715 moveable(truck(n2x)),
3716 available(truck(n2x))]),
3717 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
3718 moveable(truck_22_x),
3719 available(truck_22_x)]),
3720 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
3721 moveable(truck(n3x)),
3722 available(truck(n3x))]),
3723 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
3724 moveable(truck_33_x),
3725 available(truck_33_x)]),
3726 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
3727 unattached(traincar1_x),
3728 moveable(traincar1_x),available(traincar1_x)]),
3729 ss(train,train2_x, [at(train2_x,city2_ts1_x),
3730 unattached(train2_x),
3731 moveable(train2_x),available(train2_x)]),
3732 ss(train,train1_x, [at(train1_x,city1_ts1_x),
3733 unattached(train1_x),
3734 moveable(train1_x),available(train1_x)]),
3735
3736
3737 ss(package,pk_1_y, [at(pk_1_y,ap3),
3738 uncertified(pk_1_y)]),
3739 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
3740 uncertified(pk(n2y))]),
3741 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
3742 uncertified(pk(n3y))]),
3743 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
3744 uncertified(pk_4_y)]),
3745 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
3746 uncertified(pk_5_y)]),
3747 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
3748 uncertified(pk_6_y)]),
3749 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
3750 moveable(truck_1_y),
3751 available(truck_1_y)]),
3752 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
3753 moveable(truck_11_y),
3754 available(truck_11_y)]),
3755 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
3756 moveable(truck(n2y)),
3757 available(truck(n2y))]),
3758 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
3759 moveable(truck_22_y),
3760 available(truck_22_y)]),
3761 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
3762 moveable(truck(n3y)),
3763 available(truck(n3y))]),
3764 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
3765 moveable(truck_33_y),
3766 available(truck_33_y)]),
3767 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
3768 unattached(traincar1_y),
3769 moveable(traincar1_y),available(traincar1_y)]),
3770 ss(train,train2_y, [at(train2_y,city2_ts1_y),
3771 unattached(train2_y),
3772 moveable(train2_y),available(train2_y)]),
3773 ss(train,train1_y, [at(train1_y,city1_ts1_y),
3774 unattached(train1_y),
3775 moveable(train1_y),available(train1_y)]),
3776
3777 ss(package,pk_1_z, [at(pk_1_z,ap3),
3778 uncertified(pk_1_z)]),
3779 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
3780 uncertified(pk(n2z))]),
3781 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
3782 uncertified(pk(n3z))]),
3783 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
3784 uncertified(pk_4_z)]),
3785 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
3786 uncertified(pk_5_z)]),
3787 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
3788 uncertified(pk_6_z)]),
3789 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
3790 moveable(truck_1_z),
3791 available(truck_1_z)]),
3792 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
3793 moveable(truck_11_z),
3794 available(truck_11_z)]),
3795 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
3796 moveable(truck(n2z)),
3797 available(truck(n2z))]),
3798 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
3799 moveable(truck_22_z),
3800 available(truck_22_z)]),
3801 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
3802 moveable(truck(n3z)),
3803 available(truck(n3z))]),
3804 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
3805 moveable(truck_33_z),
3806 available(truck_33_z)]),
3807 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
3808 unattached(traincar1_z),
3809 moveable(traincar1_z),available(traincar1_z)]),
3810 ss(train,train2_z, [at(train2_z,city2_ts1_z),
3811 unattached(train2_z),
3812 moveable(train2_z),available(train2_z)]),
3813 ss(train,train1_z, [at(train1_z,city1_ts1_z),
3814 unattached(train1_z),
3815 moveable(train1_z),available(train1_z)])
3816 ]).
3817
3818htn_task(20,goal([ transport(pk(n2y),city3_cl1_y,city1_cl1_x),
3819 transport(pk_2,city3_cl1,city2_cl1_x),
3820 transport(pk(n3x),city3_cl1_x,city1_ts1),
3821 transport(pk_4,city1_cl1,city3_cl1_x)
3822 ],
3823 [before(hp1,hp2),before(hp3,hp2)],[]),
3824 [
3825 ss(package,pk_1, [at(pk_1,city3_cl1),
3826 uncertified(pk_1)]),
3827 ss(package,pk_2, [at(pk_2,city3_cl1),
3828 uncertified(pk_2)]),
3829 ss(package,pk_3, [at(pk_3,city3_cl1),
3830 uncertified(pk_3)]),
3831 ss(package,pk_4, [at(pk_4,city1_cl1),
3832 uncertified(pk_4)]),
3833 ss(package,pk_5, [at(pk_5,city3_cl1),
3834 uncertified(pk_5)]),
3835 ss(package,pk_6, [at(pk_6,city1_ts1),
3836 uncertified(pk_6)]),
3837 ss(truck,truck_1, [at(truck_1,city1_cl1),
3838 moveable(truck_1),
3839 available(truck_1)]),
3840 ss(truck,truck_11, [at(truck_11,city1_cl1),
3841 moveable(truck_11),
3842 available(truck_11)]),
3843 ss(truck,truck_2, [at(truck_2,city2_cl1),
3844 moveable(truck_2),
3845 available(truck_2)]),
3846 ss(truck,truck_22, [at(truck_22,city2_cl1),
3847 moveable(truck_22),
3848 available(truck_22)]),
3849 ss(truck,truck_3, [at(truck_3,city3_cl1),
3850 moveable(truck_3),
3851 available(truck_3)]),
3852 ss(truck,truck_33, [at(truck_33,city3_cl1),
3853 moveable(truck_33),
3854 available(truck_33)]),
3855 ss(traincar,traincar1, [at(traincar1,city2_ts1),
3856 unattached(traincar1),
3857 moveable(traincar1),available(traincar1)]),
3858 ss(train,train2, [at(train2,city2_ts1),
3859 unattached(train2),
3860 moveable(train2),available(train2)]),
3861 ss(train,train1, [at(train1,city1_ts1),
3862 unattached(train1),
3863 moveable(train1),available(train1)]),
3864
3865 ss(aircraft,ac1, [at(ac1,ap2),moveable(ac1),
3866 available(ac1)]),
3867 ss(aircraft,ac2, [at(ac2,ap2),moveable(ac2),
3868 available(ac2)]),
3869 ss(aircraft,ac3, [at(ac3,ap2),moveable(ac3),
3870 available(ac3)]),
3871 ss(aircraft,ac4, [at(ac4,ap2),moveable(ac4),
3872 available(ac4)]),
3873 ss(aircraft,ac5, [at(ac5,ap1),moveable(ac5),
3874 available(ac5)]),
3875 ss(aircraft,ac6, [at(ac6,ap1),moveable(ac6),
3876 available(ac6)]),
3877 ss(aircraft,ac7, [at(ac7,ap1),moveable(ac7),
3878 available(ac7)]),
3879 ss(aircraft,ac8, [at(ac8,ap1),moveable(ac8),
3880 available(ac8)]),
3881 ss(aircraft,ac9, [at(ac9,ap3),moveable(ac9),
3882 available(ac9)]),
3883 ss(aircraft,ac10, [at(ac10,ap3),moveable(ac10),
3884 available(ac10)]),
3885 ss(aircraft,ac11, [at(ac11,ap3),moveable(ac11),
3886 available(ac11)]),
3887 ss(aircraft,ac12, [at(ac12,ap3),moveable(ac12),
3888 available(ac12)]),
3889 ss(aircraft,ac13, [at(ac13,ap4),moveable(ac13),
3890 available(ac13)]),
3891 ss(aircraft,ac14, [at(ac14,ap4),moveable(ac14),
3892 available(ac14)]),
3893 ss(aircraft,ac15, [at(ac15,ap4),moveable(ac15),
3894 available(ac15)]),
3895 ss(aircraft,ac16, [at(ac16,ap4),moveable(ac16),
3896 available(ac16)]),
3897
3898 ss(package,pk_1_x, [at(pk_1_x,ap2),
3899 uncertified(pk_1_x)]),
3900 ss(package,pk(n2x), [at(pk(n2x),city3_cl1_x),
3901 uncertified(pk(n2x))]),
3902 ss(package,pk(n3x), [at(pk(n3x),city3_cl1_x),
3903 uncertified(pk(n3x))]),
3904 ss(package,pk_4_x, [at(pk_4_x,city1_cl1_x),
3905 uncertified(pk_4_x)]),
3906 ss(package,pk_5_x, [at(pk_5_x,city3_cl1_x),
3907 uncertified(pk_5_x)]),
3908 ss(package,pk_6_x, [at(pk_6_x,city1_ts1_x),
3909 uncertified(pk_6_x)]),
3910 ss(truck,truck_1_x, [at(truck_1_x,city1_cl1_x),
3911 moveable(truck_1_x),
3912 available(truck_1_x)]),
3913 ss(truck,truck_11_x, [at(truck_11_x,city1_cl1_x),
3914 moveable(truck_11_x),
3915 available(truck_11_x)]),
3916 ss(truck,truck(n2x), [at(truck(n2x),city2_cl1_x),
3917 moveable(truck(n2x)),
3918 available(truck(n2x))]),
3919 ss(truck,truck_22_x, [at(truck_22_x,city2_cl1_x),
3920 moveable(truck_22_x),
3921 available(truck_22_x)]),
3922 ss(truck,truck(n3x), [at(truck(n3x),city3_cl1_x),
3923 moveable(truck(n3x)),
3924 available(truck(n3x))]),
3925 ss(truck,truck_33_x, [at(truck_33_x,city3_cl1_x),
3926 moveable(truck_33_x),
3927 available(truck_33_x)]),
3928 ss(traincar,traincar1_x, [at(traincar1_x,city2_ts1_x),
3929 unattached(traincar1_x),
3930 moveable(traincar1_x),available(traincar1_x)]),
3931 ss(train,train2_x, [at(train2_x,city2_ts1_x),
3932 unattached(train2_x),
3933 moveable(train2_x),available(train2_x)]),
3934 ss(train,train1_x, [at(train1_x,city1_ts1_x),
3935 unattached(train1_x),
3936 moveable(train1_x),available(train1_x)]),
3937
3938
3939 ss(package,pk_1_y, [at(pk_1_y,ap3),
3940 uncertified(pk_1_y)]),
3941 ss(package,pk(n2y), [at(pk(n2y),city3_cl1_y),
3942 uncertified(pk(n2y))]),
3943 ss(package,pk(n3y), [at(pk(n3y),city3_cl1_y),
3944 uncertified(pk(n3y))]),
3945 ss(package,pk_4_y, [at(pk_4_y,city1_cl1_y),
3946 uncertified(pk_4_y)]),
3947 ss(package,pk_5_y, [at(pk_5_y,city3_cl1_y),
3948 uncertified(pk_5_y)]),
3949 ss(package,pk_6_y, [at(pk_6_y,city1_ts1_y),
3950 uncertified(pk_6_y)]),
3951 ss(truck,truck_1_y, [at(truck_1_y,city1_cl1_y),
3952 moveable(truck_1_y),
3953 available(truck_1_y)]),
3954 ss(truck,truck_11_y, [at(truck_11_y,city1_cl1_y),
3955 moveable(truck_11_y),
3956 available(truck_11_y)]),
3957 ss(truck,truck(n2y), [at(truck(n2y),city2_cl1_y),
3958 moveable(truck(n2y)),
3959 available(truck(n2y))]),
3960 ss(truck,truck_22_y, [at(truck_22_y,city2_cl1_y),
3961 moveable(truck_22_y),
3962 available(truck_22_y)]),
3963 ss(truck,truck(n3y), [at(truck(n3y),city3_cl1_y),
3964 moveable(truck(n3y)),
3965 available(truck(n3y))]),
3966 ss(truck,truck_33_y, [at(truck_33_y,city3_cl1_y),
3967 moveable(truck_33_y),
3968 available(truck_33_y)]),
3969 ss(traincar,traincar1_y, [at(traincar1_y,city2_ts1_y),
3970 unattached(traincar1_y),
3971 moveable(traincar1_y),available(traincar1_y)]),
3972 ss(train,train2_y, [at(train2_y,city2_ts1_y),
3973 unattached(train2_y),
3974 moveable(train2_y),available(train2_y)]),
3975 ss(train,train1_y, [at(train1_y,city1_ts1_y),
3976 unattached(train1_y),
3977 moveable(train1_y),available(train1_y)]),
3978
3979 ss(package,pk_1_z, [at(pk_1_z,ap3),
3980 uncertified(pk_1_z)]),
3981 ss(package,pk(n2z), [at(pk(n2z),city(n3cl1z)),
3982 uncertified(pk(n2z))]),
3983 ss(package,pk(n3z), [at(pk(n3z),city(n3cl1z)),
3984 uncertified(pk(n3z))]),
3985 ss(package,pk_4_z, [at(pk_4_z,city1_cl1_z),
3986 uncertified(pk_4_z)]),
3987 ss(package,pk_5_z, [at(pk_5_z,city(n3cl1z)),
3988 uncertified(pk_5_z)]),
3989 ss(package,pk_6_z, [at(pk_6_z,city1_ts1_z),
3990 uncertified(pk_6_z)]),
3991 ss(truck,truck_1_z, [at(truck_1_z,city1_cl1_z),
3992 moveable(truck_1_z),
3993 available(truck_1_z)]),
3994 ss(truck,truck_11_z, [at(truck_11_z,city1_cl1_z),
3995 moveable(truck_11_z),
3996 available(truck_11_z)]),
3997 ss(truck,truck(n2z), [at(truck(n2z),city2_cl1_z),
3998 moveable(truck(n2z)),
3999 available(truck(n2z))]),
4000 ss(truck,truck_22_z, [at(truck_22_z,city2_cl1_z),
4001 moveable(truck_22_z),
4002 available(truck_22_z)]),
4003 ss(truck,truck(n3z), [at(truck(n3z),city(n3cl1z)),
4004 moveable(truck(n3z)),
4005 available(truck(n3z))]),
4006 ss(truck,truck_33_z, [at(truck_33_z,city(n3cl1z)),
4007 moveable(truck_33_z),
4008 available(truck_33_z)]),
4009 ss(traincar,traincar1_z, [at(traincar1_z,city2_ts1_z),
4010 unattached(traincar1_z),
4011 moveable(traincar1_z),available(traincar1_z)]),
4012 ss(train,train2_z, [at(train2_z,city2_ts1_z),
4013 unattached(train2_z),
4014 moveable(train2_z),available(train2_z)]),
4015 ss(train,train1_z, [at(train1_z,city1_ts1_z),
4016 unattached(train1_z),
4017 moveable(train1_z),available(train1_z)])
4018 ])