forked from SHADE-AI/daidepp
-
Notifications
You must be signed in to change notification settings - Fork 2
/
daide2eng_moves_error.json
357 lines (357 loc) · 35.6 KB
/
daide2eng_moves_error.json
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
350
351
352
353
354
355
356
357
[
"(fear-01 :ARG0 GER :ARG1 PRP (XDO ((ITA <unit_type> <location>) MTO TYR)))",
"PRP (AND (attempt-01 :ARG1 TRI (support-01 :ARG1 XDO ((<country> <unit_type> TYR) MTO TRI)))",
"PRP (AND (XDO (TUR MTO TRI)) (prevent-01 :ARG0 TUR :ARG1 PRP (XDO ((ITA <unit_type> <location>) SUP VEN)) :condition (retreat-01 :ARG1 (<country> FLT ION) :destination AND NAP TUN))",
"PRP ((ITA <unit_type> <location>) SUP unit MTO TUN)",
"PRP (XDO ((TUR <unit_type> <location>) SUP (ITA <unit_type> <location>) MTO TUN))",
"PRP (AND (NOT (SCD (TUR GRE))) (XDO ((TUR <unit_type> <location>) SUP (ITA <unit_type> <location>) MTO TRI)))",
"PRP (XDO ((ITA <unit_type> <location>) MTO BEL))",
"PRP (AND (XDO ((<country> <unit_type> ION) MTO TUN)) (XDO ((<country> FLT TUN) MTO WES)) (XDO ((TUR <unit_type> <location>) MTO Iberia)))",
"(lie-08 :ARG0 ITA :ARG1 PRP (NOT (XDO ((ITA <unit_type> <location>) MTO PIE))) :ARG2 FRA)",
"PRP (AND (XDO ((ITA <unit_type> <location>) MTO BUR)) (bounce-03 :ARG1 (FRA <unit_type> <location>) :ARG2 (ITA <unit_type> <location>) :ARG3 TYR))",
"PRP ((FRA <unit_type> <location>) SUP (ITA <unit_type> <location>) MTO MUN)",
"PRP ((ITA <unit_type> <location>) SUP (FRA <unit_type> <location>) MTO MUN)",
"XDO (FRA MTO MUN)",
"PRP (XDO ((FRA <unit_type> MAR) MTO PIE))",
"PRP (XDO ((FRA <unit_type> <location>) MTO MUN))",
"PRP (AND (XDO ((FRA <unit_type> <location>) SUP PRP (XDO (unit MTO ITA)))) (threaten-01 :ARG0 FRA :ARG1 FRA :ARG2 FRA)",
"PRP (AND (XDO ((ITA <unit_type> <location>) SUP (GER <unit_type> VIE) MTO TYR)) (betray-01 :ARG0 ITA :ARG1 AND AUS GER)",
"PRP (AND (XDO ((ENG <unit_type> NWY) MTO STP)) (bounce-03 :ARG1 (GER <unit_type> <location>) :ARG3 SWE))",
"PRP (AND (NOT (PCE (GER))) (XDO ((GER FLT KIE) MTO HEL)))",
"PRP (AND (NOT (XDO ((ENG FLT <location>) MTO EAS))) (XDO ((ENG <unit_type> <location>) SUP (RUS <unit_type> <location>))))",
"PRP (AND (XDO ((FRA <unit_type> <location>) MTO BUR)) (tell-01 :ARG0 GER :ARG1 MUN HLD :ARG2 FRA)",
"PRP (XDO ((FRA <unit_type> <location>) SUP PRP (XDO ((FRA <unit_type> <location>) MTO MAR))))",
"PRP (XDO ((ENG FLT <location>) MTO ECH))",
"PRP (AND (XDO ((GER <unit_type> <location>) MTO PIE)) (bounce-03 :ARG1 (RUS <unit_type> <location>) :ARG2 (GER <unit_type> <location>) :ARG3 GAL)",
"PRP (AND ((AUS <unit_type> <location>) SUP (AUS <unit_type> <location>) MTO Spring) (NOT ((AUS <unit_type> <location>) SUP (AUS <unit_type> <location>) MTO Spring)))",
"PRP (XDO ((AUS <unit_type> <location>) SUP (<country> <unit_type> GRE) MTO ION))",
"PRP (AND (XDO ((AUS <unit_type> <location>) MTO APU)) (XDO ((AUS <unit_type> <location>) SUP PRP (XDO ((TUR <unit_type> <location>) MTO VEN)))) YES_LAS)",
"PRP (AND (XDO ((<country> <unit_type> BUD) MTO RUM)) (XDO ((<country> <unit_type> SER) MTO ALB)))",
"PRP (AND (NOT (PCE (AUS TUR))) (XDO ((TUR <unit_type> <location>) MTO RUM)))",
"PRP (XDO ((<country> <unit_type> SER) MTO TRI))",
"PRP ((ENG <unit_type> <location>) SUP (RUS <unit_type> <location>) MTO sweeden)",
"YES (PRP (XDO ((RUS <unit_type> <location>) SUP (ENG <unit_type> <location>) MTO PAR)))",
"PRP (XDO ((RUS <unit_type> <location>) MTO sweeden))",
"PRP (XDO ((RUS <unit_type> <location>) SUP (RUS <unit_type> <location>) MTO DEN))",
"PRP (XDO ((RUS <unit_type> <location>) SUP (ENG <unit_type> <location>) MTO DEN))",
"PRP (XDO ((ENG <unit_type> <location>) SUP (RUS <unit_type> <location>) MTO (mainland :name (name :op1 \"Britain\"))))",
"XDO (RUS MTO BER)",
"PRP (XDO ((RUS <unit_type> <location>) SUP (ENG FLT NWG) MTO DEN))",
"PRP (XDO ((RUS <unit_type> <location>) SUP PRP (XDO ((<country> FLT NWY) MTO DEN))))",
"PRP (AND (AND (SCD (TUR SEV)) (XDO ((RUS AMY <location>) MTO CON))) (YES (AND (XDO ((RUS FLT BLA) MTO UKR)) (XDO ((TUR <unit_type> <location>) MTO RUM)) (bounce-03 :ARG1 (RUS <unit_type> <location>) :ARG3 GAL) (build-01 :ARG0 TUR :ARG1 (fleet) :time (date-entity :year \"1905\" :season (fall)))))",
"PRP (AND (XDO ((ITA <unit_type> ROM) MTO GAL)) (XDO ((ITA <unit_type> VEN) MTO TRI)) (bounce-03 :ARG1 (AUS <unit_type> <location>) :ARG3 GAL) (tell-01 :ARG0 RUS :ARG1 YES ((bounce-03 :ARG1 (AUS <unit_type> <location>) :ARG3 GAL)) :ARG2 ITA)",
"PRP (AND (FCT (NOT (ALY (RUS TUR) VSS (AUS GER ITA ENG FRA))) (NOT (PCE (ITA RUS))) (XDO ((TUR FLT <location>) MTO <location>)))",
"PRP (AND (NOT (PCE (RUS TUR))) (YES (PRP (XDO ((TUR <unit_type> <location>) MTO SWE)))))",
"PRP (AND ((AUS FLT <location>) REM) (ALY (RUS TUR) VSS (AUS GER ITA ENG FRA)) (XDO (TUR MTO SEV)))",
"PRP (XDO ((RUS <unit_type> <location>) MTO LVP))",
"PRP (XDO (AND RUS TUR SUP (GER <unit_type> SWE) MTO NWY))",
"PRP (XDO ((ENG <unit_type> <location>) SUP PRP (XDO ((RUS <unit_type> <location>) MTO SWE))))",
"YES (PRP (XDO ((RUS <unit_type> <location>) SUP (ENG <unit_type> <location>) MTO DEN)))",
"(support-01 :ARG1 PRP (XDO ((<country> <unit_type> GAL) MTO VIE)) :instrument (<country> AMY BUD))",
"PRP (XDO ((RUS <unit_type> <location>) SUP PRP (XDO ((<country> FLT NWY) MTO DEN))))",
"PRP (AND (XDO ((<country> AMY UKR) MTO GAL)) (build-01 :ARG0 (country :ARG1 (army) :location WAR)))",
"PRP (AND (XDO ((TUR AMY <location>) MTO ANK)) (XDO ((TUR FLT CON) BLD)))",
"PRP ((TUR <unit_type> <location>) SUP (TUR <unit_type> <location>) MTO MUN)",
"PRP (AND (XDO ((RUS <unit_type> GAL) MTO BUR)) (XDO ((RUS <unit_type> VIE) MTO Trussia)) (XDO ((RUS <unit_type> WAR) MTO RUS)))",
"(fear-01 :ARG0 RUS :ARG1 XDO (RUS MTO VIE))",
"PRP (XDO ((TUR <unit_type> <location>) SUP PRP (XDO ((<country> <unit_type> BUD) MTO TRI))))",
"PRP (XDO ((TUR FLT <location>) CVY (<country> AMY PRU) CTO SWE))",
"PRP (XDO ((RUS <unit_type> SWE) MTO NWY))",
"PRP (AND (XDO ((TUR FLT <location>) MTO WES)) (prevent-01 :ARG0 FRA :ARG1 PRP (XDO ((FRA <unit_type> <location>) MTO WES)))",
"PRP (AND ((RUS <unit_type> <location>) SUP (<country> <unit_type> TRI) MTO Trussia) (XDO ((RUS <unit_type> MUN) MTO KIE)))",
"PRP (AND (SCD (RUS TRI)) (SCD (TUR VIE)) (prevent-01 :ARG0 AND RUS TUR :ARG1 XDO ((RUS <unit_type> <location>) MTO TRI)))",
"AND (NOT (PCE (AUS ITA RUS))) (XDO ((<country> <unit_type> TRI) MTO Trussia))",
"PRP (AND (XDO ((<country> <unit_type> BUL) MTO ALB)) (XDO ((<country> <unit_type> GRE) MTO ALB)) (XDO ((<country> <unit_type> SER) MTO TRI)) (XDO ((<country> AMY SER) MTO TRI)))",
"PRP (XDO ((TUR <unit_type> <location>) SUP (RUS <unit_type> <location>) MTO Thrager))",
"PRP (AND (XDO ((TUR <unit_type> <location>) MTO NAP)) (transport-01 :ARG0 (ITA FLT <location>) :ARG1 (<country> <unit_type> GRE) :ARG3 APU))",
"PRP (AND ((TUR <unit_type> <location>) SUP (<country> <unit_type> VEN) MTO BUD) (XDO ((TUR <unit_type> BUD) MTO TRI)))",
"YES (PRP (XDO ((TUR <unit_type> <location>) MTO TRI)))",
"PRP (XDO ((AUS FLT Mediterranean) MTO <location>))",
"(fear-01 :ARG0 RUS :ARG1 PRP (XDO ((TUR AMY TYR) MTO <location>)))",
"PRP (AND (AND ((RUS <unit_type> <location>) SUP (<country> <unit_type> BRE) MTO HEL) (XDO ((<country> <unit_type> DEN) MTO HEL)) (XDO ((RUS <unit_type> SWE) MTO DEN))) (XDO ((<country> FLT NTH) MTO NTH)))",
"PRP (AND (XDO ((<country> <unit_type> DEN) MTO <location>)) (XDO ((<country> <unit_type> DEN) MTO HEL)))",
"PRP (AND (AND (NOT (PCE (FRA RUS))) (XDO ((RUS FLT <location>) MTO HOL))) (XDO ((RUS FLT <location>) MTO HOL)))",
"PRP (XDO ((RUS FLT <location>) CVY (<country> AMY DEN) CTO BEL))",
"PRP (AND ((<country> <unit_type> TUN) SUP (<country> <unit_type> BOH) MTO MUN) ((TUR <unit_type> <location>) SUP (RUS FLT BOH) MTO LYO))",
"PRP (XDO ((RUS <unit_type> <location>) SUP PRP (XDO ((<country> <unit_type> SIL) MTO BER))))",
"REJ (PRP (XDO ((<country> <unit_type> BOH) MTO MUN)))",
"XDO (RUS MTO RUH)",
"PRP (NOT (XDO ((<country> <unit_type> MUN) MTO RUH)))",
"PRP (XDO ((ENG <unit_type> <location>) MTO SWE))",
"PRP (AND (SCD (RUS)) (XDO ((FRA FLT <location>) MTO MAO)))",
"YES (PRP (XDO ((RUS <unit_type> <location>) SUP (FRA <unit_type> <location>) MTO HOL)))",
"PRP (AND ((FRA <unit_type> <location>) SUP unit MTO holandoland Bight) (XDO (RUS MTO holandoland Bight)))",
"PRP (XDO ((FRA <unit_type> <location>) MTO LVP))",
"PRP (XDO ((FRA FLT <location>) MTO ECH))",
"PRP (AND (XDO ((FRA <unit_type> <location>) MTO LON)) (chase-01 :ARG0 FRA :ARG1 MAO))",
"PRP (XDO ((RUS <unit_type> <location>) SUP (<country> <unit_type> PIE) MTO TYR))",
"PRP (XDO ((FRA <unit_type> RUH) MTO <location>))",
"PRP ((FRA <unit_type> <location>) SUP (<country> <unit_type> MUN) MTO TYR)",
"PRP (XDO (FRA MTO PIE))",
"PRP (XDO ((FRA <unit_type> <location>) SUP PRP (XDO ((FRA <unit_type> VEN) MTO TYR))))",
"PRP (XDO ((RUS <unit_type> <location>) SUP PRP (XDO ((RUS AMY BOH) MTO SMY))))",
"PRP (XDO ((<country> FLT NAO) MTO LVP))",
"NOT (PRP (XDO ((<country> <unit_type> NWY) MTO STP)))",
"XDO (RUS MTO UKR)",
"PRP (AND ((<country> FLT WES) SUP (<country> <unit_type> PIE) MTO MAR) (XDO ((<country> <unit_type> MAR) MTO SPA)))",
"PRP (AND ((FRA <unit_type> <location>) SUP (<country> <unit_type> MAR) MTO SPA) ((FRA <unit_type> <location>) SUP (<country> <unit_type> PIE) MTO MAR))",
"PRP (AND (NOT (PCE (FRA (RUS FLT <location>)))) (XDO ((ENG FLT <location>) MTO POR)))",
"PRP (XDO ((FRA <unit_type> RUH) MTO BEL))",
"PRP (AND (XDO ((<country> <unit_type> NWY) MTO <location>)) (XDO ((<country> <unit_type> NWY) MTO STP)))",
"PRP (XDO ((RUS <unit_type> DEN) MTO (world-region :name (name :op1 \"Scandinavia\"))))",
"PRP (XDO ((RUS FLT <location>) MTO STP))",
"PRP (XDO ((FRA <unit_type> RUH) MTO <location>))",
"PRP (XDO ((FRA <unit_type> RUH) MTO <location>))",
"PRP (AND (NWY HLD (XDO ((FRA <unit_type> <location>) MTO STP)))",
"PRP (AND ((RUS <unit_type> <location>) SUP (<country> FLT HEL) MTO HEL) (NWY HLD))",
"(fear-01 :ARG0 FRA :ARG1 PRP (XDO ((<country> FLT LON) MTO Engen)))",
"PRP (AND (XDO ((FRA <unit_type> BUR) MTO GAS)) (XDO ((FRA <unit_type> MUN) MTO BUR)))",
"PRP (XDO ((RUS FLT <location>) MTO ECH))",
"PRP (prevent-01 :ARG0 FRA :ARG1 XDO ((FRA <unit_type> <location>) MTO VEN))",
"PRP (AND (XDO ((RUS <unit_type> <location>) MTO MAR)) (XDO ((RUS <unit_type> <location>) MTO SPA)))",
"PRP (AND (NOT (SCD (FRA WAL))) (prevent-01 :ARG0 FRA :ARG1 (support-01 :ARG1 SPA) :condition PRP (XDO ((<country> FLT WES) MTO SPA)))",
"PRP (support-01 :ARG1 XDO ((<country> <unit_type> MAR) MTO PIE) :instrument (<country> AMY TYR))",
"XDO (RUS MTO PIE)",
"PRP (XDO ((FRA <unit_type> <location>) SUP (<country> <unit_type> TYR) MTO PIE))",
"PRP (XDO ((MUN <unit_type> <location>) MTO <location>))",
"PRP (XDO ((FRA <unit_type> TUN) MTO NAO))",
"NOT (PRP (prevent-01 :ARG0 FRA :ARG1 XDO (unit MTO MAR)))",
"PRP ((RUS <unit_type> <location>) SUP (<country> <unit_type> SIL) MTO BOH)",
"PRP (AND (SCD (ITA RUM))) (XDO (ITA MTO ARM)))",
"PRP (AND (NOT (ALY (ENG ITA) VSS (AUS TUR RUS GER FRA))) (NOT (XDO ((ITA <unit_type> <location>) MTO <location>))))",
"XDO ((ITA <unit_type> <location>) MTO <location>)",
"NOT (PRP (XDO ((<country> <unit_type> STP) MTO STP)))",
"XDO (GER MTO SWE)",
"PRP (AND (SCD (ITA NWY))) (XDO ((FRA FLT <location>) MTO MAO)) (fear-01 :ARG0 FRA :ARG1 PRP (SCD (ITA NWY)))",
"PRP (XDO ((FRA <unit_type> <location>) SUP unit MTO HOL))",
"PRP (AND (NOT (prevent-01 :ARG0 AND AUS FRA :ARG1 (build-01 :ARG0 AND AUS FRA :ARG1 (RUS <unit_type> <location>)))) (XDO ((RUS <unit_type> <location>) MTO <location>)))",
"PRP (YES (XDO (FRA MTO MAR)))",
"PRP ((FRA <unit_type> <location>) SUP (FRA AMY <location>) MTO BEL)",
"PRP (NOT (XDO ((ITA <unit_type> <location>) MTO <location>)))",
"PRP (AND (AND ENG FRA SUP (ENG <unit_type> <location>) MTO BEL) (XDO ((ENG FLT <location>) MTO ECH)) (XDO ((FRA FLT <location>) MTO PIC)))",
"PRP (AND (XDO ((ENG <unit_type> <location>) MTO DEN)) (XDO ((ENG FLT <location>) MTO NTH)))",
"PRP (XDO ((FRA <unit_type> <location>) SUP (ENG <unit_type> <location>) MTO BEL))",
"PRP (AND (SCD (ENG ECH)) (XDO ((FRA FLT <location>) MTO MAO)))",
"PRP (AND (NOT (XDO ((FRA FLT <location>) MTO EAS))) (SCD (ITA TRI)))",
"PRP (AND ((ENG FLT <location>) CVY (ENG AMY <location>) CTO DEN (NOT (PCE (ENG AUS GER))) (XDO ((AUS FLT <location>) MTO DEN)))",
"PRP (AND (XDO ((<country> AMY NWY) MTO SWE)) (defend-01 :ARG0 ENG :ARG1 WAR))",
"YES (PRP (XDO ((FRA FLT <location>) MTO ECH)))",
"PRP ((ENG <unit_type> <location>) SUP (FRA FLT <location>) MTO ECH)",
"PRP ((ENG <unit_type> <location>) SUP (FRA <unit_type> <location>) MTO BEL)",
"PRP (AND (XDO ((ENG <unit_type> <location>) MTO DEN KIE)) (XDO ((FRA <unit_type> <location>) MTO MUN)) (XDO ((FRA <unit_type> BUR) MTO <location>)))",
"PRP (AND (XDO ((FRA <unit_type> <location>) MTO BEL)) (XDO (XDO ((FRA <unit_type> <location>) SUP PRP (XDO ((FRA <unit_type> <location>) MTO BEL)))))))",
"PRP (AND (XDO ((ENG AMY HOL) MTO KIE)) (defend-01 :ARG0 ENG :ARG1 BER :ARG2 (ENG <unit_type> GRE) :ARG3 ENG :name (name :op1 \"Germany\")))",
"PRP (XDO ((FRA <unit_type> <location>) MTO BEL))",
"PRP ((FRA <unit_type> <location>) SUP (FRA <unit_type> <location>) MTO RUH)",
"PRP (AND ((ENG <unit_type> <location>) SUP (<country> AMY BUR) MTO RUH) (PRP (XDO ((FRA <unit_type> <location>) SUP HOL HLD))))",
"PRP (XDO ((ENG <unit_type> <location>) SUP PRP (XDO ((<country> <unit_type> BUR) MTO RUH))))",
"PRP (AND (XDO ((<country> FLT MAO) MTO WES)) (XDO ((ENG FLT ECH) MTO MAO)) (XDO ((FRA FLT WES) MTO WES)))",
"PRP (AND ((FRA <unit_type> <location>) SUP (ENG FLT NTH) MTO HOL) (PRP (XDO ((FRA <unit_type> <location>) SUP KIE))))",
"PRP (AND (PRP (XDO ((FRA <unit_type> <location>) SUP HOL))) (prevent-01 :ARG0 FRA :ARG1 XDO ((FRA <unit_type> <location>) MTO MUN) :instrument (FRA <unit_type> RUH)))",
"PRP (XDO ((FRA <unit_type> <location>) MTO MUN))",
"PRP (AND (XDO ((ENG <unit_type> <location>) SUP (FRA <unit_type> <location>) MTO MUN)) (lose-02 :ARG0 ENG :ARG1 KIE))",
"PRP (XDO ((AUS <unit_type> ROM) MTO VEN))",
"PRP (AND (XDO ((FRA FLT LYO) MTO BRE)) (transport-01 :ARG0 (FRA FLT <location>) :ARG1 (<country> <unit_type> CON) :ARG3 DEN))",
"PRP (AND (XDO (FRA MTO BUR)) (lose-02 :ARG0 FRA :ARG1 BUR))",
"(fear-01 :ARG0 FRA :ARG1 PRP (NOT (XDO ((RUS <unit_type> <location>) MTO TYR VIE))))",
"PRP (XDO ((FRA FLT <location>) MTO EAS))",
"PRP (AND (PCE (ENG FRA)) (XDO (FRA MTO MAR)) (build-01 :ARG0 FRA :ARG1 (unit) :purpose XDO (ENG MTO RUH)))",
"PRP (AND (XDO ((unit :quant \"2\") MTO <location>)) (build-01 :ARG0 FRA :ARG1 (unit :quant \"2\")))",
"PRP (AND (XDO (TUR MTO ROM) (build-01 :ARG0 TUR :name (name :op1 \"France\"))",
"PRP (AND (NOT (XDO ((TUR FLT <location>) MTO <location>))) (XDO ((TUR FLT <location>) MTO Italian Sea)))",
"PRP (XDO ((FRA <unit_type> PIE) MTO TYR))",
"PRP (XDO ((FRA <unit_type> <location>) MTO PIE))",
"PRP (AND (XDO ((ITA <unit_type> <location>) MTO TYR)) (YES (DMZ (ITA GER) (TYR)))))",
"PRP (AND (SCD (ITA TUN)) (XDO ((ITA <unit_type> GRE) MTO <location>)))",
"PRP (XDO ((ITA <unit_type> WAR) MTO <location>))",
"PRP (AND (FCT (NOT (PCE (AUS TUR))) (XDO ((ITA <unit_type> <location>) SUP (<country> FLT APU) MTO ION ION)))",
"YES (PRP (XDO ((AUS <unit_type> <location>) SUP (<country> <unit_type> SPA) MTO GAS)))",
"NOT (PRP (XDO ((TUR FLT <location>) CVY (<country> AMY SMY) CTO SMY)))",
"PRP (XDO ((ITA <unit_type> <location>) SUP (<country> AMY AEG) MTO GRE))",
"PRP ((ITA <unit_type> <location>) SUP (RUS <unit_type> <location>) MTO GRE)",
"PRP (AND (PRP (XDO ((ITA <unit_type> <location>) SUP (defend-01 :ARG0 ITA :ARG1 BOH :ARG3 ITA :name (name :op1 \"Russia\"))))) (XDO ((ITA <unit_type> <location>) MTO TYR)))",
"(tell-01 :ARG0 ITA :ARG1 (lie-08 :ARG0 ITA :ARG1 PRP (XDO ((ITA <unit_type> <location>) MTO GRE)) :ARG2 TUR))",
"PRP (AND (SCD (RUS SWE)) (XDO ((RUS <unit_type> <location>) MTO GRE)))",
"PRP (XDO ((ITA <unit_type> <location>) SUP TUR MTO SER))",
"PRP (XDO ((ITA <unit_type> GRE) MTO <location>))",
"PRP (XDO ((TUR <unit_type> <location>) SUP (ITA <unit_type> <location>) MTO GRE))",
"PRP (AND (XDO ((ENG FLT <location>) MTO ECH)) (XDO (NOT ((ENG FLT MAR) BLD))))",
"PRP (XDO ((ITA <unit_type> <location>) MTO TYR))",
"PRP ((ITA <unit_type> <location>) SUP (<country> <unit_type> RUH) MTO MUN)",
"PRP (AND ((FRA <unit_type> <location>) SUP (ITA FLT <location>) MTO TUR) (ALY (FRA ITA) VSS (TUR)))",
"PRP (prevent-01 :ARG0 AUS :ARG1 SCD (ITA ADR) :condition AND (XDO ((AUS FLT TYR) MTO TYR)) (XDO ((ITA <unit_type> TYR) MTO NAP)))",
"PRP (XDO ((ITA <unit_type> <location>) MTO APU))",
"PRP (AND (XDO ((FRA <unit_type> <location>) MTO PIE)) (XDO ((FRA <unit_type> <location>) MTO TYR)))",
"PRP ((FRA <unit_type> <location>) SUP (ITA <unit_type> <location>) MTO MUN)",
"PRP (XDO ((FRA <unit_type> <location>) SUP AND (PRP (XDO ((<country> <unit_type> APU) MTO ION))) (PRP (XDO ((FRA FLT PIE) MTO TYR)))))",
"PRP (AND (PCE (AUS GER)) (XDO ((ITA AMY <location>) MTO VEN)))",
"PRP (AND (FCT (NOT (ALY (GER RUS) VSS (AUS TUR ITA ENG FRA))) (XDO (GER MTO MUN)))",
"PRP (AND (ALY (AUS GER) VSS (TUR RUS ITA ENG FRA)) (XDO ((GER <unit_type> <location>) MTO balkania)))",
"PRP (XDO ((GER <unit_type> SWE) MTO RUS))",
"PRP (AND (XDO ((ENG <unit_type> <location>) MTO BRE)) (XDO ((GER <unit_type> <location>) MTO PAR)))",
"PRP (XDO ((AUS <unit_type> <location>) MTO <location>))",
"PRP (AND (dialogue-01 :ARG0 RUS :ARG1 PRP (ALY (ENG RUS) VSS (AUS TUR GER ITA FRA)) :ARG2 GER (tell-01 :ARG0 GER :ARG1 PRP (XDO ((ENG <unit_type> <location>) MTO <location>)) :ARG2 RUS)",
"PRP (AND (NOT (PCE (ENG FRA))) (XDO ((ENG <unit_type> <location>) MTO NWY)) (XDO ((ENG <unit_type> <location>) SUP PRP (XDO ((GER <unit_type> <location>) MTO Benelux)))))",
"(fear-01 :ARG0 GER :ARG1 (build-01 :ARG0 GER :ARG1 (unit) :condition PRP (XDO (unit MTO <location>)) :ARG2 MUN))",
"PRP (AND (NOT (XDO ((GER <unit_type> <location>) MTO MUN))) (XDO ((GER <unit_type> <location>) MTO MUN)))",
"PRP (AND (AND (XDO ((ENG <unit_type> <location>) MTO MUN)) (bounce-03 :ARG1 (ENG <unit_type> <location>) :ARG2 (GER <unit_type> <location>) :ARG3 DEN)) (NOT (PCE (ENG))))",
"PRP (AND (NOT (PCE (GER RUS))) (XDO ((RUS <unit_type> <location>) MTO TYR)))",
"PRP (XDO ((ENG <unit_type> <location>) MTO BRE))",
"PRP (AND (NOT (XDO ((ENG <unit_type> <location>) MTO DEN))) (YES (PCE (ENG GER)))))",
"PRP (AND (XDO ((ENG FLT <location>) MTO ECH)) (XDO ((ENG FLT <location>) MTO NTH)) (transport-01 :ARG0 (ENG FLT <location>) :ARG1 (ENG AMY <location>) :ARG3 FRA))",
"PRP (AND (NOT (XDO ((ENG FLT <location>) MTO NWG))) (XDO ((FRA <unit_type> <location>) MTO PIC)))",
"PRP (AND (XDO ((RUS <unit_type> <location>) MTO <location>)) (bounce-03 :ARG1 (GER <unit_type> <location>) :ARG2 (RUS <unit_type> <location>) :ARG3 SWE))",
"PRP (AND ((FRA <unit_type> <location>) SUP (<country> <unit_type> PAR) MTO BUR) (SCD (FRA BUR)) (SCD (GER BEL)))",
"PRP (AND (XDO ((FRA <unit_type> <location>) SUP PRP (XDO ((GER <unit_type> <location>) MTO BEL))))) (XDO ((GER <unit_type> <location>) MTO BEL)))",
"PRP (AND (PRP (XDO ((FRA <unit_type> <location>) SUP NOT (PCE (AUS))))) (XDO ((FRA <unit_type> MUN) MTO TYR)))",
"PRP (AND (ALY (GER FRA) VSS (AUS TUR RUS ITA ENG)) (AND (XDO ((FRA <unit_type> <location>) MTO BUR)) (XDO ((FRA <unit_type> <location>) MTO MUN)) (XDO ((GER <unit_type> <location>) MTO MUN))))",
"PRP (XDO ((FRA <unit_type> <location>) MTO amr-unknown))",
"PRP (AND (XDO ((FRA FLT BRE) MTO ECH)) (XDO ((FRA FLT MAO) MTO IRI)) (build-01 :polarity \"-\" :ARG0 FRA :ARG1 (unit) :location BRE :name (name :op1 \"Belgium\"))",
"PRP (AND (NOT (SCD (FRA BEL))) (XDO ((GER <unit_type> <location>) MTO RUH)))",
"PRP (AND ((ENG <unit_type> <location>) SUP (GER FLT <location>) MTO DEN) (XDO ((GER <unit_type> <location>) MTO BEL)) (transport-01 :ARG0 (GER FLT <location>) :ARG1 (ENG <unit_type> <location>) :ARG3 KIE))",
"PRP ((GER <unit_type> <location>) SUP (DEN FLT <location>) MTO HOL)",
"PRP (AND (SCD (FRA BEL)) (SCD (GER BEL)) (XDO ((GER FLT RUH) MTO BEL)) (transport-01 :ARG0 (GER FLT RUH) :mod FRA))",
"PRP (AND ((GER <unit_type> <location>) SUP (<country> <unit_type> RUH) MTO MUN) (XDO ((GER <unit_type> <location>) MTO TYR)) (XDO ((GER FLT <location>) MTO SCS)))",
"PRP (AND (XDO ((FRA <unit_type> <location>) MTO RUH)) (XDO ((FRA <unit_type> <location>) SUP PRP (XDO ((FRA <unit_type> <location>) MTO BEL)))) (lie-08 :ARG0 FRA :ARG2 FRA)",
"PRP (XDO ((GER <unit_type> <location>) SUP (<country> <unit_type> RUH) MTO KIE))",
"PRP (AND ((RUS <unit_type> <location>) SUP (AUS <unit_type> <location>) MTO RUM) (PCE (AUS RUS)))",
"PRP (AND (ALY (AUS RUS) VSS (RUS TUR)) (NOT (XDO ((AUS <unit_type> <location>) MTO RUM))))",
"PRP (XDO ((AUS <unit_type> <location>) MTO SER))",
"PRP (AND (XDO ((AUS <unit_type> <location>) MTO <location>)) (tell-01 :ARG0 TUR :ARG1 PRP (NOT (PCE (AUS RUS))) :ARG0 AUS :ARG1 RUS (tell-01 :ARG0 TUR :ARG1 PRP (NOT (PCE (AUS RUS))) :ARG2 AUS)",
"PRP (XDO (TUR MTO SER))",
"have-03 :ARG0 AUS RUS :ARG1 RUM :condition ((RUS <unit_type> <location>) SUP (<country> <unit_type> SEV) MTO RUM) :op2 PRP (have-03 :ARG0 AUS RUS :ARG1 SEV :time (date-entity :year \"1905\" :season (fall)) :year \"1905\" :season (spring))",
"(tell-01 :ARG0 FRA :ARG1 (order-03 :ARG0 AUS :ARG1 PRP (XDO ((AUS <unit_type> <location>) SUP PRP (XDO ((FRA <unit_type> <location>) MTO TYR)))) :ARG2 RUS))",
"PRP (XDO ((RUS <unit_type> <location>) SUP (AUS AMY ROM) MTO BUL))",
"PRP (AND ((RUS <unit_type> <location>) SUP (RUS <unit_type> BUD) MTO VIE) (XDO ((RUS <unit_type> VIE) MTO TRI)))",
"PRP (AND ((AUS <unit_type> <location>) SUP (RUS <unit_type> <location>) MTO TRI) (SCD (RUS VEN)))",
"PRP (AND ((prevent-01 :ARG0 AND AUS TUR :ARG1 XDO ((RUS <unit_type> <location>) MTO RUM))) (ALY ((country) AUS) VSS (TUR RUS GER ITA ENG FRA)))",
"PRP (AND (XDO ((TUR <unit_type> <location>) SUP (AUS <unit_type> <location>) MTO GRE)) YES_LAS)",
"PRP (AND (AND (SCD (RUS SWE)) (have-03 :ARG0 AUS TUR :ARG1 SWE)) (XDO ((AUS <unit_type> <location>) SUP PRP (XDO ((<country> AMY BUL) MTO RUM)))))",
"PRP (AND ((AUS <unit_type> <location>) SUP (TUR <unit_type> <location>) MTO RUM) (tell-01 :ARG0 RUS :ARG1 PRP (NOT (PCE (AUS TUR))) :ARG2 AUS)",
"YES (AND (PRP (XDO ((AUS <unit_type> <location>) SUP RUM))) (XDO ((TUR <unit_type> <location>) MTO GRE)))",
"PRP (AND (AND ((AUS <unit_type> <location>) SUP (TUR AMY <location>) MTO GAL) ((TUR <unit_type> <location>) SUP (<country> AMY SER) MTO GRE) ((TUR <unit_type> <location>) SUP (AUS AMY <location>) MTO GAL)) (XDO (FLT CVY (<country> AMY GRE) CTO (province :time (date-entity :year \"1904\" :season (fall))))))",
"PRP (AND (FCT (ALY (RUS TUR) VSS (AUS GER ITA ENG FRA)) (SCD (AUS GRE)) (XDO ((RUS <unit_type> <location>) MTO SIL)))",
"PRP (AND ((AUS <unit_type> <location>) SUP (TUR <unit_type> <location>) MTO GRE) (GRE HLD))",
"PRP (AND (XDO (ITA MTO GRE)) (tell-01 :ARG0 TUR :ARG1 PRP (XDO ((TUR <unit_type> <location>) MTO <location>)) :ARG2 ITA)",
"PRP (AND (XDO ((AUS <unit_type> <location>) SUP PRP (XDO ((TUR <unit_type> <location>) MTO GRE)))) (XDO (AUS MTO GAL)))",
"PRP (AND (tell-01 :ARG0 ITA :ARG1 PRP (XDO ((ITA <unit_type> GRE) MTO <location>)) :ARG2 TUR (warn-01 :ARG0 ITA :ARG1 PRP (NOT (PCE (AUS RUS))) :ARG2 RUS)",
"PRP (AND (XDO ((TUR <unit_type> <location>) SUP (ITA <unit_type> <location>) MTO SER)) (fear-01 :ARG0 TUR :ARG1 AND ITA RUS)",
"PRP (AND (SCD (AUS BRE)) (XDO ((AUS <unit_type> <location>) SUP PRP (XDO ((<country> FLT ROM) MTO ECH)))) YES_LAS)",
"PRP (AND (XDO ((AUS FLT <location>) MTO ADR)) (XDO ((TUR <unit_type> <location>) SUP PRP (XDO ((AUS AMY LYO) MTO UKR)))) (XDO ((build-01 :ARG0 AND AUS TUR :ARG1 (AUS AMY LYO)))))",
"PRP (XDO ((TUR <unit_type> <location>) SUP (AUS <unit_type> <location>) MTO SEV))",
"PRP (XDO ((TUR <unit_type> <location>) SUP PRP (XDO ((AUS <unit_type> <location>) MTO RUM))))",
"PRP (AND (XDO ((ITA <unit_type> <location>) MTO <location>)) (XDO ((ITA <unit_type> <location>) MTO PIE)))",
"PRP (AND (ALY (FRA RUS) VSS (AUS TUR GER ITA ENG)) (XDO ((GER <unit_type> <location>) MTO SIL)))",
"PRP (AND (NOT (XDO ((AUS <unit_type> <location>) MTO TRI TYR))) (XDO ((AUS FLT ADR) MTO ALB)))",
"YES (NOT (XDO ((AUS <unit_type> TYR) (FRA <unit_type> TRI) MTO FRA)))",
"PRP (AND (SCD (AUS VEN)) (XDO ((TUR <unit_type> <location>) MTO TUN)))",
"PRP (XDO (unit MTO TRI))",
"PRP (XDO ((FRA AMY TRI) MTO <location>))",
"PRP (XDO ((FRA <unit_type> <location>) MTO VEN))",
"PRP (prevent-01 :ARG0 FRA :ARG1 XDO ((FRA <unit_type> <location>) MTO VEN))",
"PRP (AND (AND (XDO ((AUS <unit_type> <location>) SUP BUD HLD))) (lose-02 :ARG0 AUS :ARG1 BUD)) (prevent-01 :ARG0 AUS :ARG1 XDO ((<country> <unit_type> RUM) MTO BUD))) (lose-02 :ARG0 AUS :ARG1 BUD))",
"PRP (AND ((AUS <unit_type> <location>) SUP (AUS FLT TUN) MTO ION) (SCD (FRA TRI)))",
"PRP (AND (XDO ((<country> <unit_type> BUD) MTO RUM)) (support-01 :ARG1 XDO ((<country> <unit_type> RUM) MTO BUD) :instrument (<country> <unit_type> SER)))",
"PRP (XDO ((FRA <unit_type> <location>) SUP (AUS <unit_type> <location>) MTO SER))",
"PRP (XDO ((ENG FLT <location>) MTO NWY))",
"PRP (AND (SCD (ENG NWY)) (SCD (ENG NWY))) (XDO ((ENG FLT <location>) MTO NTH)))",
"PRP (AND (ALY (ENG RUS) VSS (TUR)) (XDO ((RUS <unit_type> <location>) SUP (<country> FLT SKA) MTO province)))",
"PRP (AND (XDO ((ENG <unit_type> <location>) SUP PRP (XDO ((RUS FLT SKA) MTO DEN)))) (XDO ((ENG FLT <location>) MTO DEN)))",
"PRP (AND (AND ((RUS <unit_type> <location>) SUP (ENG FLT <location>) MTO DEN) (XDO ((ENG FLT <location>) MTO <location>))) (XDO ((ENG FLT <location>) MTO <location>)) (YES (XDO (SCD (ENG DEN)))))",
"PRP (XDO ((<country> FLT NWG) MTO EDI))",
"PRP ((RUS <unit_type> <location>) SUP (<country> FLT SKA) MTO DEN)",
"PRP (XDO ((RUS <unit_type> <location>) MTO SIL))",
"PRP (AND (XDO ((RUS FLT <location>) MTO Bight)) (XDO ((RUS FLT <location>) MTO HEL)))",
"PRP (AND (SCD (ENG NWY)) (XDO ((RUS <unit_type> NWY) MTO <location>)))",
"YES (PRP (XDO ((RUS <unit_type> <location>) MTO (world-region :name (name :op1 \"Scandinavia\")))))",
"PRP (AND (XDO ((<country> FLT EDI) MTO NTH)) (XDO ((<country> FLT NWG) MTO HEL)))",
"YES (PRP (XDO ((RUS FLT <location>) MTO NTH)))",
"PRP (NOT (XDO ((RUS <unit_type> <location>) MTO TYR)))",
"PRP (XDO ((RUS <unit_type> <location>) SUP (<country> <unit_type> EDI) MTO NTH))",
"PRP ((ENG FLT <location>) CVY (RUS AMY <location>) CTO LVP)",
"PRP (YES (PRP (XDO ((RUS <unit_type> <location>) MTO Livonia))))",
"PRP (XDO ((ENG <unit_type> <location>) SUP (<country> <unit_type> MUN) MTO BER))",
"PRP (AND (XDO ((RUS FLT <location>) MTO EAS)) (transport-01 :ARG0 (RUS FLT <location>) :ARG1 (ENG <unit_type> <location>) :ARG3 NAF))",
"PRP (AND (ALY (RUS TUR) VSS (AUS GER ITA ENG FRA)) (AND (XDO ((RUS <unit_type> <location>) MTO GAL)) (XDO ((RUS FLT <location>) MTO MAR UKR))))",
"PRP (AND (PRP (XDO ((TUR <unit_type> <location>) SUP move-01))) (XDO ((RUS FLT <location>) MTO GAL)))",
"PRP (AND (AND (SCD (TUR RUM)) (bounce-03 :ARG1 (TUR <unit_type> <location>) :ARG2 (RUS FLT <location>) :ARG3 RUM)) (SCD (TUR RUM)) (XDO ((TUR <unit_type> <location>) SUP PRP (XDO ((RUS <unit_type> <location>) MTO RUM)))) (defend-01 :ARG0 TUR :ARG1 RUS)",
"PRP (XDO ((TUR <unit_type> <location>) SUP (RUS <unit_type> <location>) MTO BUD))",
"PRP (XDO ((RUS <unit_type> <location>) SUP (TUR <unit_type> <location>) MTO SMY))",
"PRP (AND ((TUR <unit_type> <location>) SUP (TUR AMY SIL) MTO MOS) (XDO ((RUS AMY MOS) MTO WAR)))",
"PRP (XDO ((TUR <unit_type> <location>) SUP (RUS AMY UKR) MTO GAL))",
"PRP (AND ((RUS <unit_type> <location>) SUP (TUR <unit_type> <location>) MTO GAL) (XDO ((RUS <unit_type> <location>) MTO VIE)))",
"tell-01 :ARG0 RUS :ARG1 YES (XDO ((RUS <unit_type> <location>) SUP (TUR <unit_type> <location>) MTO GRE))) :op2 PRP (XDO ((RUS <unit_type> <location>) SUP (TUR <unit_type> <location>) MTO GRE)) :ARG2 GR",
"PRP (AND (XDO ((TUR <unit_type> <location>) MTO LYO)) (XDO ((TUR <unit_type> <location>) SUP PRP (XDO ((TUR FLT <location>) MTO LYO)))))",
"PRP (AND (XDO ((<country> FLT ION) MTO GRE)) (support-01 :ARG1 XDO ((<country> FLT ION) MTO GRE) :instrument (<country> FLT ION)))",
"AND (NOT ((RUS <unit_type> <location>) SUP (TUR <unit_type> SEV) MTO ARM)) (XDO (NOT ((TUR <unit_type> <location>) SUP (RUS <unit_type> <location>) MTO SEV)))) (SCD (RUS SEV))",
"NOT (PRP (XDO ((RUS <unit_type> <location>) SUP (TUR <unit_type> <location>) MTO ARM)))",
"PRP (AND (NOT (XDO ((TUR <unit_type> <location>) SUP (RUS <unit_type> <location>) MTO BUD))) (XDO (TUR MTO RUM)) (tell-01 :polarity \"-\" :ARG0 RUS :ARG1 PRP (XDO ((RUS <unit_type> <location>) MTO ARM)) :ARG2 TUR)",
"PRP (AND ((TUR <unit_type> <location>) SUP (RUS <unit_type> <location>) MTO SEV) (SCD (RUS GAL)))",
"PRP (AND (NOT (PCE (FRA RUS TUR))) (SCD (TUR BLA)) (XDO ((TUR FLT <location>) (TUR FLT <location>) MTO BLA)))",
"PRP (AND (NOT (XDO ((TUR <unit_type> <location>) MTO GRE SER))) (XDO ((<country> <unit_type> LVN) MTO GRE SER)))",
"PRP (XDO ((RUS <unit_type> <location>) SUP (TUR <unit_type> <location>) MTO EDI))",
"PRP (AND (SCD (TUR ECH)) (XDO ((fleet :quant \"4\") MTO ECH)))",
"XDO ((TUR <unit_type> <location>) MTO LVP))",
"PRP (AND (SCD (FRA (supply-center :quant \"10\"))) (XDO ((TUR AMY <location>) MTO LON NAP)))",
"PRP (XDO ((TUR <unit_type> <location>) SUP (<country> <unit_type> GAL) MTO BUD))",
"PRP (AND (XDO ((AUS <unit_type> <location>) SUP (RUS <unit_type> <location>) MTO BUD)) (tell-01 :ARG0 RUS :ARG1 NOT (XDO ((AUS <unit_type> <location>) MTO BUD)) :ARG2 AUS))",
"PRP (AND ((RUS <unit_type> <location>) SUP (TUR <unit_type> <location>) MTO BUD) (SCD (TUR SER)))",
"PRP (AND (XDO ((TUR <unit_type> <location>) MTO TRI)) (attack-01 :op1 TUR :op2 RUS))",
"PRP (AND (FCT (NOT (ALY (GER TUR) VSS (AUS RUS ITA ENG FRA))) (NOT (XDO ((TUR FLT BLA) MTO <location>))))",
"PRP (AND (XDO ((support-01 :ARG1 XDO ((<country> <unit_type> SER) MTO ALB) :instrument (<country> <unit_type> TRI)))) (support-01 :ARG1 PRP (XDO ((<country> <unit_type> ALB) MTO TRI)) :instrument (<country> <unit_type> BUD))",
"PRP (XDO ((RUS <unit_type> <location>) SUP (<country> <unit_type> MAR) MTO TYR))",
"PRP (XDO ((RUS <unit_type> <location>) SUP PRP (XDO ((<country> <unit_type> SER) MTO TRI))))",
"(tell-01 :ARG0 RUS :ARG1 PRP (XDO ((RUS <unit_type> <location>) MTO <location>)) :ARG2 TUR)",
"PRP (AND (NOT ((FRA FLT <location>) REM)) (XDO ((FRA FLT <location>) MTO ECH)))",
"PRP (NOT (XDO ((ENG FLT <location>) MTO EAS)))",
"PRP ((ENG <unit_type> <location>) SUP (ENG <unit_type> <location>) MTO GAS)",
"PRP (AND (XDO ((ENG <unit_type> <location>) MTO DEN)) (XDO ((FRA <unit_type> <location>) MTO MUN)))",
"(justify-01 :ARG0 ENG :ARG1 PRP (NOT (XDO ((FRA FLT <location>) MTO NTH))) :ARG3 FRA)",
"PRP (AND (NOT (PCE (FRA (GER FLT <location>)))) (XDO ((FRA <unit_type> <location>) MTO MUN)))",
"PRP (AND (NOT (XDO (unit MTO <location>))) (build-01 :ARG0 ENG :ARG1 (unit))",
"PRP (AND (NOT (PCE (ENG ITA))) (XDO ((ENG <unit_type> <location>) MTO BRE)))",
"PRP (AND (ALY (FRA RUS) VSS (AUS TUR GER ITA ENG)) (SCD (ENG DEN)) (XDO ((ENG <unit_type> <location>) SUP (RUS <unit_type> <location>) MTO DEN)))",
"PRP (lie-08 :ARG0 FRA :ARG1 XDO ((RUS <unit_type> <location>) MTO <location>) :ARG2 ENG)",
"PRP (XDO ((RUS <unit_type> <location>) MTO SIL))",
"PRP (AND (XDO ((ENG FLT SKA) MTO DEN)) (XDO ((transport-01 :ARG0 (ENG FLT <location>) :ARG1 (<country> <unit_type> LON) :ARG3 DEN))))",
"AND ENG FRA SUP (ENG FLT NTH) MTO HEL",
"PRP (AND (XDO ((ENG <unit_type> <location>) MTO DEN)) (XDO ((FRA FLT BRE) MTO SCS)))",
"PRP (XDO ((FRA <unit_type> <location>) MTO PIC))",
"PRP (AND (NOT (XDO ((FRA FLT <location>) MTO EAS))) (XDO ((FRA FLT MAO) MTO <location>)))",
"(tell-01 :polarity \"-\" :ARG0 ITA :ARG1 PRP (XDO ((ITA <unit_type> <location>) MTO DEN)) :ARG2 ENG)",
"PRP (AND (NOT (YES (XDO ((ENG <unit_type> <location>) SUP (ENG <unit_type> <location>) MTO DEN))))) (XDO ((ENG <unit_type> <location>) SUP (ENG <unit_type> <location>) MTO DEN)))",
"(tell-01 :ARG0 RUS :ARG1 PRP (XDO ((RUS <unit_type> <location>) SUP (ENG <unit_type> <location>) MTO DEN)) :ARG2 FRA)",
"PRP (XDO ((ENG <unit_type> <location>) MTO <location>))",
"PRP (AND (SCD (FRA DEN)) (XDO ((<country> FLT NWG) MTO EDI)) (bounce-03 :ARG1 (<country> FLT NTH) :ARG2 (<country> FLT Sea) :ARG3 EDI YES_LAS)",
"PRP (AND (XDO ((ENG <unit_type> LON) MTO <location>)) (XDO ((build-01 :polarity \"-\" :ARG0 ENG :ARG1 (ENG <unit_type> LON)))))",
"PRP (AND (NOT (PCE (ENG GER))) (SCD (ENG NWY)) (XDO ((ENG FLT <location>) MTO NWY)))",
"PRP (XDO ((<country> FLT EDI) MTO NTH))",
"PRP (XDO ((<country> FLT EDI) MTO HEL))",
"(tell-01 :ARG0 RUS :ARG1 PRP (XDO ((RUS <unit_type> NWY) MTO <location>)) :ARG2 ENG)",
"PRP (AND (NOT (PCE (GER ENG FRA))) (SCD (ENG NWY)) (XDO ((ENG FLT <location>) MTO HEL)))",
"PRP (AND (SCD (ENG NWY)) (XDO ((RUS FLT <location>) MTO DEN)))",
"PRP (XDO ((FRA <unit_type> <location>) MTO KIE))",
"PRP (XDO ((RUS <unit_type> <location>) MTO MUN))",
"PRP (AND (prevent-01 :ARG0 RUS :ARG1 XDO ((TUR <unit_type> <location>) MTO <location>)) (tell-01 :ARG0 RUS :ARG1 PRP (XDO ((RUS AMY MOS) BLD)) :ARG2 FRA)",
"PRP (AND (SCD (ENG DEN KIE)) (XDO ((ENG <unit_type> DEN) MTO KIE)) (XDO ((ENG FLT DEN) MTO NTH)) (XDO ((ENG FLT NTH) MTO HEL)))",
"YES (PRP (XDO ((ENG <unit_type> <location>) MTO KIE)))",
"PRP (AND (FCT (ALY (FRA RUS) VSS (AUS TUR GER ITA ENG)) (XDO ((FRA <unit_type> <location>) SUP (RUS FLT <location>) CVY AMY CTO LVP))))",
"PRP (AND (SCD (FRA BEL)) (XDO ((FRA <unit_type> <location>) MTO <location>)))",
"PRP (AND (XDO ((FRA <unit_type> <location>) SUP (AND (<location> :name (name :op1 \"Iberia\")) (<location> :name (name :op1 \"Mediterranean\"))) HLD)) (build-01 :ARG0 FRA :ARG1 (fleet) :purpose PRP (XDO ((FRA <unit_type> <location>) SUP (defend-01 :ARG0 ENG :ARG3 ITA))) (tell-01 :ARG0 ENG :ARG1 PRP (XDO (FRA MTO LVP)) :ARG2 RUS)",
"PRP (AND (XDO ((ENG <unit_type> <location>) MTO LVP)) (transport-01 :ARG0 (fleet) :ARG1 (ENG <unit_type> <location>) :ARG3 DEN)",
"PRP (AND (NOT (YES (XDO ((RUS <unit_type> <location>) MTO SWE)))) (XDO ((RUS <unit_type> <location>) MTO SWE)))",
"PRP (AND (XDO ((FRA FLT <location>) MTO ECH)) (XDO ((FRA FLT <location>) MTO MAO)) (transport-01 :ARG0 (FRA FLT <location>) :ARG1 (<country> <unit_type> WAL) :ARG3 NAF))",
"PRP (XDO ((FRA FLT <location>) CVY (FRA AMY <location>) CTO NWY))",
"(tell-01 :ARG0 FRA :ARG1 PRP (XDO ((FRA <unit_type> <location>) SUP PRP (XDO ((ITA <unit_type> <location>) MTO MAR)))) :ARG2 ITA)",
"PRP (AND ((RUS <unit_type> <location>) SUP (RUS <unit_type> <location>) MTO MUN) (SCD (RUS MUN)))",
"PRP (XDO ((ENG <unit_type> HOL) (ENG <unit_type> KIE) MTO <location>))",
"PRP (NOT (XDO ((RUS FLT <location>) MTO NTH)))",
"PRP (XDO ((FRA FLT <location>) MTO NTH))",
"PRP (AND (XDO ((FRA FLT NTH) MTO <location>)) (bounce-03 :ARG1 (RUS <unit_type> <location>) :ARG2 (FRA FLT NTH) :mod RUS :location NWG))",
"PRP (XDO ((ENG <unit_type> <location>) SUP (FRA FLT <location>) MTO NWG))",
"PRP (XDO ((ENG <unit_type> <location>) SUP (<country> FLT EDI) MTO NWG))",
"PRP (AND (XDO ((ITA <unit_type> <location>) MTO TYR)) (tell-01 :ARG0 ITA :ARG1 PRP (XDO ((ITA <unit_type> <location>) MTO <location>)) :ARG2 Y)",
"PRP (AND (XDO ((AUS FLT <location>) MTO <location>)) (XDO ((AUS FLT <location>) MTO ADR)))",
"PRP (AND (NOT (ALY (ITA TUR) VSS (AUS RUS GER ENG FRA))) (XDO ((TUR <unit_type> <location>) MTO NAP)))",
"PRP (XDO ((FRA <unit_type> <location>) SUP (<country> <unit_type> ALB) MTO TRI))"
]