-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathtest.qu
280 lines (280 loc) · 21.6 KB
/
test.qu
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
( lambda $ 0 e ( loc : t c0 $ 0 ) )
( lambda $ 0 e ( and ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( lambda $ 0 e ( exists $ 1 ( and ( mountain : t $ 1 ) ( loc : t $ 1 $ 0 ) ) ) )
( lambda $ 0 e ( loc : t c0 $ 0 ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) )
( elevation : i m0 )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) )
( size : i s0 )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) )
( elevation : i m0 )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) )
( lambda $ 0 e ( loc : t r0 $ 0 ) )
( size : i s0 )
( argmin $ 0 ( state : t $ 0 ) ( size : i $ 0 ) )
( lambda $ 0 e ( loc : t ( argmin $ 1 ( city : t $ 1 ) ( size : i $ 1 ) ) $ 0 ) )
( count $ 0 ( state : t $ 0 ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( exists $ 1 ( and ( city : t $ 1 ) ( named : t $ 1 n0 ) ( loc : t $ 1 $ 0 ) ) ) ) )
( len : i r0 )
( lambda $ 0 e ( and ( state : t $ 0 ) ( exists $ 1 ( and ( city : t $ 1 ) ( named : t $ 1 n0 ) ( loc : t $ 1 $ 0 ) ) ) ) )
( lambda $ 0 e ( and ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t c0 $ 0 ) ) )
( len : i r0 )
( lambda $ 0 e ( and ( state : t $ 0 ) ( exists $ 1 ( and ( river : t $ 1 ) ( loc : t $ 1 $ 0 ) ) ) ) )
( count $ 0 ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) )
( argmin $ 0 ( state : t $ 0 ) ( size : i $ 0 ) )
( lambda $ 0 e ( and ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( exists $ 1 ( and ( city : t $ 1 ) ( named : t $ 1 n0 ) ( loc : t $ 1 $ 0 ) ) ) ) )
( len : i r0 )
( lambda $ 0 e ( and ( state : t $ 0 ) ( exists $ 1 ( and ( city : t $ 1 ) ( named : t $ 1 n0 ) ( loc : t $ 1 $ 0 ) ) ) ) )
( count $ 0 ( and ( state : t $ 0 ) ( next_to : t s0 $ 0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( exists $ 1 ( and ( city : t $ 1 ) ( named : t $ 1 n0 ) ( loc : t $ 1 $ 0 ) ) ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 r0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t c0 $ 0 ) ) )
( len : i r0 )
( count $ 0 ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t c0 $ 0 ) ) )
( argmax $ 0 ( river : t $ 0 ) ( count $ 1 ( and ( state : t $ 1 ) ( loc : t $ 0 $ 1 ) ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t m0 $ 0 ) ) )
( population : i c0 )
( len : i r0 )
( lambda $ 0 e ( and ( state : t $ 0 ) ( exists $ 1 ( and ( city : t $ 1 ) ( named : t $ 1 n0 ) ( loc : t $ 1 $ 0 ) ) ) ) )
( lambda $ 0 e ( and ( major : t $ 0 ) ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( population : i c0 )
( population : i s0 )
( population : i c0 )
( argmax $ 0 ( state : t $ 0 ) ( population : i $ 0 ) )
( capital : c s0 )
( population : i c0 )
( argmax $ 0 ( state : t $ 0 ) ( population : i $ 0 ) )
( population : i c0 )
( capital : c s0 )
( count $ 0 ( and ( named : t $ 0 colorado : n ) ( river : t $ 0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t ( argmax $ 1 ( capital : t $ 1 ) ( size : i $ 1 ) ) $ 0 ) ) )
( capital : c s0 )
( argmax $ 1 ( state : t $ 1 ) ( elevation : i $ 1 ) )
( population : i s0 )
( capital : c s0 )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t ( argmax $ 1 ( river : t $ 1 ) ( len : i $ 1 ) ) $ 0 ) ) )
( population : i s0 )
( lambda $ 0 e ( and ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t ( argmax $ 1 ( place : t $ 1 ) ( elevation : i $ 1 ) ) $ 0 ) ) )
( count $ 0 ( and ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( argmax $ 0 ( state : t $ 0 ) ( count $ 1 ( and ( river : t $ 1 ) ( loc : t $ 1 $ 0 ) ) ) )
( population : i c0 )
( area : i s0 )
( capital : c s0 )
( capital : c s0 )
( argmin $ 0 ( state : t $ 0 ) ( elevation : i $ 0 ) )
( population : i c0 )
( population : i c0 )
( argmax $ 0 ( city : t $ 0 ) ( population : i $ 0 ) )
( count $ 0 ( and ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( capital : c s0 )
( argmax $ 0 ( state : t $ 0 ) ( area : i $ 0 ) )
( capital : c s0 )
( population : i s0 )
( population : i s0 )
( population : i c0 )
( population : i s0 )
( lambda $ 0 e ( and ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( argmax $ 0 ( state : t $ 0 ) ( count $ 1 ( and ( state : t $ 1 ) ( next_to : t $ 0 $ 1 ) ) ) )
( population : i s0 )
( argmax $ 0 ( city : t $ 0 ) ( population : i $ 0 ) )
( count $ 0 ( and ( capital : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( population : i c0 )
( argmax $ 0 ( state : t $ 0 ) ( population : i $ 0 ) )
( population : i c0 )
( population : i c0 )
( lambda $ 0 e ( and ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( area : i s0 )
( count $ 0 ( and ( state : t $ 0 ) ( loc : t $ 0 co0 ) ) )
( population : i s0 )
( argmin $ 0 ( state : t $ 0 ) ( population : i $ 0 ) )
( argmax $ 0 ( river : t $ 0 ) ( count $ 1 ( and ( state : t $ 1 ) ( loc : t $ 0 $ 1 ) ) ) )
( count $ 0 ( and ( state : t $ 0 ) ( next_to : t s0 $ 0 ) ) )
( population : i s0 )
( capital : c s0 )
( argmax $ 0 ( state : t $ 0 ) ( count $ 1 ( and ( river : t $ 1 ) ( loc : t $ 1 $ 0 ) ) ) )
( population : i s0 )
( population : i s0 )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) )
( argmax $ 0 ( state : t $ 0 ) ( population : i $ 0 ) )
( population : i s0 )
( argmax $ 0 ( state : t $ 0 ) ( count $ 1 ( and ( state : t $ 1 ) ( next_to : t $ 0 $ 1 ) ) ) )
( area : i s0 )
( argmax $ 0 ( and ( river : t $ 0 ) ( loc : t $ 0 co0 ) ) ( len : i $ 0 ) )
( lambda $ 0 e ( and ( major : t $ 0 ) ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( argmin $ 0 ( state : t $ 0 ) ( density : i $ 0 ) )
( argmin $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t r0 $ 0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t r0 $ 0 ) ) )
( argmax $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 s0 ) ) ( size : i $ 0 ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 ( argmax $ 1 ( state : t $ 1 ) ( population : i $ 1 ) ) ) ) )
( argmax $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 s0 ) ) ( size : i $ 0 ) )
( argmax $ 0 ( state : t $ 0 ) ( count $ 1 ( and ( major : t $ 1 ) ( city : t $ 1 ) ( loc : t $ 1 $ 0 ) ) ) )
( argmax $ 0 ( state : t $ 0 ) ( count $ 1 ( and ( city : t $ 1 ) ( major : t $ 1 ) ( loc : t $ 1 $ 0 ) ) ) )
( count $ 0 ( and ( state : t $ 0 ) ( loc : t $ 0 co0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) )
( argmax $ 0 ( river : t $ 0 ) ( count $ 1 ( and ( state : t $ 1 ) ( loc : t $ 0 $ 1 ) ) ) )
( len : i r0 )
( argmax $ 0 ( state : t $ 0 ) ( count $ 1 ( and ( major : t $ 1 ) ( river : t $ 1 ) ( loc : t $ 1 $ 0 ) ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t r0 $ 0 ) ) )
( count $ 0 ( and ( state : t $ 0 ) ( not ( exists $ 1 ( and ( river : t $ 1 ) ( loc : t $ 1 $ 0 ) ) ) ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( next_to : t $ 1 s0 ) ( next_to : t $ 0 $ 1 ) ) ) ) )
( argmin $ 0 ( state : t $ 0 ) ( density : i $ 0 ) )
( argmax $ 0 ( and ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) ( size : i $ 0 ) )
( capital : c s0 )
( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) )
( lambda $ 0 e ( and ( major : t $ 0 ) ( city : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( argmax $ 0 ( state : t $ 0 ) ( population : i $ 0 ) )
( lambda $ 0 e ( loc : t ( argmax $ 1 ( and ( place : t $ 1 ) ( loc : t $ 1 s0 ) ) ( elevation : i $ 1 ) ) $ 0 ) )
( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) )
( argmin $ 0 ( capital : t $ 0 ) ( population : i $ 0 ) )
( argmin $ 0 ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) ( size : i $ 0 ) )
( argmax $ 0 ( state : t $ 0 ) ( density : i $ 0 ) )
( population : i co0 )
( lambda $ 0 e ( loc : t ( argmin $ 1 ( and ( place : t $ 1 ) ( loc : t $ 1 s0 ) ) ( elevation : i $ 1 ) ) $ 0 ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t r0 $ 0 ) ) )
( len : i r0 )
( density : i s0 )
( lambda $ 0 e ( and ( capital : t $ 0 ) ( loc : t $ 0 s0 ) ( city : t $ 0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t r0 $ 0 ) ) )
( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) )
( argmin $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) )
( argmax $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 s0 ) ) ( size : i $ 0 ) )
( argmax $ 0 ( and ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) ( len : i $ 0 ) )
( lambda $ 0 e ( and ( major : t $ 0 ) ( city : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( capital : t $ 0 ( argmax $ 1 ( capital : t $ 1 ) ( size : i $ 1 ) ) ) ) )
( lambda $ 0 e ( and ( major : t $ 0 ) ( city : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( argmax $ 0 ( and ( mountain : t $ 0 ) ( loc : t $ 0 co0 ) ) ( elevation : i $ 0 ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t r0 $ 0 ) ) )
( density : i s0 )
( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 c0 ) ) ( elevation : i $ 0 ) )
( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) )
( lambda $ 0 e ( and ( river : t $ 0 ) ( not ( loc : t $ 0 s0 ) ) ) )
( argmin $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 co0 ) ) ( elevation : i $ 0 ) )
( argmax $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 s0 ) ) ( size : i $ 0 ) )
( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) )
( lambda $ 0 e ( and ( river : t $ 0 ) ( not ( loc : t $ 0 co0 ) ) ) )
( argmin $ 0 ( state : t $ 0 ) ( density : i $ 0 ) )
( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) )
( lambda $ 0 e ( and ( major : t $ 0 ) ( city : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( lambda $ 0 e ( and ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( argmax $ 0 ( river : t $ 0 ) ( count $ 1 ( and ( state : t $ 1 ) ( loc : t $ 0 $ 1 ) ) ) )
( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) )
( lambda $ 0 e ( and ( city : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( argmax $ 0 ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) ( size : i $ 0 ) )
( argmin $ 0 ( state : t $ 0 ) ( population : i $ 0 ) )
( area : i s0 )
( lambda $ 0 e ( and ( major : t $ 0 ) ( city : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( argmin $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) )
( count $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 co0 ) ) )
( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 co0 ) ) ( elevation : i $ 0 ) )
( argmax $ 0 ( and ( mountain : t $ 0 ) ( not ( loc : t $ 0 s0 ) ) ) ( elevation : i $ 0 ) )
( argmin $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 co0 ) ) ( size : i $ 0 ) )
( elevation : i ( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) ) )
( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 co0 ) ) ( elevation : i $ 0 ) )
( lambda $ 0 e ( and ( major : t $ 0 ) ( city : t $ 0 ) ( loc : t $ 0 co0 ) ) )
( count $ 0 ( and ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( argmax $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 s0 ) ) ( population : i $ 0 ) )
( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 co0 ) ) ( elevation : i $ 0 ) )
( argmin $ 0 ( state : t $ 0 ) ( density : i $ 0 ) )
( capital : c ( argmin $ 1 ( state : t $ 1 ) ( size : i $ 1 ) ) )
( argmax $ 0 ( state : t $ 0 ) ( area : i $ 0 ) )
( lambda $ 0 e ( and ( river : t $ 0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( next_to : t $ 1 s0 ) ( loc : t $ 0 $ 1 ) ) ) ) )
( argmin $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 co0 ) ) ( size : i $ 0 ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( > ( count $ 1 ( and ( major : t $ 1 ) ( river : t $ 1 ) ( loc : t $ 1 $ 0 ) ) ) 0 : i ) ) )
( lambda $ 0 e ( loc : t ( argmax $ 1 ( and ( mountain : t $ 1 ) ( loc : t $ 1 co0 ) ) ( elevation : i $ 1 ) ) $ 0 ) )
( elevation : i ( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 co0 ) ) ( elevation : i $ 0 ) ) )
( len : i ( argmax $ 0 ( and ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) ( len : i $ 0 ) ) )
( argmin $ 0 ( state : t $ 0 ) ( area : i $ 0 ) )
( argmax $ 0 ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) ( size : i $ 0 ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t ( argmax $ 1 ( river : t $ 1 ) ( len : i $ 1 ) ) $ 0 ) ) )
( argmax $ 0 ( and ( mountain : t $ 0 ) ( loc : t $ 0 co0 ) ) ( elevation : i $ 0 ) )
( argmax $ 0 ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) ( population : i $ 0 ) )
( lambda $ 0 e ( and ( river : t $ 0 ) ( loc : t $ 0 ( argmin $ 1 ( state : t $ 1 ) ( count $ 2 ( and ( city : t $ 2 ) ( loc : t $ 2 $ 1 ) ) ) ) ) ) )
( lambda $ 0 e ( loc : t ( argmax $ 1 ( and ( place : t $ 1 ) ( loc : t $ 1 s0 ) ) ( population : i $ 1 ) ) $ 0 ) )
( elevation : i ( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) ) )
( count $ 0 ( and ( state : t $ 0 ) ( loc : t $ 0 co0 ) ) )
( argmax $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 co0 ) ) ( density : i $ 0 ) )
( population : i ( argmin $ 0 ( state : t $ 0 ) ( size : i $ 0 ) ) )
( lambda $ 0 e ( and ( place : t $ 0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( equals : t $ 0 ( argmax $ 2 ( and ( place : t $ 2 ) ( loc : t $ 2 $ 1 ) ) ( elevation : i $ 2 ) ) ) ) ) ) )
( argmax $ 0 ( and ( capital : t $ 0 ) ( city : t $ 0 ) ( loc : t $ 0 co0 ) ) ( size : i $ 0 ) )
( lambda $ 0 e ( exists $ 1 ( and ( state : t $ 1 ) ( next_to : t $ 1 s0 ) ( population : t $ 1 $ 0 ) ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 ( argmin $ 1 ( state : t $ 1 ) ( area : i $ 1 ) ) ) ) )
( lambda $ 0 e ( and ( capital : t $ 0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( next_to : t $ 1 s0 ) ( loc : t $ 0 $ 1 ) ) ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( loc : t r0 $ 1 ) ( next_to : t $ 0 $ 1 ) ) ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 ( argmax $ 1 ( state : t $ 1 ) ( count $ 2 ( and ( city : t $ 2 ) ( loc : t $ 2 $ 1 ) ) ) ) ) ) )
( sum $ 0 ( state : t $ 0 ) ( area : i $ 0 ) )
( argmin $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ( exists $ 1 ( and ( major : t $ 1 ) ( river : t $ 1 ) ( loc : t $ 1 $ 0 ) ) ) ) )
( lambda $ 0 e ( exists $ 1 ( and ( state : t $ 1 ) ( density : i $ 1 $ 0 ) ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t ( argmin $ 1 ( and ( place : t $ 1 ) ( next_to : t $ 1 s0 ) ) ( elevation : i $ 1 ) ) $ 0 ) ) )
( argmax $ 0 ( and ( state : t $ 0 ) ( loc : t $ 0 co0 ) ) ( density : i $ 0 ) )
( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) )
( argmax $ 0 ( and ( river : t $ 0 ) ( loc : t $ 0 ( argmax $ 1 ( state : t $ 1 ) ( size : i $ 1 ) ) ) ) ( len : i $ 0 ) )
( len : i ( argmax $ 0 ( and ( river : t $ 0 ) ( loc : t $ 0 co0 ) ) ( len : i $ 0 ) ) )
( argmax $ 0 ( and ( place : t $ 0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( next_to : t $ 1 s0 ) ( loc : t $ 0 $ 1 ) ) ) ) ( elevation : i $ 0 ) )
( density : i ( argmax $ 0 ( state : t $ 0 ) ( size : i $ 0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 ( argmin $ 1 ( state : t $ 1 ) ( area : i $ 1 ) ) ) ) )
( population : i ( capital : c s0 ) )
( argmax $ 0 ( and ( capital : t $ 0 ) ( city : t $ 0 ) ( loc : t $ 0 co0 ) ) ( size : i $ 0 ) )
( lambda $ 0 e ( and ( capital : t $ 0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( exists $ 2 ( and ( city : t $ 2 ) ( named : t $ 2 n0 ) ( loc : t $ 2 $ 1 ) ) ) ( loc : t $ 0 $ 1 ) ) ) ) )
( population : i ( argmax $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 s0 ) ) ( size : i $ 0 ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 ( argmax $ 1 ( state : t $ 1 ) ( count $ 2 ( and ( major : t $ 2 ) ( city : t $ 2 ) ( loc : t $ 2 $ 1 ) ) ) ) ) ) )
( lambda $ 0 e ( and ( river : t $ 0 ) ( loc : t $ 0 ( argmax $ 1 ( state : t $ 1 ) ( count $ 2 ( and ( state : t $ 2 ) ( next_to : t $ 1 $ 2 ) ) ) ) ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( next_to : t $ 0 ( argmax $ 1 ( state : t $ 1 ) ( count $ 2 ( and ( state : t $ 2 ) ( next_to : t $ 1 $ 2 ) ) ) ) ) ) )
( lambda $ 0 e ( and ( river : t $ 0 ) ( loc : t $ 0 ( argmax $ 1 ( state : t $ 1 ) ( count $ 2 ( and ( state : t $ 2 ) ( next_to : t $ 1 $ 2 ) ) ) ) ) ) )
( argmax $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 co0 ) ) ( density : i $ 0 ) )
( argmin $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 s0 ) ) ( elevation : i $ 0 ) )
( lambda $ 0 e ( and ( major : t $ 0 ) ( city : t $ 0 ) ( loc : t $ 0 s0 ) ) )
( argmax $ 0 ( and ( place : t $ 0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( next_to : t $ 1 s0 ) ( loc : t $ 0 $ 1 ) ) ) ) ( elevation : i $ 0 ) )
( argmax $ 0 ( and ( state : t $ 0 ) ( next_to : t $ 0 s0 ) ) ( population : i $ 0 ) )
( count $ 0 ( and ( state : t $ 0 ) ( next_to : t $ 0 ( argmax $ 1 ( state : t $ 1 ) ( population : i $ 1 ) ) ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t ( argmax $ 1 ( and ( river : t $ 1 ) ( loc : t $ 1 s0 ) ) ( len : i $ 1 ) ) $ 0 ) ) )
( argmax $ 0 ( state : t $ 0 ) ( count $ 1 ( and ( major : t $ 1 ) ( river : t $ 1 ) ( loc : t $ 1 $ 0 ) ) ) )
( capital : c ( the $ 1 ( and ( loc : t ( argmin $ 2 ( place : t $ 2 ) ( elevation : i $ 2 ) ) $ 1 ) ( state : t $ 1 ) ) ) )
( argmin $ 0 ( in : t $ 0 ( argmax $ 1 ( state : t $ 1 ) ( count $ 2 ( and ( state : t $ 2 ) ( next_to : t $ 2 $ 1 ) ) ) ) ) ( size : i $ 0 ) )
( lambda $ 0 e ( and ( river : t $ 0 ) ( loc : t $ 0 ( argmax $ 1 ( state : t $ 1 ) ( count $ 2 ( and ( city : t $ 2 ) ( loc : t $ 2 $ 1 ) ) ) ) ) ) )
( lambda $ 0 e ( exists $ 1 ( and ( city : t $ 1 ) ( major : t $ 1 ) ( loc : t $ 1 s0 ) ( population : t $ 1 $ 0 ) ) ) )
( argmin $ 0 ( and ( state : t $ 0 ) ( loc : t r0 $ 0 ) ) ( size : i $ 0 ) )
( lambda $ 0 e ( and ( city : t $ 0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( loc : t r0 $ 1 ) ( loc : t $ 0 $ 1 ) ) ) ) )
( lambda $ 0 e ( exists $ 1 ( and ( state : t $ 1 ) ( loc : t r0 $ 1 ) ( population : t $ 1 $ 0 ) ) ) )
( argmax $ 0 ( and ( river : t $ 0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( next_to : t $ 1 s0 ) ( loc : t $ 0 $ 1 ) ) ) ) ( len : i $ 0 ) )
( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 ( the $ 1 ( and ( state : t $ 1 ) ( capital : t $ 1 c0 ) ) ) ) ) ( elevation : i $ 0 ) )
( argmax $ 0 ( and ( state : t $ 0 ) ( loc : t r0 $ 0 ) ) ( population : i $ 0 ) )
( population : i ( argmax $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 co0 ) ) ( size : i $ 0 ) ) )
( capital : c ( argmax $ 1 ( state : t $ 1 ) ( population : i $ 1 ) ) )
( capital : c ( argmax $ 1 ( state : t $ 1 ) ( population : i $ 1 ) ) )
( lambda $ 0 e ( exists $ 1 ( and ( state : t $ 1 ) ( loc : t r0 $ 1 ) ( population : t $ 1 $ 0 ) ) ) )
( sum $ 0 ( and ( river : t $ 0 ) ( loc : t $ 0 co0 ) ) ( len : i $ 0 ) )
( lambda $ 0 e ( and ( city : t $ 0 ) ( loc : t $ 0 ( the $ 1 ( and ( state : t $ 1 ) ( loc : t ( argmax $ 2 ( place : t $ 2 ) ( elevation : i $ 2 ) ) $ 1 ) ) ) ) ) )
( lambda $ 0 e ( and ( state : t $ 0 ) ( loc : t ( argmax $ 1 ( and ( place : t $ 1 ) ( loc : t r0 $ 1 ) ) ( elevation : i $ 1 ) ) $ 0 ) ) )
( capital : c ( the $ 1 ( and ( state : t $ 1 ) ( loc : t ( argmax $ 2 ( river : t $ 2 ) ( len : i $ 2 ) ) $ 1 ) ) ) )
( capital : c ( argmax $ 1 ( state : t $ 1 ) ( density : i $ 1 ) ) )
( count $ 0 ( and ( state : t $ 0 ) ( exists $ 1 ( and ( place : t $ 1 ) ( loc : t $ 1 $ 0 ) ( < ( elevation : i $ 1 ) ( elevation : i ( argmin $ 2 ( and ( place : t $ 2 ) ( loc : t $ 2 s0 ) ) ( elevation : i $ 2 ) ) ) ) ) ) ) )
( len : i ( argmax $ 0 ( and ( river : t $ 0 ) ( loc : t $ 0 s0 ) ) ( len : i $ 0 ) ) )
( argmax $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 co0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( loc : t $ 0 $ 1 ) ( exists $ 2 ( and ( river : t $ 2 ) ( loc : t $ 2 $ 1 ) ) ) ) ) ) ( size : i $ 0 ) )
( population : i ( argmax $ 0 ( state : t $ 0 ) ( density : i $ 0 ) ) )
( population : i ( argmax $ 0 ( state : t $ 0 ) ( count $ 1 ( and ( state : t $ 1 ) ( next_to : t $ 0 $ 1 ) ) ) ) )
( count $ 0 ( and ( river : t $ 0 ) ( loc : t $ 0 ( argmax $ 1 ( state : t $ 1 ) ( count $ 2 ( and ( river : t $ 2 ) ( loc : t $ 2 $ 1 ) ) ) ) ) ) )
( argmax $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 ( argmin $ 1 ( and ( state : t $ 1 ) ( loc : t $ 1 co0 ) ) ( size : i $ 1 ) ) ) ) ( size : i $ 0 ) )
( lambda $ 0 e ( and ( major : t $ 0 ) ( city : t $ 0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( loc : t r0 $ 1 ) ( loc : t $ 0 $ 1 ) ) ) ) )
( lambda $ 0 e ( and ( river : t $ 0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( next_to : t $ 1 ( the $ 2 ( and ( state : t $ 2 ) ( capital : t $ 2 c0 ) ) ) ) ( loc : t $ 0 $ 1 ) ) ) ) )
( argmax $ 0 ( and ( river : t $ 0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( next_to : t $ 1 s0 ) ( loc : t $ 0 $ 1 ) ) ) ) ( len : i $ 0 ) )
( len : i ( argmax $ 0 ( river : t $ 0 ) ( count $ 1 ( and ( state : t $ 1 ) ( loc : t $ 0 $ 1 ) ) ) ) )
( argmax $ 0 ( and ( place : t $ 0 ) ( loc : t $ 0 ( argmin $ 1 ( state : t $ 1 ) ( density : i $ 1 ) ) ) ) ( elevation : i $ 0 ) )
( len : i ( argmax $ 0 ( river : t $ 0 ) ( count $ 1 ( and ( state : t $ 1 ) ( loc : t $ 0 $ 1 ) ) ) ) )
( argmax $ 0 ( and ( river : t $ 0 ) ( loc : t $ 0 ( argmax $ 1 ( state : t $ 1 ) ( count $ 2 ( and ( major : t $ 2 ) ( city : t $ 2 ) ( loc : t $ 2 $ 1 ) ) ) ) ) ) ( len : i $ 0 ) )
( argmax $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 ( argmin $ 1 ( and ( state : t $ 1 ) ( loc : t r0 $ 1 ) ) ( size : i $ 1 ) ) ) ) ( size : i $ 0 ) )
( argmin $ 0 ( and ( place : t $ 0 ) ( exists $ 1 ( and ( state : t $ 1 ) ( loc : t r0 $ 1 ) ( loc : t $ 0 $ 1 ) ) ) ) ( elevation : i $ 0 ) )
( population : i ( argmax $ 0 ( and ( city : t $ 0 ) ( loc : t $ 0 ( argmax $ 1 ( state : t $ 1 ) ( area : i $ 1 ) ) ) ) ( size : i $ 0 ) ) )
( density : i ( the $ 0 ( and ( loc : t ( argmax $ 1 ( and ( loc : t $ 1 co0 ) ( river : t $ 1 ) ) ( size : i $ 1 ) ) $ 0 ) ( state : t $ 0 ) ) ) )
( count $ 0 ( and ( state : t $ 0 ) ( exists $ 1 ( and ( place : t $ 1 ) ( loc : t $ 1 $ 0 ) ( > ( elevation : i $ 1 ) ( elevation : i ( argmax $ 2 ( and ( place : t $ 2 ) ( exists $ 3 ( and ( loc : t $ 2 $ 3 ) ( state : t $ 3 ) ( loc : t $ 3 co0 ) ( loc : t ( argmax $ 4 ( and ( capital : t $ 4 ) ( city : t $ 4 ) ) ( size : i $ 4 ) ) $ 3 ) ) ) ) ( elevation : i $ 2 ) ) ) ) ) ) ) )