eyeling 1.13.2 → 1.13.4

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (27) hide show
  1. package/HANDBOOK.md +2 -0
  2. package/examples/allen-interval-calculus.n3 +180 -0
  3. package/examples/deck/odrl-dpv-risk-ranked.md +251 -0
  4. package/examples/dining-philosophers.n3 +383 -0
  5. package/examples/input/annotation.ttl +3 -1
  6. package/examples/input/reifies.ttl +2 -0
  7. package/examples/input/triple-term.ttl +3 -2
  8. package/examples/kaprekar.n3 +205 -0
  9. package/examples/odrl-dpv-ehds-risk-ranked.n3 +473 -0
  10. package/examples/odrl-dpv-healthcare-risk-ranked.n3 +575 -0
  11. package/examples/odrl-dpv-risk-ranked.n3 +30 -31
  12. package/examples/output/allen-interval-calculus.n3 +157 -0
  13. package/examples/output/dining-philosophers.n3 +808 -0
  14. package/examples/output/kaprekar.n3 +9992 -0
  15. package/examples/output/odrl-dpv-ehds-risk-ranked.n3 +144 -0
  16. package/examples/output/odrl-dpv-healthcare-risk-ranked.n3 +117 -0
  17. package/examples/output/odrl-dpv-risk-ranked.n3 +70 -6
  18. package/examples/output/wind-turbine.n3 +6 -0
  19. package/examples/reifies.n3 +1 -2
  20. package/examples/triple-term.n3 +3 -3
  21. package/examples/wind-turbine.n3 +63 -0
  22. package/eyeling.js +7 -2
  23. package/lib/cli.js +4 -1
  24. package/lib/engine.js +3 -1
  25. package/package.json +1 -1
  26. package/test/api.test.js +11 -0
  27. package/tools/n3gen.js +36 -7
