forked from naturalog/tauchain
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathn3test.nq
349 lines (344 loc) · 31.5 KB
/
n3test.nq
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
_:li2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li1 .
_:li2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#statements_optional> .
_:li1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li6 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li6 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li5 .
_:li5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li4 .
_:li5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li4 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#statement> .
_:li4 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li3 .
_:li3 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "..." .
_:li3 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li1 .
_:li8 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li7 .
_:li8 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li7 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#statementlist> .
_:li7 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li12 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li12 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li11 .
_:li11 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li10 .
_:li11 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li10 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#statement> .
_:li10 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li9 .
_:li9 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#statementtail> .
_:li9 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li15 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li15 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li14 .
_:li14 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li13 .
_:li14 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li13 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "..." .
_:li13 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li7 .
_:li23 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li16 .
_:li23 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li22 .
_:li22 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li17 .
_:li22 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li21 .
_:li21 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li18 .
_:li21 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li20 .
_:li20 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li19 .
_:li20 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li16 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#declaration> .
_:li16 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li17 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#universal> .
_:li17 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li18 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#existential> .
_:li18 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li19 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#simpleStatement> .
_:li19 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li25 .
_:li26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li25 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "@forAll" .
_:li25 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li24 .
_:li24 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:L88C4 .
_:li24 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li29 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li28 .
_:li29 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li28 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "@forSome" .
_:li28 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li27 .
_:li27 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:L93C5 .
_:li27 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li38 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li31 .
_:li38 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li37 .
_:li37 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li33 .
_:li37 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li36 .
_:li36 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li35 .
_:li36 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li31 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "@base" .
_:li31 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li30 .
_:li30 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#explicituri> .
_:li30 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li33 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "@prefix" .
_:li33 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li32 .
_:li32 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#prefix> .
_:li32 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li30 .
_:li35 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "@keywords" .
_:li35 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li34 .
_:li34 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:L100C17 .
_:li34 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li41 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li40 .
_:li41 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li40 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#subject> .
_:li40 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li39 .
_:li39 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#propertylist> .
_:li39 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li47 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li47 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li46 .
_:li46 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li45 .
_:li46 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li45 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#predicate> .
_:li45 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li44 .
_:li44 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#object> .
_:li44 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li43 .
_:li43 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#objecttail> .
_:li43 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li42 .
_:li42 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#propertylisttail> .
_:li42 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li50 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li50 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li49 .
_:li49 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li48 .
_:li49 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li48 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> ";" .
_:li48 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li39 .
_:li55 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li55 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li54 .
_:li54 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li53 .
_:li54 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li53 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "," .
_:li53 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li52 .
_:li52 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#object> .
_:li52 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li51 .
_:li51 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#objecttail> .
_:li51 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li71 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li56 .
_:li71 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li70 .
_:li70 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li57 .
_:li70 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li69 .
_:li69 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li60 .
_:li69 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li68 .
_:li68 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li61 .
_:li68 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li67 .
_:li67 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li62 .
_:li67 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li66 .
_:li66 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li63 .
_:li66 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li65 .
_:li65 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li64 .
_:li65 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li56 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#expression> .
_:li56 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li57 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "@has" .
_:li57 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li56 .
_:li60 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "@is" .
_:li60 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li59 .
_:li59 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#expression> .
_:li59 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li58 .
_:li58 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "@of" .
_:li58 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li61 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "@a" .
_:li61 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li62 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "=" .
_:li62 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li63 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "=>" .
_:li63 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li64 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "<=" .
_:li64 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li72 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li56 .
_:li72 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li75 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li74 .
_:li75 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li74 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#pathitem> .
_:li74 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li73 .
_:li73 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#pathtail> .
_:li73 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li80 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li80 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li79 .
_:li79 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li76 .
_:li79 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li78 .
_:li78 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li77 .
_:li78 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li76 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "!" .
_:li76 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li56 .
_:li77 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "^" .
_:li77 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li56 .
_:li102 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li81 .
_:li102 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li101 .
_:li101 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li84 .
_:li101 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li100 .
_:li100 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li85 .
_:li100 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li99 .
_:li99 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li86 .
_:li99 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li98 .
_:li98 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li87 .
_:li98 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li97 .
_:li97 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li90 .
_:li97 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li96 .
_:li96 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li93 .
_:li96 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li95 .
_:li95 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li94 .
_:li95 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li81 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#symbol> .
_:li81 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li84 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "{" .
_:li84 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li83 .
_:li83 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#formulacontent> .
_:li83 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li82 .
_:li82 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "}" .
_:li82 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li85 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#quickvariable> .
_:li85 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li86 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#numericliteral> .
_:li86 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li87 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#literal> .
_:li87 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li90 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "[" .
_:li90 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li89 .
_:li89 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#propertylist> .
_:li89 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li88 .
_:li88 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "]" .
_:li88 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li93 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "(" .
_:li93 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li92 .
_:li92 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#pathlist> .
_:li92 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li91 .
_:li91 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> ")" .
_:li91 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li94 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#boolean> .
_:li94 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li106 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li103 .
_:li106 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li105 .
_:li105 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li104 .
_:li105 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li103 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "@true" .
_:li103 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li104 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "@false" .
_:li104 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li110 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li110 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li109 .
_:li109 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li108 .
_:li109 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li108 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#expression> .
_:li108 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li107 .
_:li107 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#pathlist> .
_:li107 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li113 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li30 .
_:li113 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li112 .
_:li112 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li111 .
_:li112 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li111 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#qname> .
_:li111 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li121 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li114 .
_:li121 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li120 .
_:li120 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li115 .
_:li120 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li119 .
_:li119 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li116 .
_:li119 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li118 .
_:li118 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li117 .
_:li118 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li114 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#integer> .
_:li114 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#rational> .
_:li115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li116 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#double> .
_:li116 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li117 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#decimal> .
_:li117 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li125 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li124 .
_:li125 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li124 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#integer> .
_:li124 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li123 .
_:li123 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "/" .
_:li123 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li122 .
_:li122 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#unsignedint> .
_:li122 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li128 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li127 .
_:li128 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li127 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#string> .
_:li127 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li126 .
_:li126 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#dtlang> .
_:li126 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li134 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li134 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li133 .
_:li133 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li130 .
_:li133 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li132 .
_:li132 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:li131 .
_:li132 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li130 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "@" .
_:li130 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li129 .
_:li129 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2000/10/swap/grammar/n3#langcode> .
_:li129 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:li131 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> "^^" .
_:li131 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:li81 .
<http://www.w3.org/2000/10/swap/grammar/n3#barename> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "_" .
<http://www.w3.org/2000/10/swap/grammar/n3#barename> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "a" .
<http://www.w3.org/2000/10/swap/grammar/n3#barename> <http://www.w3.org/2000/10/swap/grammar/bnf#matches> "[A-Z_a-z][\\-0-9A-Z_a-z]*" .
<http://www.w3.org/2000/10/swap/grammar/n3#boolean> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li106 .
<http://www.w3.org/2000/10/swap/grammar/n3#date> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "0" .
<http://www.w3.org/2000/10/swap/grammar/n3#date> <http://www.w3.org/2000/10/swap/grammar/bnf#matches> "[0-9][0-9]-[0-9][0-9]-[0-9][0-9]Z?" .
<http://www.w3.org/2000/10/swap/grammar/n3#dateTime> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "0" .
<http://www.w3.org/2000/10/swap/grammar/n3#dateTime> <http://www.w3.org/2000/10/swap/grammar/bnf#matches> "[0-9][0-9][0-9][0-9]-[0-9][0-9]-[0-9][0-9](T[0-9][0-9]:[0-9][0-9](:[0-9][0-9](\\.[0-9]*)?)?)?Z?" .
<http://www.w3.org/2000/10/swap/grammar/n3#decimal> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "+" .
<http://www.w3.org/2000/10/swap/grammar/n3#decimal> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "-" .
<http://www.w3.org/2000/10/swap/grammar/n3#decimal> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "0" .
<http://www.w3.org/2000/10/swap/grammar/n3#decimal> <http://www.w3.org/2000/10/swap/grammar/bnf#matches> "[-+]?[0-9]+\\.[0-9]*" .
<http://www.w3.org/2000/10/swap/grammar/n3#declaration> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li38 .
<http://www.w3.org/2000/10/swap/grammar/n3#document> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/swap/grammar/bnf-rules#Used> .
<http://www.w3.org/2000/10/swap/grammar/n3#document> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li2 .
<http://www.w3.org/2000/10/swap/grammar/n3#double> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "+" .
<http://www.w3.org/2000/10/swap/grammar/n3#double> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "-" .
<http://www.w3.org/2000/10/swap/grammar/n3#double> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "0" .
<http://www.w3.org/2000/10/swap/grammar/n3#double> <http://www.w3.org/2000/10/swap/grammar/bnf#matches> "[-+]?[0-9]+(\\.[0-9]+)?([eE][-+]?[0-9]+)" .
<http://www.w3.org/2000/10/swap/grammar/n3#dtlang> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li134 .
<http://www.w3.org/2000/10/swap/grammar/n3#existential> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li29 .
<http://www.w3.org/2000/10/swap/grammar/n3#explicituri> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "<" .
<http://www.w3.org/2000/10/swap/grammar/n3#explicituri> <http://www.w3.org/2000/10/swap/grammar/bnf#matches> "<[^>]*>" .
<http://www.w3.org/2000/10/swap/grammar/n3#expression> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li75 .
<http://www.w3.org/2000/10/swap/grammar/n3#formulacontent> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li8 .
<http://www.w3.org/2000/10/swap/grammar/n3#integer> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "+" .
<http://www.w3.org/2000/10/swap/grammar/n3#integer> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "-" .
<http://www.w3.org/2000/10/swap/grammar/n3#integer> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "0" .
<http://www.w3.org/2000/10/swap/grammar/n3#integer> <http://www.w3.org/2000/10/swap/grammar/bnf#matches> "[-+]?[0-9]+" .
<http://www.w3.org/2000/10/swap/grammar/n3#langcode> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "a" .
<http://www.w3.org/2000/10/swap/grammar/n3#langcode> <http://www.w3.org/2000/10/swap/grammar/bnf#matches> "[a-z]+(-[a-z0-9]+)*" .
<http://www.w3.org/2000/10/swap/grammar/n3#language> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/swap/grammar/bnf#Language> .
<http://www.w3.org/2000/10/swap/grammar/n3#language> <http://www.w3.org/2000/10/swap/grammar/bnf#document> <http://www.w3.org/2000/10/swap/grammar/n3#document> .
<http://www.w3.org/2000/10/swap/grammar/n3#language> <http://www.w3.org/2000/10/swap/grammar/bnf#whiteSpace> "(?m)#(.)*?$" .
<http://www.w3.org/2000/10/swap/grammar/n3#literal> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li128 .
<http://www.w3.org/2000/10/swap/grammar/n3#numericliteral> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li121 .
<http://www.w3.org/2000/10/swap/grammar/n3#object> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li72 .
<http://www.w3.org/2000/10/swap/grammar/n3#objecttail> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li55 .
<http://www.w3.org/2000/10/swap/grammar/n3#pathitem> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li102 .
<http://www.w3.org/2000/10/swap/grammar/n3#pathlist> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li110 .
<http://www.w3.org/2000/10/swap/grammar/n3#pathtail> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li80 .
<http://www.w3.org/2000/10/swap/grammar/n3#predicate> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li71 .
<http://www.w3.org/2000/10/swap/grammar/n3#prefix> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> ":" .
<http://www.w3.org/2000/10/swap/grammar/n3#prefix> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "_" .
<http://www.w3.org/2000/10/swap/grammar/n3#prefix> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "a" .
<http://www.w3.org/2000/10/swap/grammar/n3#prefix> <http://www.w3.org/2000/10/swap/grammar/bnf#matches> "([A-Z_a-z][\\-0-9A-Z_a-z]*)?:" .
<http://www.w3.org/2000/10/swap/grammar/n3#propertylist> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li47 .
<http://www.w3.org/2000/10/swap/grammar/n3#propertylisttail> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li50 .
<http://www.w3.org/2000/10/swap/grammar/n3#qname> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> ":" .
<http://www.w3.org/2000/10/swap/grammar/n3#qname> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "_" .
<http://www.w3.org/2000/10/swap/grammar/n3#qname> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "a" .
<http://www.w3.org/2000/10/swap/grammar/n3#qname> <http://www.w3.org/2000/10/swap/grammar/bnf#matches> "(([A-Z_a-z][\\-0-9A-Z_a-z]*)?:)?[A-Z_a-z][\\-0-9A-Z_a-z]*" .
<http://www.w3.org/2000/10/swap/grammar/n3#quickvariable> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "?" .
<http://www.w3.org/2000/10/swap/grammar/n3#quickvariable> <http://www.w3.org/2000/10/swap/grammar/bnf#matches> "\\?[A-Z_a-z][\\-0-9A-Z_a-z]*" .
<http://www.w3.org/2000/10/swap/grammar/n3#rational> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li125 .
<http://www.w3.org/2000/10/swap/grammar/n3#simpleStatement> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li41 .
<http://www.w3.org/2000/10/swap/grammar/n3#statement> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li23 .
<http://www.w3.org/2000/10/swap/grammar/n3#statementlist> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li12 .
<http://www.w3.org/2000/10/swap/grammar/n3#statements_optional> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li6 .
<http://www.w3.org/2000/10/swap/grammar/n3#statementtail> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li15 .
<http://www.w3.org/2000/10/swap/grammar/n3#string> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "\"" .
<http://www.w3.org/2000/10/swap/grammar/n3#string> <http://www.w3.org/2000/10/swap/grammar/bnf#matches> "(\"\"\"[^\"\\\\]*(?:(?:\\\\.)[^\"\\\\]*)*\"\"\")|(\"[^\"\\\\]*(?:\\\\.[^\"\\\\]*)*\")" .
<http://www.w3.org/2000/10/swap/grammar/n3#subject> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li72 .
<http://www.w3.org/2000/10/swap/grammar/n3#symbol> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li113 .
<http://www.w3.org/2000/10/swap/grammar/n3#universal> <http://www.w3.org/2000/10/swap/grammar/bnf#mustBeOneSequence> _:li26 .
<http://www.w3.org/2000/10/swap/grammar/n3#unsignedint> <http://www.w3.org/2000/10/swap/grammar/bnf#canStartWith> "0" .
<http://www.w3.org/2000/10/swap/grammar/n3#unsignedint> <http://www.w3.org/2000/10/swap/grammar/bnf#matches> "[0-9]+" .
_:L88C4 <http://www.w3.org/2000/10/swap/grammar/bnf#commaSeparatedListOf> <http://www.w3.org/2000/10/swap/grammar/n3#symbol> .
_:L93C5 <http://www.w3.org/2000/10/swap/grammar/bnf#commaSeparatedListOf> <http://www.w3.org/2000/10/swap/grammar/n3#symbol> .
_:L100C17 <http://www.w3.org/2000/10/swap/grammar/bnf#commaSeparatedListOf> <http://www.w3.org/2000/10/swap/grammar/n3#barename> .
fin.
#?I <http://idni.org/marpa#file_contents> "short.natural3" .
?M <http://idni.org/marpa#parser> <http://www.w3.org/2000/10/swap/grammar/n3#language> .
#?O <http://idni.org/marpa#parse> (?I ?M) .
#?O <http://idni.org/marpa#arg0> ?A0 .
fin.