package/examples/output/dining-philosophers.n3 ADDED
@@ -0,0 +1,808 @@
1
+ @prefix dp: <http://example.org/dp#> .
2
+
3
+ _:sk_0 a dp:Request .
4
+ _:sk_0 dp:in dp:C0 .
5
+ _:sk_0 dp:from dp:P3 .
6
+ _:sk_0 dp:to dp:P2 .
7
+ _:sk_0 dp:fork dp:F23 .
8
+ _:sk_1 a dp:SendFork .
9
+ _:sk_1 dp:in dp:C0 .
10
+ _:sk_1 dp:from dp:P2 .
11
+ _:sk_1 dp:to dp:P3 .
12
+ _:sk_1 dp:fork dp:F23 .
13
+ _:sk_2 a dp:ForkState .
14
+ _:sk_2 dp:in dp:C1 .
15
+ _:sk_2 dp:fork dp:F23 .
16
+ _:sk_2 dp:holder dp:P3 .
17
+ _:sk_2 dp:cleanliness dp:Clean .
18
+ _:sk_3 a dp:ForkState .
19
+ _:sk_3 dp:in dp:C1 .
20
+ _:sk_3 dp:fork dp:F12 .
21
+ _:sk_3 dp:holder dp:P1 .
22
+ _:sk_3 dp:cleanliness dp:Dirty .
23
+ _:sk_4 a dp:ForkState .
24
+ _:sk_4 dp:in dp:C1 .
25
+ _:sk_4 dp:fork dp:F34 .
26
+ _:sk_4 dp:holder dp:P3 .
27
+ _:sk_4 dp:cleanliness dp:Dirty .
28
+ _:sk_5 a dp:ForkState .
29
+ _:sk_5 dp:in dp:C1 .
30
+ _:sk_5 dp:fork dp:F45 .
31
+ _:sk_5 dp:holder dp:P4 .
32
+ _:sk_5 dp:cleanliness dp:Dirty .
33
+ _:sk_6 a dp:ForkState .
34
+ _:sk_6 dp:in dp:C1 .
35
+ _:sk_6 dp:fork dp:F51 .
36
+ _:sk_6 dp:holder dp:P1 .
37
+ _:sk_6 dp:cleanliness dp:Dirty .
38
+ dp:mP1_1 a dp:Meal .
39
+ dp:mP1_1 dp:philosopher dp:P1 .
40
+ dp:mP1_1 dp:mealNo 1 .
41
+ dp:mP1_1 dp:inSlot dp:s1 .
42
+ dp:mP1_1 dp:usesFork dp:F51 .
43
+ dp:mP1_1 dp:usesFork dp:F12 .
44
+ dp:mP3_1 a dp:Meal .
45
+ dp:mP3_1 dp:philosopher dp:P3 .
46
+ dp:mP3_1 dp:mealNo 1 .
47
+ dp:mP3_1 dp:inSlot dp:s1 .
48
+ dp:mP3_1 dp:usesFork dp:F23 .
49
+ dp:mP3_1 dp:usesFork dp:F34 .
50
+ _:sk_7 a dp:ForkState .
51
+ _:sk_7 dp:in dp:C2 .
52
+ _:sk_7 dp:fork dp:F23 .
53
+ _:sk_7 dp:holder dp:P3 .
54
+ _:sk_7 dp:cleanliness dp:Dirty .
55
+ _:sk_8 a dp:ForkState .
56
+ _:sk_8 dp:in dp:C2 .
57
+ _:sk_8 dp:fork dp:F12 .
58
+ _:sk_8 dp:holder dp:P1 .
59
+ _:sk_8 dp:cleanliness dp:Dirty .
60
+ _:sk_9 a dp:ForkState .
61
+ _:sk_9 dp:in dp:C2 .
62
+ _:sk_9 dp:fork dp:F34 .
63
+ _:sk_9 dp:holder dp:P3 .
64
+ _:sk_9 dp:cleanliness dp:Dirty .
65
+ _:sk_10 a dp:ForkState .
66
+ _:sk_10 dp:in dp:C2 .
67
+ _:sk_10 dp:fork dp:F45 .
68
+ _:sk_10 dp:holder dp:P4 .
69
+ _:sk_10 dp:cleanliness dp:Dirty .
70
+ _:sk_11 a dp:ForkState .
71
+ _:sk_11 dp:in dp:C2 .
72
+ _:sk_11 dp:fork dp:F51 .
73
+ _:sk_11 dp:holder dp:P1 .
74
+ _:sk_11 dp:cleanliness dp:Dirty .
75
+ _:sk_12 a dp:Request .
76
+ _:sk_12 dp:in dp:C2 .
77
+ _:sk_12 dp:from dp:P2 .
78
+ _:sk_12 dp:to dp:P1 .
79
+ _:sk_12 dp:fork dp:F12 .
80
+ _:sk_13 a dp:Request .
81
+ _:sk_13 dp:in dp:C2 .
82
+ _:sk_13 dp:from dp:P4 .
83
+ _:sk_13 dp:to dp:P3 .
84
+ _:sk_13 dp:fork dp:F34 .
85
+ _:sk_14 a dp:Request .
86
+ _:sk_14 dp:in dp:C2 .
87
+ _:sk_14 dp:from dp:P2 .
88
+ _:sk_14 dp:to dp:P3 .
89
+ _:sk_14 dp:fork dp:F23 .
90
+ _:sk_15 a dp:SendFork .
91
+ _:sk_15 dp:in dp:C2 .
92
+ _:sk_15 dp:from dp:P1 .
93
+ _:sk_15 dp:to dp:P2 .
94
+ _:sk_15 dp:fork dp:F12 .
95
+ _:sk_16 a dp:SendFork .
96
+ _:sk_16 dp:in dp:C2 .
97
+ _:sk_16 dp:from dp:P3 .
98
+ _:sk_16 dp:to dp:P4 .
99
+ _:sk_16 dp:fork dp:F34 .
100
+ _:sk_17 a dp:SendFork .
101
+ _:sk_17 dp:in dp:C2 .
102
+ _:sk_17 dp:from dp:P3 .
103
+ _:sk_17 dp:to dp:P2 .
104
+ _:sk_17 dp:fork dp:F23 .
105
+ _:sk_18 a dp:ForkState .
106
+ _:sk_18 dp:in dp:C3 .
107
+ _:sk_18 dp:fork dp:F12 .
108
+ _:sk_18 dp:holder dp:P2 .
109
+ _:sk_18 dp:cleanliness dp:Clean .
110
+ _:sk_19 a dp:ForkState .
111
+ _:sk_19 dp:in dp:C3 .
112
+ _:sk_19 dp:fork dp:F34 .
113
+ _:sk_19 dp:holder dp:P4 .
114
+ _:sk_19 dp:cleanliness dp:Clean .
115
+ _:sk_20 a dp:ForkState .
116
+ _:sk_20 dp:in dp:C3 .
117
+ _:sk_20 dp:fork dp:F23 .
118
+ _:sk_20 dp:holder dp:P2 .
119
+ _:sk_20 dp:cleanliness dp:Clean .
120
+ _:sk_21 a dp:ForkState .
121
+ _:sk_21 dp:in dp:C3 .
122
+ _:sk_21 dp:fork dp:F45 .
123
+ _:sk_21 dp:holder dp:P4 .
124
+ _:sk_21 dp:cleanliness dp:Dirty .
125
+ _:sk_22 a dp:ForkState .
126
+ _:sk_22 dp:in dp:C3 .
127
+ _:sk_22 dp:fork dp:F51 .
128
+ _:sk_22 dp:holder dp:P1 .
129
+ _:sk_22 dp:cleanliness dp:Dirty .
130
+ dp:mP2_1 a dp:Meal .
131
+ dp:mP2_1 dp:philosopher dp:P2 .
132
+ dp:mP2_1 dp:mealNo 1 .
133
+ dp:mP2_1 dp:inSlot dp:s2 .
134
+ dp:mP2_1 dp:usesFork dp:F12 .
135
+ dp:mP2_1 dp:usesFork dp:F23 .
136
+ dp:mP4_1 a dp:Meal .
137
+ dp:mP4_1 dp:philosopher dp:P4 .
138
+ dp:mP4_1 dp:mealNo 1 .
139
+ dp:mP4_1 dp:inSlot dp:s2 .
140
+ dp:mP4_1 dp:usesFork dp:F34 .
141
+ dp:mP4_1 dp:usesFork dp:F45 .
142
+ _:sk_23 a dp:ForkState .
143
+ _:sk_23 dp:in dp:C4 .
144
+ _:sk_23 dp:fork dp:F12 .
145
+ _:sk_23 dp:holder dp:P2 .
146
+ _:sk_23 dp:cleanliness dp:Dirty .
147
+ _:sk_24 a dp:ForkState .
148
+ _:sk_24 dp:in dp:C4 .
149
+ _:sk_24 dp:fork dp:F34 .
150
+ _:sk_24 dp:holder dp:P4 .
151
+ _:sk_24 dp:cleanliness dp:Dirty .
152
+ _:sk_25 a dp:ForkState .
153
+ _:sk_25 dp:in dp:C4 .
154
+ _:sk_25 dp:fork dp:F23 .
155
+ _:sk_25 dp:holder dp:P2 .
156
+ _:sk_25 dp:cleanliness dp:Dirty .
157
+ _:sk_26 a dp:ForkState .
158
+ _:sk_26 dp:in dp:C4 .
159
+ _:sk_26 dp:fork dp:F45 .
160
+ _:sk_26 dp:holder dp:P4 .
161
+ _:sk_26 dp:cleanliness dp:Dirty .
162
+ _:sk_27 a dp:ForkState .
163
+ _:sk_27 dp:in dp:C4 .
164
+ _:sk_27 dp:fork dp:F51 .
165
+ _:sk_27 dp:holder dp:P1 .
166
+ _:sk_27 dp:cleanliness dp:Dirty .
167
+ _:sk_28 a dp:Request .
168
+ _:sk_28 dp:in dp:C4 .
169
+ _:sk_28 dp:from dp:P5 .
170
+ _:sk_28 dp:to dp:P4 .
171
+ _:sk_28 dp:fork dp:F45 .
172
+ _:sk_29 a dp:Request .
173
+ _:sk_29 dp:in dp:C4 .
174
+ _:sk_29 dp:from dp:P5 .
175
+ _:sk_29 dp:to dp:P1 .
176
+ _:sk_29 dp:fork dp:F51 .
177
+ _:sk_30 a dp:SendFork .
178
+ _:sk_30 dp:in dp:C4 .
179
+ _:sk_30 dp:from dp:P4 .
180
+ _:sk_30 dp:to dp:P5 .
181
+ _:sk_30 dp:fork dp:F45 .
182
+ _:sk_31 a dp:SendFork .
183
+ _:sk_31 dp:in dp:C4 .
184
+ _:sk_31 dp:from dp:P1 .
185
+ _:sk_31 dp:to dp:P5 .
186
+ _:sk_31 dp:fork dp:F51 .
187
+ _:sk_32 a dp:ForkState .
188
+ _:sk_32 dp:in dp:C5 .
189
+ _:sk_32 dp:fork dp:F45 .
190
+ _:sk_32 dp:holder dp:P5 .
191
+ _:sk_32 dp:cleanliness dp:Clean .
192
+ _:sk_33 a dp:ForkState .
193
+ _:sk_33 dp:in dp:C5 .
194
+ _:sk_33 dp:fork dp:F51 .
195
+ _:sk_33 dp:holder dp:P5 .
196
+ _:sk_33 dp:cleanliness dp:Clean .
197
+ _:sk_34 a dp:ForkState .
198
+ _:sk_34 dp:in dp:C5 .
199
+ _:sk_34 dp:fork dp:F12 .
200
+ _:sk_34 dp:holder dp:P2 .
201
+ _:sk_34 dp:cleanliness dp:Dirty .
202
+ _:sk_35 a dp:ForkState .
203
+ _:sk_35 dp:in dp:C5 .
204
+ _:sk_35 dp:fork dp:F23 .
205
+ _:sk_35 dp:holder dp:P2 .
206
+ _:sk_35 dp:cleanliness dp:Dirty .
207
+ _:sk_36 a dp:ForkState .
208
+ _:sk_36 dp:in dp:C5 .
209
+ _:sk_36 dp:fork dp:F34 .
210
+ _:sk_36 dp:holder dp:P4 .
211
+ _:sk_36 dp:cleanliness dp:Dirty .
212
+ dp:mP5_1 a dp:Meal .
213
+ dp:mP5_1 dp:philosopher dp:P5 .
214
+ dp:mP5_1 dp:mealNo 1 .
215
+ dp:mP5_1 dp:inSlot dp:s3 .
216
+ dp:mP5_1 dp:usesFork dp:F45 .
217
+ dp:mP5_1 dp:usesFork dp:F51 .
218
+ _:sk_37 a dp:ForkState .
219
+ _:sk_37 dp:in dp:C6 .
220
+ _:sk_37 dp:fork dp:F45 .
221
+ _:sk_37 dp:holder dp:P5 .
222
+ _:sk_37 dp:cleanliness dp:Dirty .
223
+ _:sk_38 a dp:ForkState .
224
+ _:sk_38 dp:in dp:C6 .
225
+ _:sk_38 dp:fork dp:F51 .
226
+ _:sk_38 dp:holder dp:P5 .
227
+ _:sk_38 dp:cleanliness dp:Dirty .
228
+ _:sk_39 a dp:ForkState .
229
+ _:sk_39 dp:in dp:C6 .
230
+ _:sk_39 dp:fork dp:F12 .
231
+ _:sk_39 dp:holder dp:P2 .
232
+ _:sk_39 dp:cleanliness dp:Dirty .
233
+ _:sk_40 a dp:ForkState .
234
+ _:sk_40 dp:in dp:C6 .
235
+ _:sk_40 dp:fork dp:F23 .
236
+ _:sk_40 dp:holder dp:P2 .
237
+ _:sk_40 dp:cleanliness dp:Dirty .
238
+ _:sk_41 a dp:ForkState .
239
+ _:sk_41 dp:in dp:C6 .
240
+ _:sk_41 dp:fork dp:F34 .
241
+ _:sk_41 dp:holder dp:P4 .
242
+ _:sk_41 dp:cleanliness dp:Dirty .
243
+ _:sk_42 a dp:Request .
244
+ _:sk_42 dp:in dp:C6 .
245
+ _:sk_42 dp:from dp:P1 .
246
+ _:sk_42 dp:to dp:P5 .
247
+ _:sk_42 dp:fork dp:F51 .
248
+ _:sk_43 a dp:Request .
249
+ _:sk_43 dp:in dp:C6 .
250
+ _:sk_43 dp:from dp:P3 .
251
+ _:sk_43 dp:to dp:P2 .
252
+ _:sk_43 dp:fork dp:F23 .
253
+ _:sk_44 a dp:Request .
254
+ _:sk_44 dp:in dp:C6 .
255
+ _:sk_44 dp:from dp:P1 .
256
+ _:sk_44 dp:to dp:P2 .
257
+ _:sk_44 dp:fork dp:F12 .
258
+ _:sk_45 a dp:Request .
259
+ _:sk_45 dp:in dp:C6 .
260
+ _:sk_45 dp:from dp:P3 .
261
+ _:sk_45 dp:to dp:P4 .
262
+ _:sk_45 dp:fork dp:F34 .
263
+ _:sk_46 a dp:SendFork .
264
+ _:sk_46 dp:in dp:C6 .
265
+ _:sk_46 dp:from dp:P5 .
266
+ _:sk_46 dp:to dp:P1 .
267
+ _:sk_46 dp:fork dp:F51 .
268
+ _:sk_47 a dp:SendFork .
269
+ _:sk_47 dp:in dp:C6 .
270
+ _:sk_47 dp:from dp:P2 .
271
+ _:sk_47 dp:to dp:P3 .
272
+ _:sk_47 dp:fork dp:F23 .
273
+ _:sk_48 a dp:SendFork .
274
+ _:sk_48 dp:in dp:C6 .
275
+ _:sk_48 dp:from dp:P2 .
276
+ _:sk_48 dp:to dp:P1 .
277
+ _:sk_48 dp:fork dp:F12 .
278
+ _:sk_49 a dp:SendFork .
279
+ _:sk_49 dp:in dp:C6 .
280
+ _:sk_49 dp:from dp:P4 .
281
+ _:sk_49 dp:to dp:P3 .
282
+ _:sk_49 dp:fork dp:F34 .
283
+ _:sk_50 a dp:ForkState .
284
+ _:sk_50 dp:in dp:C7 .
285
+ _:sk_50 dp:fork dp:F51 .
286
+ _:sk_50 dp:holder dp:P1 .
287
+ _:sk_50 dp:cleanliness dp:Clean .
288
+ _:sk_51 a dp:ForkState .
289
+ _:sk_51 dp:in dp:C7 .
290
+ _:sk_51 dp:fork dp:F23 .
291
+ _:sk_51 dp:holder dp:P3 .
292
+ _:sk_51 dp:cleanliness dp:Clean .
293
+ _:sk_52 a dp:ForkState .
294
+ _:sk_52 dp:in dp:C7 .
295
+ _:sk_52 dp:fork dp:F12 .
296
+ _:sk_52 dp:holder dp:P1 .
297
+ _:sk_52 dp:cleanliness dp:Clean .
298
+ _:sk_53 a dp:ForkState .
299
+ _:sk_53 dp:in dp:C7 .
300
+ _:sk_53 dp:fork dp:F34 .
301
+ _:sk_53 dp:holder dp:P3 .
302
+ _:sk_53 dp:cleanliness dp:Clean .
303
+ _:sk_54 a dp:ForkState .
304
+ _:sk_54 dp:in dp:C7 .
305
+ _:sk_54 dp:fork dp:F45 .
306
+ _:sk_54 dp:holder dp:P5 .
307
+ _:sk_54 dp:cleanliness dp:Dirty .
308
+ dp:mP1_2 a dp:Meal .
309
+ dp:mP1_2 dp:philosopher dp:P1 .
310
+ dp:mP1_2 dp:mealNo 2 .
311
+ dp:mP1_2 dp:inSlot dp:s4 .
312
+ dp:mP1_2 dp:usesFork dp:F51 .
313
+ dp:mP1_2 dp:usesFork dp:F12 .
314
+ dp:mP3_2 a dp:Meal .
315
+ dp:mP3_2 dp:philosopher dp:P3 .
316
+ dp:mP3_2 dp:mealNo 2 .
317
+ dp:mP3_2 dp:inSlot dp:s4 .
318
+ dp:mP3_2 dp:usesFork dp:F23 .
319
+ dp:mP3_2 dp:usesFork dp:F34 .
320
+ _:sk_55 a dp:ForkState .
321
+ _:sk_55 dp:in dp:C8 .
322
+ _:sk_55 dp:fork dp:F51 .
323
+ _:sk_55 dp:holder dp:P1 .
324
+ _:sk_55 dp:cleanliness dp:Dirty .
325
+ _:sk_56 a dp:ForkState .
326
+ _:sk_56 dp:in dp:C8 .
327
+ _:sk_56 dp:fork dp:F23 .
328
+ _:sk_56 dp:holder dp:P3 .
329
+ _:sk_56 dp:cleanliness dp:Dirty .
330
+ _:sk_57 a dp:ForkState .
331
+ _:sk_57 dp:in dp:C8 .
332
+ _:sk_57 dp:fork dp:F12 .
333
+ _:sk_57 dp:holder dp:P1 .
334
+ _:sk_57 dp:cleanliness dp:Dirty .
335
+ _:sk_58 a dp:ForkState .
336
+ _:sk_58 dp:in dp:C8 .
337
+ _:sk_58 dp:fork dp:F34 .
338
+ _:sk_58 dp:holder dp:P3 .
339
+ _:sk_58 dp:cleanliness dp:Dirty .
340
+ _:sk_59 a dp:ForkState .
341
+ _:sk_59 dp:in dp:C8 .
342
+ _:sk_59 dp:fork dp:F45 .
343
+ _:sk_59 dp:holder dp:P5 .
344
+ _:sk_59 dp:cleanliness dp:Dirty .
345
+ _:sk_60 a dp:Request .
346
+ _:sk_60 dp:in dp:C8 .
347
+ _:sk_60 dp:from dp:P2 .
348
+ _:sk_60 dp:to dp:P1 .
349
+ _:sk_60 dp:fork dp:F12 .
350
+ _:sk_61 a dp:Request .
351
+ _:sk_61 dp:in dp:C8 .
352
+ _:sk_61 dp:from dp:P4 .
353
+ _:sk_61 dp:to dp:P3 .
354
+ _:sk_61 dp:fork dp:F34 .
355
+ _:sk_62 a dp:Request .
356
+ _:sk_62 dp:in dp:C8 .
357
+ _:sk_62 dp:from dp:P2 .
358
+ _:sk_62 dp:to dp:P3 .
359
+ _:sk_62 dp:fork dp:F23 .
360
+ _:sk_63 a dp:Request .
361
+ _:sk_63 dp:in dp:C8 .
362
+ _:sk_63 dp:from dp:P4 .
363
+ _:sk_63 dp:to dp:P5 .
364
+ _:sk_63 dp:fork dp:F45 .
365
+ _:sk_64 a dp:SendFork .
366
+ _:sk_64 dp:in dp:C8 .
367
+ _:sk_64 dp:from dp:P1 .
368
+ _:sk_64 dp:to dp:P2 .
369
+ _:sk_64 dp:fork dp:F12 .
370
+ _:sk_65 a dp:SendFork .
371
+ _:sk_65 dp:in dp:C8 .
372
+ _:sk_65 dp:from dp:P3 .
373
+ _:sk_65 dp:to dp:P4 .
374
+ _:sk_65 dp:fork dp:F34 .
375
+ _:sk_66 a dp:SendFork .
376
+ _:sk_66 dp:in dp:C8 .
377
+ _:sk_66 dp:from dp:P3 .
378
+ _:sk_66 dp:to dp:P2 .
379
+ _:sk_66 dp:fork dp:F23 .
380
+ _:sk_67 a dp:SendFork .
381
+ _:sk_67 dp:in dp:C8 .
382
+ _:sk_67 dp:from dp:P5 .
383
+ _:sk_67 dp:to dp:P4 .
384
+ _:sk_67 dp:fork dp:F45 .
385
+ _:sk_68 a dp:ForkState .
386
+ _:sk_68 dp:in dp:C9 .
387
+ _:sk_68 dp:fork dp:F12 .
388
+ _:sk_68 dp:holder dp:P2 .
389
+ _:sk_68 dp:cleanliness dp:Clean .
390
+ _:sk_69 a dp:ForkState .
391
+ _:sk_69 dp:in dp:C9 .
392
+ _:sk_69 dp:fork dp:F34 .
393
+ _:sk_69 dp:holder dp:P4 .
394
+ _:sk_69 dp:cleanliness dp:Clean .
395
+ _:sk_70 a dp:ForkState .
396
+ _:sk_70 dp:in dp:C9 .
397
+ _:sk_70 dp:fork dp:F23 .
398
+ _:sk_70 dp:holder dp:P2 .
399
+ _:sk_70 dp:cleanliness dp:Clean .
400
+ _:sk_71 a dp:ForkState .
401
+ _:sk_71 dp:in dp:C9 .
402
+ _:sk_71 dp:fork dp:F45 .
403
+ _:sk_71 dp:holder dp:P4 .
404
+ _:sk_71 dp:cleanliness dp:Clean .
405
+ _:sk_72 a dp:ForkState .
406
+ _:sk_72 dp:in dp:C9 .
407
+ _:sk_72 dp:fork dp:F51 .
408
+ _:sk_72 dp:holder dp:P1 .
409
+ _:sk_72 dp:cleanliness dp:Dirty .
410
+ dp:mP2_2 a dp:Meal .
411
+ dp:mP2_2 dp:philosopher dp:P2 .
412
+ dp:mP2_2 dp:mealNo 2 .
413
+ dp:mP2_2 dp:inSlot dp:s5 .
414
+ dp:mP2_2 dp:usesFork dp:F12 .
415
+ dp:mP2_2 dp:usesFork dp:F23 .
416
+ dp:mP4_2 a dp:Meal .
417
+ dp:mP4_2 dp:philosopher dp:P4 .
418
+ dp:mP4_2 dp:mealNo 2 .
419
+ dp:mP4_2 dp:inSlot dp:s5 .
420
+ dp:mP4_2 dp:usesFork dp:F34 .
421
+ dp:mP4_2 dp:usesFork dp:F45 .
422
+ _:sk_73 a dp:ForkState .
423
+ _:sk_73 dp:in dp:C10 .
424
+ _:sk_73 dp:fork dp:F12 .
425
+ _:sk_73 dp:holder dp:P2 .
426
+ _:sk_73 dp:cleanliness dp:Dirty .
427
+ _:sk_74 a dp:ForkState .
428
+ _:sk_74 dp:in dp:C10 .
429
+ _:sk_74 dp:fork dp:F34 .
430
+ _:sk_74 dp:holder dp:P4 .
431
+ _:sk_74 dp:cleanliness dp:Dirty .
432
+ _:sk_75 a dp:ForkState .
433
+ _:sk_75 dp:in dp:C10 .
434
+ _:sk_75 dp:fork dp:F23 .
435
+ _:sk_75 dp:holder dp:P2 .
436
+ _:sk_75 dp:cleanliness dp:Dirty .
437
+ _:sk_76 a dp:ForkState .
438
+ _:sk_76 dp:in dp:C10 .
439
+ _:sk_76 dp:fork dp:F45 .
440
+ _:sk_76 dp:holder dp:P4 .
441
+ _:sk_76 dp:cleanliness dp:Dirty .
442
+ _:sk_77 a dp:ForkState .
443
+ _:sk_77 dp:in dp:C10 .
444
+ _:sk_77 dp:fork dp:F51 .
445
+ _:sk_77 dp:holder dp:P1 .
446
+ _:sk_77 dp:cleanliness dp:Dirty .
447
+ _:sk_78 a dp:Request .
448
+ _:sk_78 dp:in dp:C10 .
449
+ _:sk_78 dp:from dp:P5 .
450
+ _:sk_78 dp:to dp:P4 .
451
+ _:sk_78 dp:fork dp:F45 .
452
+ _:sk_79 a dp:Request .
453
+ _:sk_79 dp:in dp:C10 .
454
+ _:sk_79 dp:from dp:P5 .
455
+ _:sk_79 dp:to dp:P1 .
456
+ _:sk_79 dp:fork dp:F51 .
457
+ _:sk_80 a dp:SendFork .
458
+ _:sk_80 dp:in dp:C10 .
459
+ _:sk_80 dp:from dp:P4 .
460
+ _:sk_80 dp:to dp:P5 .
461
+ _:sk_80 dp:fork dp:F45 .
462
+ _:sk_81 a dp:SendFork .
463
+ _:sk_81 dp:in dp:C10 .
464
+ _:sk_81 dp:from dp:P1 .
465
+ _:sk_81 dp:to dp:P5 .
466
+ _:sk_81 dp:fork dp:F51 .
467
+ _:sk_82 a dp:ForkState .
468
+ _:sk_82 dp:in dp:C11 .
469
+ _:sk_82 dp:fork dp:F45 .
470
+ _:sk_82 dp:holder dp:P5 .
471
+ _:sk_82 dp:cleanliness dp:Clean .
472
+ _:sk_83 a dp:ForkState .
473
+ _:sk_83 dp:in dp:C11 .
474
+ _:sk_83 dp:fork dp:F51 .
475
+ _:sk_83 dp:holder dp:P5 .
476
+ _:sk_83 dp:cleanliness dp:Clean .
477
+ _:sk_84 a dp:ForkState .
478
+ _:sk_84 dp:in dp:C11 .
479
+ _:sk_84 dp:fork dp:F12 .
480
+ _:sk_84 dp:holder dp:P2 .
481
+ _:sk_84 dp:cleanliness dp:Dirty .
482
+ _:sk_85 a dp:ForkState .
483
+ _:sk_85 dp:in dp:C11 .
484
+ _:sk_85 dp:fork dp:F23 .
485
+ _:sk_85 dp:holder dp:P2 .
486
+ _:sk_85 dp:cleanliness dp:Dirty .
487
+ _:sk_86 a dp:ForkState .
488
+ _:sk_86 dp:in dp:C11 .
489
+ _:sk_86 dp:fork dp:F34 .
490
+ _:sk_86 dp:holder dp:P4 .
491
+ _:sk_86 dp:cleanliness dp:Dirty .
492
+ dp:mP5_2 a dp:Meal .
493
+ dp:mP5_2 dp:philosopher dp:P5 .
494
+ dp:mP5_2 dp:mealNo 2 .
495
+ dp:mP5_2 dp:inSlot dp:s6 .
496
+ dp:mP5_2 dp:usesFork dp:F45 .
497
+ dp:mP5_2 dp:usesFork dp:F51 .
498
+ _:sk_87 a dp:ForkState .
499
+ _:sk_87 dp:in dp:C12 .
500
+ _:sk_87 dp:fork dp:F45 .
501
+ _:sk_87 dp:holder dp:P5 .
502
+ _:sk_87 dp:cleanliness dp:Dirty .
503
+ _:sk_88 a dp:ForkState .
504
+ _:sk_88 dp:in dp:C12 .
505
+ _:sk_88 dp:fork dp:F51 .
506
+ _:sk_88 dp:holder dp:P5 .
507
+ _:sk_88 dp:cleanliness dp:Dirty .
508
+ _:sk_89 a dp:ForkState .
509
+ _:sk_89 dp:in dp:C12 .
510
+ _:sk_89 dp:fork dp:F12 .
511
+ _:sk_89 dp:holder dp:P2 .
512
+ _:sk_89 dp:cleanliness dp:Dirty .
513
+ _:sk_90 a dp:ForkState .
514
+ _:sk_90 dp:in dp:C12 .
515
+ _:sk_90 dp:fork dp:F23 .
516
+ _:sk_90 dp:holder dp:P2 .
517
+ _:sk_90 dp:cleanliness dp:Dirty .
518
+ _:sk_91 a dp:ForkState .
519
+ _:sk_91 dp:in dp:C12 .
520
+ _:sk_91 dp:fork dp:F34 .
521
+ _:sk_91 dp:holder dp:P4 .
522
+ _:sk_91 dp:cleanliness dp:Dirty .
523
+ _:sk_92 a dp:Request .
524
+ _:sk_92 dp:in dp:C12 .
525
+ _:sk_92 dp:from dp:P1 .
526
+ _:sk_92 dp:to dp:P5 .
527
+ _:sk_92 dp:fork dp:F51 .
528
+ _:sk_93 a dp:Request .
529
+ _:sk_93 dp:in dp:C12 .
530
+ _:sk_93 dp:from dp:P3 .
531
+ _:sk_93 dp:to dp:P2 .
532
+ _:sk_93 dp:fork dp:F23 .
533
+ _:sk_94 a dp:Request .
534
+ _:sk_94 dp:in dp:C12 .
535
+ _:sk_94 dp:from dp:P1 .
536
+ _:sk_94 dp:to dp:P2 .
537
+ _:sk_94 dp:fork dp:F12 .
538
+ _:sk_95 a dp:Request .
539
+ _:sk_95 dp:in dp:C12 .
540
+ _:sk_95 dp:from dp:P3 .
541
+ _:sk_95 dp:to dp:P4 .
542
+ _:sk_95 dp:fork dp:F34 .
543
+ _:sk_96 a dp:SendFork .
544
+ _:sk_96 dp:in dp:C12 .
545
+ _:sk_96 dp:from dp:P5 .
546
+ _:sk_96 dp:to dp:P1 .
547
+ _:sk_96 dp:fork dp:F51 .
548
+ _:sk_97 a dp:SendFork .
549
+ _:sk_97 dp:in dp:C12 .
550
+ _:sk_97 dp:from dp:P2 .
551
+ _:sk_97 dp:to dp:P3 .
552
+ _:sk_97 dp:fork dp:F23 .
553
+ _:sk_98 a dp:SendFork .
554
+ _:sk_98 dp:in dp:C12 .
555
+ _:sk_98 dp:from dp:P2 .
556
+ _:sk_98 dp:to dp:P1 .
557
+ _:sk_98 dp:fork dp:F12 .
558
+ _:sk_99 a dp:SendFork .
559
+ _:sk_99 dp:in dp:C12 .
560
+ _:sk_99 dp:from dp:P4 .
561
+ _:sk_99 dp:to dp:P3 .
562
+ _:sk_99 dp:fork dp:F34 .
563
+ _:sk_100 a dp:ForkState .
564
+ _:sk_100 dp:in dp:C13 .
565
+ _:sk_100 dp:fork dp:F51 .
566
+ _:sk_100 dp:holder dp:P1 .
567
+ _:sk_100 dp:cleanliness dp:Clean .
568
+ _:sk_101 a dp:ForkState .
569
+ _:sk_101 dp:in dp:C13 .
570
+ _:sk_101 dp:fork dp:F23 .
571
+ _:sk_101 dp:holder dp:P3 .
572
+ _:sk_101 dp:cleanliness dp:Clean .
573
+ _:sk_102 a dp:ForkState .
574
+ _:sk_102 dp:in dp:C13 .
575
+ _:sk_102 dp:fork dp:F12 .
576
+ _:sk_102 dp:holder dp:P1 .
577
+ _:sk_102 dp:cleanliness dp:Clean .
578
+ _:sk_103 a dp:ForkState .
579
+ _:sk_103 dp:in dp:C13 .
580
+ _:sk_103 dp:fork dp:F34 .
581
+ _:sk_103 dp:holder dp:P3 .
582
+ _:sk_103 dp:cleanliness dp:Clean .
583
+ _:sk_104 a dp:ForkState .
584
+ _:sk_104 dp:in dp:C13 .
585
+ _:sk_104 dp:fork dp:F45 .
586
+ _:sk_104 dp:holder dp:P5 .
587
+ _:sk_104 dp:cleanliness dp:Dirty .
588
+ dp:mP1_3 a dp:Meal .
589
+ dp:mP1_3 dp:philosopher dp:P1 .
590
+ dp:mP1_3 dp:mealNo 3 .
591
+ dp:mP1_3 dp:inSlot dp:s7 .
592
+ dp:mP1_3 dp:usesFork dp:F51 .
593
+ dp:mP1_3 dp:usesFork dp:F12 .
594
+ dp:mP3_3 a dp:Meal .
595
+ dp:mP3_3 dp:philosopher dp:P3 .
596
+ dp:mP3_3 dp:mealNo 3 .
597
+ dp:mP3_3 dp:inSlot dp:s7 .
598
+ dp:mP3_3 dp:usesFork dp:F23 .
599
+ dp:mP3_3 dp:usesFork dp:F34 .
600
+ _:sk_105 a dp:ForkState .
601
+ _:sk_105 dp:in dp:C14 .
602
+ _:sk_105 dp:fork dp:F51 .
603
+ _:sk_105 dp:holder dp:P1 .
604
+ _:sk_105 dp:cleanliness dp:Dirty .
605
+ _:sk_106 a dp:ForkState .
606
+ _:sk_106 dp:in dp:C14 .
607
+ _:sk_106 dp:fork dp:F23 .
608
+ _:sk_106 dp:holder dp:P3 .
609
+ _:sk_106 dp:cleanliness dp:Dirty .
610
+ _:sk_107 a dp:ForkState .
611
+ _:sk_107 dp:in dp:C14 .
612
+ _:sk_107 dp:fork dp:F12 .
613
+ _:sk_107 dp:holder dp:P1 .
614
+ _:sk_107 dp:cleanliness dp:Dirty .
615
+ _:sk_108 a dp:ForkState .
616
+ _:sk_108 dp:in dp:C14 .
617
+ _:sk_108 dp:fork dp:F34 .
618
+ _:sk_108 dp:holder dp:P3 .
619
+ _:sk_108 dp:cleanliness dp:Dirty .
620
+ _:sk_109 a dp:ForkState .
621
+ _:sk_109 dp:in dp:C14 .
622
+ _:sk_109 dp:fork dp:F45 .
623
+ _:sk_109 dp:holder dp:P5 .
624
+ _:sk_109 dp:cleanliness dp:Dirty .
625
+ dp:P1 dp:ateTimes 3 .
626
+ dp:P3 dp:ateTimes 3 .
627
+ _:sk_110 a dp:Request .
628
+ _:sk_110 dp:in dp:C14 .
629
+ _:sk_110 dp:from dp:P2 .
630
+ _:sk_110 dp:to dp:P1 .
631
+ _:sk_110 dp:fork dp:F12 .
632
+ _:sk_111 a dp:Request .
633
+ _:sk_111 dp:in dp:C14 .
634
+ _:sk_111 dp:from dp:P4 .
635
+ _:sk_111 dp:to dp:P3 .
636
+ _:sk_111 dp:fork dp:F34 .
637
+ _:sk_112 a dp:Request .
638
+ _:sk_112 dp:in dp:C14 .
639
+ _:sk_112 dp:from dp:P2 .
640
+ _:sk_112 dp:to dp:P3 .
641
+ _:sk_112 dp:fork dp:F23 .
642
+ _:sk_113 a dp:Request .
643
+ _:sk_113 dp:in dp:C14 .
644
+ _:sk_113 dp:from dp:P4 .
645
+ _:sk_113 dp:to dp:P5 .
646
+ _:sk_113 dp:fork dp:F45 .
647
+ _:sk_114 a dp:SendFork .
648
+ _:sk_114 dp:in dp:C14 .
649
+ _:sk_114 dp:from dp:P1 .
650
+ _:sk_114 dp:to dp:P2 .
651
+ _:sk_114 dp:fork dp:F12 .
652
+ _:sk_115 a dp:SendFork .
653
+ _:sk_115 dp:in dp:C14 .
654
+ _:sk_115 dp:from dp:P3 .
655
+ _:sk_115 dp:to dp:P4 .
656
+ _:sk_115 dp:fork dp:F34 .
657
+ _:sk_116 a dp:SendFork .
658
+ _:sk_116 dp:in dp:C14 .
659
+ _:sk_116 dp:from dp:P3 .
660
+ _:sk_116 dp:to dp:P2 .
661
+ _:sk_116 dp:fork dp:F23 .
662
+ _:sk_117 a dp:SendFork .
663
+ _:sk_117 dp:in dp:C14 .
664
+ _:sk_117 dp:from dp:P5 .
665
+ _:sk_117 dp:to dp:P4 .
666
+ _:sk_117 dp:fork dp:F45 .
667
+ _:sk_118 a dp:ForkState .
668
+ _:sk_118 dp:in dp:C15 .
669
+ _:sk_118 dp:fork dp:F12 .
670
+ _:sk_118 dp:holder dp:P2 .
671
+ _:sk_118 dp:cleanliness dp:Clean .
672
+ _:sk_119 a dp:ForkState .
673
+ _:sk_119 dp:in dp:C15 .
674
+ _:sk_119 dp:fork dp:F34 .
675
+ _:sk_119 dp:holder dp:P4 .
676
+ _:sk_119 dp:cleanliness dp:Clean .
677
+ _:sk_120 a dp:ForkState .
678
+ _:sk_120 dp:in dp:C15 .
679
+ _:sk_120 dp:fork dp:F23 .
680
+ _:sk_120 dp:holder dp:P2 .
681
+ _:sk_120 dp:cleanliness dp:Clean .
682
+ _:sk_121 a dp:ForkState .
683
+ _:sk_121 dp:in dp:C15 .
684
+ _:sk_121 dp:fork dp:F45 .
685
+ _:sk_121 dp:holder dp:P4 .
686
+ _:sk_121 dp:cleanliness dp:Clean .
687
+ _:sk_122 a dp:ForkState .
688
+ _:sk_122 dp:in dp:C15 .
689
+ _:sk_122 dp:fork dp:F51 .
690
+ _:sk_122 dp:holder dp:P1 .
691
+ _:sk_122 dp:cleanliness dp:Dirty .
692
+ dp:mP2_3 a dp:Meal .
693
+ dp:mP2_3 dp:philosopher dp:P2 .
694
+ dp:mP2_3 dp:mealNo 3 .
695
+ dp:mP2_3 dp:inSlot dp:s8 .
696
+ dp:mP2_3 dp:usesFork dp:F12 .
697
+ dp:mP2_3 dp:usesFork dp:F23 .
698
+ dp:mP4_3 a dp:Meal .
699
+ dp:mP4_3 dp:philosopher dp:P4 .
700
+ dp:mP4_3 dp:mealNo 3 .
701
+ dp:mP4_3 dp:inSlot dp:s8 .
702
+ dp:mP4_3 dp:usesFork dp:F34 .
703
+ dp:mP4_3 dp:usesFork dp:F45 .
704
+ _:sk_123 a dp:ForkState .
705
+ _:sk_123 dp:in dp:C16 .
706
+ _:sk_123 dp:fork dp:F12 .
707
+ _:sk_123 dp:holder dp:P2 .
708
+ _:sk_123 dp:cleanliness dp:Dirty .
709
+ _:sk_124 a dp:ForkState .
710
+ _:sk_124 dp:in dp:C16 .
711
+ _:sk_124 dp:fork dp:F34 .
712
+ _:sk_124 dp:holder dp:P4 .
713
+ _:sk_124 dp:cleanliness dp:Dirty .
714
+ _:sk_125 a dp:ForkState .
715
+ _:sk_125 dp:in dp:C16 .
716
+ _:sk_125 dp:fork dp:F23 .
717
+ _:sk_125 dp:holder dp:P2 .
718
+ _:sk_125 dp:cleanliness dp:Dirty .
719
+ _:sk_126 a dp:ForkState .
720
+ _:sk_126 dp:in dp:C16 .
721
+ _:sk_126 dp:fork dp:F45 .
722
+ _:sk_126 dp:holder dp:P4 .
723
+ _:sk_126 dp:cleanliness dp:Dirty .
724
+ _:sk_127 a dp:ForkState .
725
+ _:sk_127 dp:in dp:C16 .
726
+ _:sk_127 dp:fork dp:F51 .
727
+ _:sk_127 dp:holder dp:P1 .
728
+ _:sk_127 dp:cleanliness dp:Dirty .
729
+ dp:P2 dp:ateTimes 3 .
730
+ dp:P4 dp:ateTimes 3 .
731
+ _:sk_128 a dp:Request .
732
+ _:sk_128 dp:in dp:C16 .
733
+ _:sk_128 dp:from dp:P5 .
734
+ _:sk_128 dp:to dp:P4 .
735
+ _:sk_128 dp:fork dp:F45 .
736
+ _:sk_129 a dp:Request .
737
+ _:sk_129 dp:in dp:C16 .
738
+ _:sk_129 dp:from dp:P5 .
739
+ _:sk_129 dp:to dp:P1 .
740
+ _:sk_129 dp:fork dp:F51 .
741
+ _:sk_130 a dp:SendFork .
742
+ _:sk_130 dp:in dp:C16 .
743
+ _:sk_130 dp:from dp:P4 .
744
+ _:sk_130 dp:to dp:P5 .
745
+ _:sk_130 dp:fork dp:F45 .
746
+ _:sk_131 a dp:SendFork .
747
+ _:sk_131 dp:in dp:C16 .
748
+ _:sk_131 dp:from dp:P1 .
749
+ _:sk_131 dp:to dp:P5 .
750
+ _:sk_131 dp:fork dp:F51 .
751
+ _:sk_132 a dp:ForkState .
752
+ _:sk_132 dp:in dp:C17 .
753
+ _:sk_132 dp:fork dp:F45 .
754
+ _:sk_132 dp:holder dp:P5 .
755
+ _:sk_132 dp:cleanliness dp:Clean .
756
+ _:sk_133 a dp:ForkState .
757
+ _:sk_133 dp:in dp:C17 .
758
+ _:sk_133 dp:fork dp:F51 .
759
+ _:sk_133 dp:holder dp:P5 .
760
+ _:sk_133 dp:cleanliness dp:Clean .
761
+ _:sk_134 a dp:ForkState .
762
+ _:sk_134 dp:in dp:C17 .
763
+ _:sk_134 dp:fork dp:F12 .
764
+ _:sk_134 dp:holder dp:P2 .
765
+ _:sk_134 dp:cleanliness dp:Dirty .
766
+ _:sk_135 a dp:ForkState .
767
+ _:sk_135 dp:in dp:C17 .
768
+ _:sk_135 dp:fork dp:F23 .
769
+ _:sk_135 dp:holder dp:P2 .
770
+ _:sk_135 dp:cleanliness dp:Dirty .
771
+ _:sk_136 a dp:ForkState .
772
+ _:sk_136 dp:in dp:C17 .
773
+ _:sk_136 dp:fork dp:F34 .
774
+ _:sk_136 dp:holder dp:P4 .
775
+ _:sk_136 dp:cleanliness dp:Dirty .
776
+ dp:mP5_3 a dp:Meal .
777
+ dp:mP5_3 dp:philosopher dp:P5 .
778
+ dp:mP5_3 dp:mealNo 3 .
779
+ dp:mP5_3 dp:inSlot dp:s9 .
780
+ dp:mP5_3 dp:usesFork dp:F45 .
781
+ dp:mP5_3 dp:usesFork dp:F51 .
782
+ _:sk_137 a dp:ForkState .
783
+ _:sk_137 dp:in dp:C18 .
784
+ _:sk_137 dp:fork dp:F45 .
785
+ _:sk_137 dp:holder dp:P5 .
786
+ _:sk_137 dp:cleanliness dp:Dirty .
787
+ _:sk_138 a dp:ForkState .
788
+ _:sk_138 dp:in dp:C18 .
789
+ _:sk_138 dp:fork dp:F51 .
790
+ _:sk_138 dp:holder dp:P5 .
791
+ _:sk_138 dp:cleanliness dp:Dirty .
792
+ _:sk_139 a dp:ForkState .
793
+ _:sk_139 dp:in dp:C18 .
794
+ _:sk_139 dp:fork dp:F12 .
795
+ _:sk_139 dp:holder dp:P2 .
796
+ _:sk_139 dp:cleanliness dp:Dirty .
797
+ _:sk_140 a dp:ForkState .
798
+ _:sk_140 dp:in dp:C18 .
799
+ _:sk_140 dp:fork dp:F23 .
800
+ _:sk_140 dp:holder dp:P2 .
801
+ _:sk_140 dp:cleanliness dp:Dirty .
802
+ _:sk_141 a dp:ForkState .
803
+ _:sk_141 dp:in dp:C18 .
804
+ _:sk_141 dp:fork dp:F34 .
805
+ _:sk_141 dp:holder dp:P4 .
806
+ _:sk_141 dp:cleanliness dp:Dirty .
807
+ dp:P5 dp:ateTimes 3 .
808
+ dp:Trace1 dp:everyoneAteTimes3 true .