summaryrefslogtreecommitdiff
path: root/algorithms/parse_bracketed.input
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2014-06-14 16:46:27 +0200
committerPatrick Simianer <p@simianer.de>2014-06-14 16:46:27 +0200
commit26c490f404731d053a6205719b6246502c07b449 (patch)
tree3aa721098f1251dfbf2249ecd2736434c13b1d48 /algorithms/parse_bracketed.input
init
Diffstat (limited to 'algorithms/parse_bracketed.input')
-rw-r--r--algorithms/parse_bracketed.input880
1 files changed, 880 insertions, 0 deletions
diff --git a/algorithms/parse_bracketed.input b/algorithms/parse_bracketed.input
new file mode 100644
index 0000000..5a2973f
--- /dev/null
+++ b/algorithms/parse_bracketed.input
@@ -0,0 +1,880 @@
+answer(city(loc_2(stateid('virginia'))))
+answer(high_point_1(state(next_to_2(stateid('mississippi')))))
+answer(river(loc_2(stateid('arkansas'))))
+answer(river(loc_2(stateid('colorado'))))
+answer(capital(loc_2(stateid('texas'))))
+answer(highest(place(loc_2(state(stateid('oregon'))))))
+answer(count(state(low_point_2(lower_2(low_point_1(stateid('alabama')))))))
+answer(state(loc_2(countryid('usa'))))
+answer(city(loc_2(stateid('texas'))))
+answer(city(loc_2(countryid('usa'))))
+answer(city(loc_2(stateid('virginia'))))
+answer(city(loc_2(stateid('texas'))))
+answer(lake(loc_2(stateid('california'))))
+answer(largest(state(all)))
+answer(longest(river(traverse_2(countryid('usa')))))
+answer(count(river(loc_2(stateid('california')))))
+answer(state(next_to_2(stateid('utah'))))
+answer(size(stateid('alaska')))
+answer(size(stateid('massachusetts')))
+answer(size(stateid('new mexico')))
+answer(size(stateid('north dakota')))
+answer(size(stateid('texas')))
+answer(size(city(cityid('new york', _))))
+answer(elevation_1(highest(place(loc_2(state(all))))))
+answer(elevation_1(placeid('guadalupe peak')))
+answer(elevation_1(placeid('mount mckinley')))
+answer(elevation_1(highest(place(loc_2(countryid('usa'))))))
+answer(elevation_1(highest(place(loc_2(stateid('montana'))))))
+answer(elevation_1(highest(place(loc_2(largest(state(all)))))))
+answer(elevation_1(highest(place(loc_2(stateid('alabama'))))))
+answer(elevation_1(highest(place(loc_2(stateid('delaware'))))))
+answer(elevation_1(highest(place(loc_2(stateid('florida'))))))
+answer(elevation_1(highest(place(loc_2(stateid('louisiana'))))))
+answer(size(stateid('alaska')))
+answer(size(stateid('texas')))
+answer(size(largest(city(loc_2(stateid('alaska'))))))
+answer(len(riverid('rio grande')))
+answer(len(river(riverid('colorado'))))
+answer(len(river(riverid('delaware'))))
+answer(len(longest(river(loc_2(stateid('california'))))))
+answer(len(longest(river(loc_2(countryid('usa'))))))
+answer(len(riverid('mississippi')))
+answer(len(river(riverid('mississippi'))))
+answer(len(river(riverid('mississippi'))))
+answer(len(river(riverid('missouri'))))
+answer(len(river(riverid('north platte'))))
+answer(len(river(riverid('ohio'))))
+answer(len(river(riverid('rio grande'))))
+answer(len(shortest(river(loc_2(countryid('usa'))))))
+answer(count(major(city(loc_2(stateid('pennsylvania'))))))
+answer(count(capital(loc_2(stateid('rhode island')))))
+answer(count(city(loc_2(stateid('louisiana')))))
+answer(count(city(loc_2(stateid('montana')))))
+answer(count(city(loc_2(countryid('usa')))))
+answer(count(city(loc_2(countryid('usa')))))
+answer(count(city(loc_2(countryid('usa')))))
+answer(count(city(loc_2(countryid('usa')))))
+answer(count(city(loc_2(stateid('texas')))))
+answer(count(city(loc_2(countryid('usa')))))
+answer(count(intersection(city(cityid('austin', _)), loc_2(countryid('usa')))))
+answer(population_1(largest(city(all))))
+answer(population_1(stateid('alabama')))
+answer(population_1(cityid('boulder', _)))
+answer(population_1(stateid('california')))
+answer(count(river(riverid('colorado'))))
+answer(population_1(cityid('montgomery', _)))
+answer(count(major(city(loc_2(stateid('arizona'))))))
+answer(count(major(city(loc_2(stateid('florida'))))))
+answer(count(major(city(loc_2(state(next_to_2(stateid('nebraska'))))))))
+answer(count(major(city(loc_2(state(next_to_2(stateid('utah'))))))))
+answer(count(major(city(loc_2(stateid('texas'))))))
+answer(count(major(city(all))))
+answer(count(major(city(loc_2(stateid('oregon'))))))
+answer(count(major(river(traverse_2(stateid('ohio'))))))
+answer(population_1(state(stateid('nevada'))))
+answer(population_1(stateid('iowa')))
+answer(population_1(stateid('new york')))
+answer(population_1(cityid('boulder', _)))
+answer(population_1(cityid('austin', _)))
+answer(population_1(cityid('austin', 'tx')))
+answer(population_1(stateid('california')))
+answer(population_1(cityid('chicago', _)))
+answer(population_1(cityid('detroit', _)))
+answer(population_1(stateid('hawaii')))
+answer(population_1(cityid('houston', _)))
+answer(population_1(cityid('kalamazoo', _)))
+answer(population_1(stateid('kansas')))
+answer(population_1(cityid('minneapolis', 'mn')))
+answer(population_1(stateid('mississippi')))
+answer(population_1(stateid('montana')))
+answer(population_1(stateid('new hampshire')))
+answer(population_1(stateid('new mexico')))
+answer(population_1(stateid('new york')))
+answer(population_1(stateid('rhode island')))
+answer(population_1(cityid('riverside', _)))
+answer(population_1(cityid('san francisco', _)))
+answer(population_1(stateid('south dakota')))
+answer(population_1(cityid('spokane', 'wa')))
+answer(population_1(stateid('texas')))
+answer(population_1(largest(city(loc_2(state(stateid('new york')))))))
+answer(population_1(capital(loc_2(stateid('georgia')))))
+answer(population_1(capital(loc_2(stateid('texas')))))
+answer(population_1(smallest(state(next_to_2(stateid('wyoming'))))))
+answer(population_1(largest_one(density_1(state(all)))))
+answer(population_1(countryid('usa')))
+answer(population_1(stateid('washington')))
+answer(population_1(cityid('washington', 'dc')))
+answer(population_1(cityid('austin', _)))
+answer(population_1(stateid('utah')))
+answer(population_1(stateid('utah')))
+answer(population_1(stateid('texas')))
+answer(count(river(riverid('colorado'))))
+answer(count(river(loc_2(stateid('colorado')))))
+answer(count(river(loc_2(stateid('colorado')))))
+answer(count(river(loc_2(stateid('iowa')))))
+answer(count(river(loc_2(stateid('missouri')))))
+answer(count(river(loc_2(stateid('new york')))))
+answer(count(river(loc_2(most(state(loc_1(river(all))))))))
+answer(count(river(loc_2(state(loc_1(highest(place(all))))))))
+answer(count(river(loc_2(largest_one(population_1(state(all)))))))
+answer(count(river(loc_2(stateid('idaho')))))
+answer(count(river(loc_2(stateid('texas')))))
+answer(count(river(loc_2(countryid('usa')))))
+answer(count(exclude(river(all), traverse_2(state(loc_1(capital(cityid('albany', _))))))))
+answer(count(river(loc_2(stateid('alaska')))))
+answer(count(river(loc_2(stateid('colorado')))))
+answer(count(intersection(river(loc_2(stateid('texas'))), longer(riverid('red')))))
+answer(count(river(loc_2(stateid('washington')))))
+answer(count(river(traverse_2(stateid('texas')))))
+answer(count(river(traverse_2(state(next_to_2(stateid('colorado')))))))
+answer(area_1(countryid('usa')))
+answer(count(state(loc_2(countryid('usa')))))
+answer(count(state(loc_2(countryid('usa')))))
+answer(count(state(next_to_2(major(river(all))))))
+answer(count(state(all)))
+answer(count(state(loc_2(countryid('usa')))))
+answer(count(state(loc_2(countryid('usa')))))
+answer(count(state(next_to_2(stateid('alaska')))))
+answer(count(state(next_to_2(state(all)))))
+answer(count(state(intersection(next_to_2(stateid('colorado')), next_to_2(stateid('new mexico'))))))
+answer(count(state(next_to_2(stateid('hawaii')))))
+answer(count(state(next_to_2(stateid('iowa')))))
+answer(count(state(next_to_2(state(loc_1(capital(cityid('boston', _))))))))
+answer(count(state(next_to_2(stateid('tennessee')))))
+answer(count(state(next_to_2(stateid('texas')))))
+answer(count(state(next_to_2(largest(state(all))))))
+answer(count(state(next_to_2(river(riverid('mississippi'))))))
+answer(count(state(next_to_2(most(state(next_to_2(state(all))))))))
+answer(count(state(next_to_2(largest_one(population_1(state(all)))))))
+answer(count(exclude(state(all), loc_1(river(all)))))
+answer(count(state(next_to_1(stateid('iowa')))))
+answer(count(state(next_to_1(stateid('missouri')))))
+answer(count(state(next_to_1(stateid('tennessee')))))
+answer(count(state(traverse_1(river(riverid('colorado'))))))
+answer(count(state(traverse_1(river(riverid('colorado'))))))
+answer(count(state(traverse_1(river(riverid('mississippi'))))))
+answer(count(state(traverse_1(riverid('mississippi')))))
+answer(count(state(traverse_1(river(riverid('missouri'))))))
+answer(count(state(loc_2(countryid('usa')))))
+answer(count(state(loc_1(city(cityid('rochester', _))))))
+answer(count(state(loc_1(city(cityid('springfield', _))))))
+answer(count(state(loc_1(place(higher_2(highest(place(loc_2(state(loc_1(largest(capital(city(loc_2(countryid('usa'))))))))))))))))
+answer(count(state(loc_1(city(cityid('austin', _))))))
+answer(count(state(loc_1(city(cityid('springfield', _))))))
+answer(count(state(loc_1(major(river(all))))))
+answer(count(intersection(state(loc_2(countryid('usa'))), traverse_1(shortest(river(all))))))
+answer(population_1(stateid('texas')))
+answer(elevation_1(placeid('mount mckinley')))
+answer(elevation_1(highest(place(loc_2(stateid('montana'))))))
+answer(state(loc_1(placeid('mount mckinley'))))
+answer(state(loc_1(highest(place(loc_2(countryid('usa')))))))
+answer(state(loc_1(cityid('rochester', _))))
+answer(count(state(next_to_1(stateid('iowa')))))
+answer(state(all))
+answer(lake(loc_2(countryid('usa'))))
+answer(river(loc_2(stateid('colorado'))))
+answer(capital(loc_2(countryid('usa'))))
+answer(longest(river(loc_2(countryid('usa')))))
+answer(major(lake(loc_2(stateid('michigan')))))
+answer(major(river(loc_2(stateid('florida')))))
+answer(river(loc_2(stateid('arkansas'))))
+answer(exclude(state(all), next_to_2(state(all))))
+answer(population_1(cityid('boulder', _)))
+answer(population_1(cityid('boulder', _)))
+answer(count(state(next_to_2(stateid('iowa')))))
+answer(state(loc_1(lowest(place(loc_2(state(traverse_1(river(riverid('mississippi'))))))))))
+answer(population_1(cityid('boulder', _)))
+answer(population_1(cityid('boulder', _)))
+answer(river(loc_2(stateid('new york'))))
+answer(state(loc_1(capital(cityid('sacramento', _)))))
+answer(state(loc_1(cityid('san antonio', _))))
+answer(major(city(loc_2(stateid('colorado')))))
+answer(major(lake(loc_2(countryid('usa')))))
+answer(largest_one(area_1(state(all))))
+answer(state(next_to_2(stateid('iowa'))))
+answer(city(loc_2(stateid('texas'))))
+answer(state(traverse_1(longest(river(loc_2(stateid('texas')))))))
+answer(state(traverse_1(riverid('mississippi'))))
+answer(state(traverse_1(riverid('mississippi'))))
+answer(river(loc_2(stateid('texas'))))
+answer(major(river(loc_2(stateid('texas')))))
+answer(longest(river(loc_2(stateid('texas')))))
+answer(capital(city(loc_2(state(next_to_2(stateid('texas')))))))
+answer(capital(city(loc_2(stateid('texas')))))
+answer(capital(loc_2(state(next_to_2(stateid('missouri'))))))
+answer(capital(loc_2(state(next_to_2(stateid('texas'))))))
+answer(city(loc_2(stateid('california'))))
+answer(city(loc_2(state(traverse_1(riverid('mississippi'))))))
+answer(city(loc_2(state(loc_1(highest(place(all)))))))
+answer(highest(place(loc_2(state(all)))))
+answer(highest(place(loc_2(state(next_to_2(stateid('mississippi')))))))
+answer(lake(loc_2(state(next_to_2(stateid('texas'))))))
+answer(largest(city(loc_2(state(next_to_2(largest(state(all))))))))
+answer(major(city(loc_2(stateid('alabama')))))
+answer(major(city(loc_2(stateid('alaska')))))
+answer(major(city(loc_2(stateid('california')))))
+answer(major(city(loc_2(stateid('delaware')))))
+answer(major(city(loc_2(stateid('kansas')))))
+answer(major(city(loc_2(stateid('missouri')))))
+answer(major(city(loc_2(stateid('new mexico')))))
+answer(major(city(loc_2(stateid('new york')))))
+answer(major(city(loc_2(stateid('north carolina')))))
+answer(major(city(loc_2(stateid('ohio')))))
+answer(major(city(loc_2(stateid('oklahoma')))))
+answer(major(city(loc_2(stateid('rhode island')))))
+answer(major(city(loc_2(state(traverse_1(riverid('mississippi')))))))
+answer(major(city(loc_2(stateid('texas')))))
+answer(major(city(loc_2(largest(state(all))))))
+answer(major(city(loc_2(smallest(state(loc_2(countryid('usa'))))))))
+answer(major(city(loc_2(state(stateid('california'))))))
+answer(major(city(loc_2(state(traverse_1(major(river(loc_2(stateid('virginia'))))))))))
+answer(major(city(loc_2(countryid('usa')))))
+answer(major(city(loc_2(stateid('vermont')))))
+answer(major(city(loc_2(stateid('wyoming')))))
+answer(major(city(loc_2(stateid('texas')))))
+answer(major(city(loc_2(countryid('usa')))))
+answer(major(city(loc_2(countryid('usa')))))
+answer(major(lake(loc_2(countryid('usa')))))
+answer(major(river(loc_2(stateid('ohio')))))
+answer(major(river(loc_2(countryid('usa')))))
+answer(major(city(loc_2(stateid('illinois')))))
+answer(state(next_to_2(stateid('michigan'))))
+answer(density_1(state(all)))
+answer(population_1(stateid('mississippi')))
+answer(population_1(major(city(loc_2(stateid('montana'))))))
+answer(population_1(state(traverse_1(river(riverid('mississippi'))))))
+answer(population_1(state(traverse_1(river(riverid('mississippi'))))))
+answer(population_1(state(traverse_1(riverid('mississippi')))))
+answer(population_1(state(traverse_1(riverid('mississippi')))))
+answer(population_1(state(next_to_2(stateid('texas')))))
+answer(population_1(major(city(loc_2(stateid('texas'))))))
+answer(population_1(state(traverse_1(river(riverid('mississippi'))))))
+answer(population_1(state(traverse_1(river(riverid('mississippi'))))))
+answer(population_1(state(traverse_1(riverid('mississippi')))))
+answer(population_1(state(traverse_1(riverid('mississippi')))))
+answer(river(loc_2(stateid('alaska'))))
+answer(river(loc_2(state(stateid('indiana')))))
+answer(river(loc_2(state(stateid('texas')))))
+answer(river(loc_2(stateid('montana'))))
+answer(state(all))
+answer(state(next_to_2(largest_one(population_1(state(all))))))
+answer(state(traverse_1(riverid('potomac'))))
+answer(state(traverse_1(longest(river(all)))))
+answer(population_1(stateid('missouri')))
+answer(largest_one(population_1(capital(all))))
+answer(largest(capital(loc_2(countryid('usa')))))
+answer(city(loc_2(stateid('pennsylvania'))))
+answer(city(loc_2(stateid('california'))))
+answer(largest_one(population_1(city(loc_2(stateid('texas'))))))
+answer(largest_one(population_1(city(loc_2(stateid('texas'))))))
+answer(largest_one(population_1(city(all))))
+answer(smallest_one(population_1(city(all))))
+answer(largest_one(population_1(city(all))))
+answer(largest_one(density_1(city(loc_2(countryid('usa'))))))
+answer(capital(loc_2(stateid('iowa'))))
+answer(capital(loc_2(state(loc_1(lowest(place(all)))))))
+answer(largest(capital(all)))
+answer(state(next_to_2(stateid('california'))))
+answer(area_1(stateid('alaska')))
+answer(sum(area_1(state(all))))
+answer(area_1(stateid('california')))
+answer(area_1(stateid('florida')))
+answer(area_1(stateid('idaho')))
+answer(area_1(stateid('maine')))
+answer(area_1(stateid('maryland')))
+answer(area_1(stateid('new mexico')))
+answer(area_1(stateid('ohio')))
+answer(area_1(cityid('seattle', _)))
+answer(area_1(stateid('south carolina')))
+answer(area_1(stateid('texas')))
+answer(area_1(largest(state(all))))
+answer(area_1(smallest(state(all))))
+answer(area_1(state(loc_1(capital(cityid('albany', _))))))
+answer(area_1(smallest_one(density_1(state(all)))))
+answer(area_1(state(all)))
+answer(area_1(state(stateid('texas'))))
+answer(area_1(stateid('wisconsin')))
+answer(density_1(countryid('usa')))
+answer(density_1(stateid('pennsylvania')))
+answer(density_1(countryid('usa')))
+answer(largest(city(loc_2(state(loc_1(river(all)))))))
+answer(largest(capital(city(loc_2(countryid('usa'))))))
+answer(largest(city(loc_2(stateid('arizona')))))
+answer(largest(city(loc_2(stateid('georgia')))))
+answer(largest(city(loc_2(stateid('kansas')))))
+answer(largest(city(loc_2(stateid('louisiana')))))
+answer(largest(city(loc_2(stateid('nebraska')))))
+answer(largest(city(loc_2(stateid('oregon')))))
+answer(largest(city(loc_2(stateid('texas')))))
+answer(largest(city(loc_2(smallest(state(all))))))
+answer(largest(city(loc_2(countryid('usa')))))
+answer(largest(city(loc_2(countryid('usa')))))
+answer(largest(city(loc_2(countryid('usa')))))
+answer(largest(city(loc_2(stateid('wyoming')))))
+answer(longest(river(loc_2(stateid('illinois')))))
+answer(largest(state(all)))
+answer(largest(state(loc_2(countryid('usa')))))
+answer(largest(state(loc_2(countryid('usa')))))
+answer(capital(city(loc_2(largest(state(loc_2(countryid('usa'))))))))
+answer(capital(loc_2(stateid('california'))))
+answer(capital(loc_2(stateid('colorado'))))
+answer(capital(loc_2(stateid('georgia'))))
+answer(capital(loc_2(stateid('hawaii'))))
+answer(capital(loc_2(stateid('illinois'))))
+answer(capital(loc_2(stateid('indiana'))))
+answer(capital(loc_2(stateid('iowa'))))
+answer(capital(loc_2(stateid('maine'))))
+answer(capital(loc_2(stateid('maryland'))))
+answer(capital(loc_2(stateid('massachusetts'))))
+answer(capital(loc_2(stateid('michigan'))))
+answer(capital(loc_2(stateid('new hampshire'))))
+answer(capital(loc_2(stateid('new jersey'))))
+answer(capital(loc_2(stateid('new york'))))
+answer(capital(loc_2(stateid('north dakota'))))
+answer(capital(loc_2(stateid('ohio'))))
+answer(capital(loc_2(stateid('pennsylvania'))))
+answer(capital(loc_2(state(loc_1(city(cityid('durham', _)))))))
+answer(capital(loc_2(stateid('texas'))))
+answer(capital(loc_2(state(stateid('alabama')))))
+answer(capital(loc_2(state(stateid('florida')))))
+answer(capital(loc_2(largest(state(all)))))
+answer(capital(loc_2(smallest(state(all)))))
+answer(capital(loc_2(state(stateid('texas')))))
+answer(capital(loc_2(most(state(next_to_2(state(all)))))))
+answer(capital(loc_2(state(next_to_2(state(next_to_2(stateid('texas'))))))))
+answer(capital(loc_2(state(loc_1(highest(place(all)))))))
+answer(capital(loc_2(state(loc_1(highest(place(all)))))))
+answer(capital(loc_2(largest_one(population_1(state(all))))))
+answer(capital(loc_2(largest_one(density_1(state(all))))))
+answer(capital(loc_2(state(loc_1(longest(river(all)))))))
+answer(capital(loc_2(largest_one(population_1(state(all))))))
+answer(capital(loc_2(stateid('utah'))))
+answer(capital(loc_2(stateid('vermont'))))
+answer(capital(loc_2(stateid('washington'))))
+answer(largest_one(population_1(city(loc_2(stateid('texas'))))))
+answer(smallest_one(population_1(city(all))))
+answer(sum(area_1(state(all))))
+answer(sum(population_1(state(all))))
+answer(density_1(stateid('texas')))
+answer(density_1(stateid('new york')))
+answer(elevation_1(placeid('death valley')))
+answer(elevation_1(highest(place(loc_2(countryid('usa'))))))
+answer(elevation_1(placeid('mount mckinley')))
+answer(elevation_1(highest(mountain(loc_2(stateid('texas'))))))
+answer(elevation_1(highest(place(loc_2(countryid('usa'))))))
+answer(high_point_1(stateid('wyoming')))
+answer(highest(place(loc_2(stateid('new mexico')))))
+answer(highest(place(loc_2(stateid('south carolina')))))
+answer(highest(place(loc_2(stateid('texas')))))
+answer(highest(place(loc_2(countryid('usa')))))
+answer(highest(mountain(loc_2(stateid('alaska')))))
+answer(highest(mountain(loc_2(stateid('texas')))))
+answer(highest(mountain(loc_2(countryid('usa')))))
+answer(highest(mountain(loc_2(countryid('usa')))))
+answer(highest(place(loc_2(stateid('colorado')))))
+answer(highest(place(loc_2(stateid('delaware')))))
+answer(highest(place(loc_2(state(loc_1(place(elevation_2(0))))))))
+answer(highest(place(loc_2(stateid('florida')))))
+answer(highest(place(loc_2(stateid('iowa')))))
+answer(highest(place(loc_2(stateid('kansas')))))
+answer(highest(place(loc_2(stateid('maine')))))
+answer(highest(place(loc_2(stateid('montana')))))
+answer(highest(place(loc_2(stateid('nevada')))))
+answer(highest(place(loc_2(stateid('new mexico')))))
+answer(highest(place(loc_2(stateid('ohio')))))
+answer(highest(place(loc_2(stateid('rhode island')))))
+answer(highest(place(loc_2(state(next_to_2(stateid('georgia')))))))
+answer(highest(place(loc_2(stateid('texas')))))
+answer(highest(place(loc_2(countryid('usa')))))
+answer(highest(place(loc_2(smallest(state(all))))))
+answer(highest(place(loc_2(state(loc_1(capital(cityid('austin', _))))))))
+answer(highest(place(loc_2(state(loc_1(capital(cityid('des moines', _))))))))
+answer(highest(place(loc_2(state(loc_1(capital(cityid('des moines', _))))))))
+answer(highest(place(loc_2(most(state(traverse_1(river(all))))))))
+answer(highest(place(loc_2(smallest_one(population_1(state(all)))))))
+answer(highest(place(loc_2(state(next_to_2(stateid('colorado')))))))
+answer(highest(place(loc_2(countryid('usa')))))
+answer(highest(place(loc_2(countryid('usa')))))
+answer(highest(place(loc_2(countryid('usa')))))
+answer(highest(place(loc_2(stateid('virginia')))))
+answer(highest(place(loc_2(stateid('wyoming')))))
+answer(highest(place(loc_2(largest_one(area_1(state(all)))))))
+answer(highest(place(loc_2(smallest_one(density_1(state(all)))))))
+answer(highest(place(loc_2(countryid('usa')))))
+answer(largest(capital(all)))
+answer(largest(capital(city(loc_2(countryid('usa'))))))
+answer(largest(city(loc_2(state(next_to_2(stateid('texas')))))))
+answer(largest(city(loc_2(stateid('alabama')))))
+answer(largest(city(loc_2(stateid('california')))))
+answer(largest(city(loc_2(stateid('michigan')))))
+answer(largest_one(population_1(city(loc_2(stateid('minnesota'))))))
+answer(largest(city(loc_2(stateid('missouri')))))
+answer(largest(city(loc_2(stateid('rhode island')))))
+answer(largest(city(loc_2(smallest(state(traverse_1(riverid('mississippi'))))))))
+answer(largest(city(loc_2(state(next_to_2(stateid('california')))))))
+answer(largest(city(loc_2(stateid('texas')))))
+answer(largest(city(loc_2(smallest(state(loc_2(countryid('usa'))))))))
+answer(largest(city(loc_2(stateid('wisconsin')))))
+answer(largest(city(loc_2(stateid('kansas')))))
+answer(largest(state(traverse_1(riverid('rio grande')))))
+answer(longest(river(loc_2(state(stateid('washington'))))))
+answer(largest(state(all)))
+answer(largest(state(next_to_2(stateid('arkansas')))))
+answer(largest(state(next_to_2(stateid('texas')))))
+answer(largest_one(population_1(capital_1(state(all)))))
+answer(largest(state(loc_2(countryid('usa')))))
+answer(largest(state(loc_2(countryid('usa')))))
+answer(largest(state(next_to_2(stateid('california')))))
+answer(largest(state(next_to_2(stateid('texas')))))
+answer(largest(state(next_to_2(largest_one(population_1(state(all)))))))
+answer(largest(state(next_to_2(state(loc_1(lowest(place(loc_2(countryid('usa'))))))))))
+answer(largest(state(traverse_1(river(riverid('mississippi'))))))
+answer(smallest_one(population_1(state(all))))
+answer(len(river(riverid('colorado'))))
+answer(len(intersection(riverid('colorado'), river(loc_2(stateid('texas'))))))
+answer(len(longest(river(loc_2(countryid('usa'))))))
+answer(len(longest(river(traverse_2(stateid('texas'))))))
+answer(len(river(riverid('mississippi'))))
+answer(len(most(river(traverse_2(state(all))))))
+answer(len(most(river(traverse_2(state(all))))))
+answer(len(most(river(traverse_2(state(all))))))
+answer(len(most(river(traverse_2(state(all))))))
+answer(longest(river(all)))
+answer(longest(river(traverse_2(stateid('new york')))))
+answer(longest(river(loc_2(countryid('usa')))))
+answer(longest(river(loc_2(stateid('california')))))
+answer(longest(river(loc_2(stateid('florida')))))
+answer(longest(river(loc_2(stateid('mississippi')))))
+answer(longest(river(loc_2(stateid('new york')))))
+answer(longest(river(loc_2(stateid('pennsylvania')))))
+answer(longest(river(loc_2(stateid('texas')))))
+answer(longest(river(loc_2(largest(state(all))))))
+answer(longest(river(loc_2(smallest(state(loc_2(countryid('usa'))))))))
+answer(longest(river(loc_2(state(loc_1(highest(place(all))))))))
+answer(longest(river(loc_2(most(state(loc_1(major(city(all)))))))))
+answer(longest(river(loc_2(state(next_to_2(stateid('nebraska')))))))
+answer(longest(river(loc_2(countryid('usa')))))
+answer(longest(river(loc_2(countryid('usa')))))
+answer(longest(exclude(river(all), traverse_2(stateid('texas')))))
+answer(longest(river(traverse_2(state(next_to_2(stateid('indiana')))))))
+answer(longest(river(traverse_2(stateid('colorado')))))
+answer(longest(river(traverse_2(state(next_to_2(most(state(next_to_2(state(all))))))))))
+answer(longest(river(traverse_2(state(next_to_2(stateid('tennessee')))))))
+answer(lowest(place(loc_2(stateid('pennsylvania')))))
+answer(lowest(place(loc_2(stateid('arkansas')))))
+answer(lowest(place(loc_2(stateid('california')))))
+answer(lowest(place(loc_2(stateid('louisiana')))))
+answer(lowest(place(loc_2(stateid('massachusetts')))))
+answer(lowest(place(loc_2(stateid('mississippi')))))
+answer(lowest(place(loc_2(stateid('nebraska')))))
+answer(lowest(place(loc_2(stateid('oregon')))))
+answer(lowest(place(loc_2(stateid('texas')))))
+answer(lowest(place(loc_2(state(stateid('california'))))))
+answer(lowest(place(loc_2(state(stateid('texas'))))))
+answer(lowest(place(loc_2(countryid('usa')))))
+answer(lowest(place(loc_2(countryid('usa')))))
+answer(lowest(place(loc_2(stateid('wisconsin')))))
+answer(lowest(place(loc_2(state(traverse_1(river(riverid('colorado'))))))))
+answer(lowest(place(loc_2(stateid('colorado')))))
+answer(lowest(place(loc_2(largest_one(area_1(state(all)))))))
+answer(lowest(place(loc_2(countryid('usa')))))
+answer(major(city(loc_2(stateid('montana')))))
+answer(highest(place(loc_2(cityid('san francisco', _)))))
+answer(largest_one(density_1(state(loc_2(countryid('usa'))))))
+answer(largest_one(population_1(capital(loc_2(countryid('usa'))))))
+answer(largest_one(population_1(state(next_to_2(stateid('oklahoma'))))))
+answer(largest_one(population_1(city(all))))
+answer(largest_one(population_1(city(loc_2(stateid('texas'))))))
+answer(largest_one(population_1(city(loc_2(stateid('wyoming'))))))
+answer(largest_one(population_1(state(all))))
+answer(largest_one(population_1(state(loc_2(countryid('usa'))))))
+answer(largest_one(population_1(state(traverse_1(riverid('mississippi'))))))
+answer(state(loc_1(lowest(place(all)))))
+answer(count(state(next_to_2(stateid('kentucky')))))
+answer(density_1(state(loc_1(capital(cityid('austin', _))))))
+answer(density_1(stateid('maine')))
+answer(density_1(stateid('south dakota')))
+answer(density_1(stateid('texas')))
+answer(density_1(largest(state(all))))
+answer(density_1(smallest(state(all))))
+answer(density_1(smallest_one(area_1(state(all)))))
+answer(density_1(smallest_one(population_1(state(all)))))
+answer(density_1(stateid('wyoming')))
+answer(population_1(cityid('boston', _)))
+answer(population_1(stateid('alaska')))
+answer(population_1(stateid('arizona')))
+answer(population_1(cityid('atlanta', _)))
+answer(population_1(cityid('atlanta', 'ga')))
+answer(population_1(cityid('austin', _)))
+answer(population_1(cityid('austin', 'tx')))
+answer(population_1(cityid('boston', 'ma')))
+answer(population_1(cityid('boulder', _)))
+answer(population_1(stateid('california')))
+answer(population_1(cityid('dallas', _)))
+answer(population_1(cityid('denver', _)))
+answer(population_1(cityid('erie', 'pa')))
+answer(population_1(stateid('hawaii')))
+answer(population_1(cityid('houston', _)))
+answer(population_1(stateid('idaho')))
+answer(population_1(stateid('illinois')))
+answer(population_1(stateid('maine')))
+answer(population_1(stateid('maryland')))
+answer(population_1(stateid('minnesota')))
+answer(population_1(stateid('montana')))
+answer(population_1(stateid('new mexico')))
+answer(population_1(stateid('new york')))
+answer(population_1(city(cityid('new york', _))))
+answer(population_1(stateid('oregon')))
+answer(population_1(cityid('portland', 'me')))
+answer(population_1(stateid('rhode island')))
+answer(population_1(cityid('sacramento', _)))
+answer(population_1(cityid('san antonio', _)))
+answer(population_1(cityid('seattle', _)))
+answer(population_1(cityid('seattle', 'wa')))
+answer(population_1(stateid('south dakota')))
+answer(population_1(cityid('springfield', 'mo')))
+answer(population_1(cityid('springfield', 'sd')))
+answer(population_1(cityid('tempe', 'az')))
+answer(population_1(stateid('texas')))
+answer(population_1(capital(loc_2(largest(state(all))))))
+answer(population_1(capital(loc_2(largest(state(traverse_1(riverid('mississippi'))))))))
+answer(population_1(capital(loc_2(smallest(state(all))))))
+answer(population_1(largest(city(loc_2(largest_one(area_1(state(all))))))))
+answer(population_1(largest(state(all))))
+answer(population_1(largest(state(next_to_2(stateid('texas'))))))
+answer(population_1(major(city(loc_2(stateid('wisconsin'))))))
+answer(smallest(population_1(state(all))))
+answer(population_1(most(state(next_to_2(state(all))))))
+answer(population_1(largest_one(density_1(state(all)))))
+answer(population_1(largest_one(area_1(state(all)))))
+answer(population_1(cityid('tucson', _)))
+answer(population_1(stateid('utah')))
+answer(population_1(stateid('washington')))
+answer(population_1(cityid('washington', 'dc')))
+answer(river(traverse_2(stateid('ohio'))))
+answer(shortest(river(all)))
+answer(shortest(river(loc_2(stateid('alaska')))))
+answer(shortest(river(loc_2(stateid('iowa')))))
+answer(shortest(river(loc_2(stateid('nebraska')))))
+answer(shortest(river(loc_2(stateid('texas')))))
+answer(shortest(river(loc_2(countryid('usa')))))
+answer(shortest(river(loc_2(countryid('usa')))))
+answer(shortest(river(loc_2(countryid('usa')))))
+answer(size(stateid('california')))
+answer(size(stateid('florida')))
+answer(size(stateid('texas')))
+answer(size(capital(loc_2(stateid('texas')))))
+answer(size(largest(state(loc_2(countryid('usa'))))))
+answer(smallest(city(loc_2(stateid('alaska')))))
+answer(smallest(city(loc_2(stateid('arkansas')))))
+answer(smallest(city(loc_2(stateid('hawaii')))))
+answer(smallest(city(loc_2(largest(state(all))))))
+answer(smallest(city(loc_2(countryid('usa')))))
+answer(smallest(city(loc_2(countryid('usa')))))
+answer(smallest(city(loc_2(stateid('washington')))))
+answer(smallest(city(loc_2(smallest(state(loc_2(countryid('usa'))))))))
+answer(smallest(state(next_to_2(stateid('ohio')))))
+answer(smallest(state(next_to_2(stateid('wyoming')))))
+answer(smallest_one(area_1(state(all))))
+answer(smallest(state(loc_2(countryid('usa')))))
+answer(smallest(state(next_to_2(stateid('texas')))))
+answer(smallest(most(state(next_to_2(state(all))))))
+answer(smallest(state(traverse_1(river(riverid('mississippi'))))))
+answer(smallest(state(traverse_1(longest(river(all))))))
+answer(state(loc_1(highest(place(all)))))
+answer(state(loc_1(highest(place(loc_2(countryid('usa')))))))
+answer(largest_one(area_1(state(all))))
+answer(largest_one(density_1(state(loc_2(countryid('usa'))))))
+answer(largest_one(density_1(state(all))))
+answer(state(loc_1(lowest(place(all)))))
+answer(smallest_one(population_1(state(all))))
+answer(smallest_one(density_1(state(all))))
+answer(smallest_one(area_1(state(all))))
+answer(highest(mountain(loc_2(countryid('usa')))))
+answer(highest(mountain(loc_2(countryid('usa')))))
+answer(area_1(countryid('usa')))
+answer(sum(len(river(all))))
+answer(sum(population_1(state(next_to_2(stateid('texas'))))))
+answer(len(riverid('mississippi')))
+answer(major(city(loc_2(stateid('pennsylvania')))))
+answer(major(river(traverse_2(stateid('illinois')))))
+answer(mountain(loc_2(stateid('alaska'))))
+answer(river(traverse_2(stateid('kansas'))))
+answer(river(traverse_2(stateid('texas'))))
+answer(most(river(traverse_2(state(all)))))
+answer(longest(river(loc_2(countryid('usa')))))
+answer(river(traverse_2(stateid('illinois'))))
+answer(most(river(traverse_2(state(all)))))
+answer(river(traverse_2(most(state(loc_1(city(all)))))))
+answer(river(traverse_2(stateid('virginia'))))
+answer(most(river(traverse_2(state(all)))))
+answer(river(traverse_2(most(state(next_to_2(state(all)))))))
+answer(river(loc_2(stateid('nevada'))))
+answer(river(loc_2(stateid('new mexico'))))
+answer(river(loc_2(stateid('oregon'))))
+answer(river(loc_2(state(next_to_2(stateid('texas'))))))
+answer(river(loc_2(stateid('texas'))))
+answer(river(loc_2(stateid('utah'))))
+answer(river(loc_2(stateid('texas'))))
+answer(exclude(river(all), traverse_2(stateid('tennessee'))))
+answer(river(traverse_2(stateid('colorado'))))
+answer(river(traverse_2(stateid('missouri'))))
+answer(river(traverse_2(state(next_to_1(stateid('alabama'))))))
+answer(river(traverse_2(state(next_to_2(largest_one(population_1(state(all))))))))
+answer(river(traverse_2(largest(state(all)))))
+answer(river(traverse_2(largest_one(population_1(state(all))))))
+answer(river(traverse_2(stateid('arizona'))))
+answer(river(traverse_2(cityid('austin', 'tx'))))
+answer(river(traverse_2(stateid('colorado'))))
+answer(river(traverse_2(stateid('louisiana'))))
+answer(river(traverse_2(stateid('maine'))))
+answer(river(traverse_2(stateid('new york'))))
+answer(river(traverse_2(state(loc_1(lowest(place(loc_2(countryid('usa')))))))))
+answer(river(traverse_2(state(next_to_2(state(loc_1(capital(cityid('atlanta', _)))))))))
+answer(river(traverse_2(stateid('west virginia'))))
+answer(river(traverse_2(most(state(next_to_2(state(all)))))))
+answer(largest_one(population_1(state(next_to_2(stateid('nevada'))))))
+answer(state(next_to_2(stateid('michigan'))))
+answer(most(state(next_to_2(state(all)))))
+answer(state(next_to_2(stateid('new york'))))
+answer(fewest(state(next_to_2(state(all)))))
+answer(fewest(state(next_to_2(exclude(exclude(state(all), stateid('alaska')), stateid('hawaii'))))))
+answer(most(state(next_to_2(state(all)))))
+answer(state(next_to_2(smallest_one(population_1(state(all))))))
+answer(state(loc_1(highest(place(loc_2(countryid('usa')))))))
+answer(state(loc_1(highest(place(loc_2(state(traverse_1(river(riverid('colorado'))))))))))
+answer(state(loc_1(highest(place(all)))))
+answer(exclude(state(all), loc_1(river(all))))
+answer(state(loc_1(capital(cityid('salem', _)))))
+answer(state(loc_1(city(cityid('flint', _)))))
+answer(state(loc_1(largest_one(population_1(city(all))))))
+answer(state(loc_1(largest_one(population_1(city(all))))))
+answer(largest_one(density_1(state(all))))
+answer(state(loc_1(highest(place(all)))))
+answer(largest_one(population_1(state(all))))
+answer(largest_one(density_1(state(all))))
+answer(largest_one(area_1(state(all))))
+answer(state(loc_1(largest(capital(all)))))
+answer(state(loc_1(largest(city(all)))))
+answer(largest_one(population_1(state(all))))
+answer(largest_one(density_1(state(all))))
+answer(largest_one(population_1(state(all))))
+answer(smallest_one(density_1(state(all))))
+answer(state(loc_1(longest(river(all)))))
+answer(smallest_one(density_1(state(all))))
+answer(most(state(loc_1(city(all)))))
+answer(most(state(loc_1(major(city(all))))))
+answer(most(state(traverse_1(major(river(all))))))
+answer(largest_one(population_1(state(all))))
+answer(most(state(loc_1(river(all)))))
+answer(most(state(traverse_1(river(all)))))
+answer(state(loc_1(shortest(river(all)))))
+answer(smallest_one(area_1(state(all))))
+answer(state(loc_1(smallest(capital(all)))))
+answer(smallest_one(population_1(state(all))))
+answer(smallest_one(density_1(state(all))))
+answer(smallest_one(population_1(state(all))))
+answer(smallest_one(density_1(state(all))))
+answer(state(loc_1(cityid('austin', _))))
+answer(state(loc_1(capital(cityid('austin', _)))))
+answer(state(loc_1(cityid('boston', _))))
+answer(state(loc_1(capital(cityid('columbus', _)))))
+answer(state(loc_1(cityid('dallas', _))))
+answer(state(loc_1(cityid('des moines', _))))
+answer(state(loc_1(cityid('miami', _))))
+answer(state(loc_1(cityid('pittsburgh', _))))
+answer(largest(state(all)))
+answer(largest_one(population_1(state(all))))
+answer(state(most(state(loc_1(river(all))))))
+answer(largest_one(population_1(state(next_to_2(stateid('texas'))))))
+answer(largest(state(next_to_2(stateid('texas')))))
+answer(largest_one(population_1(state(traverse_1(riverid('mississippi'))))))
+answer(state(next_to_2(stateid('arizona'))))
+answer(state(next_to_2(stateid('texas'))))
+answer(state(next_to_2(stateid('mississippi'))))
+answer(state(next_to_2(stateid('alaska'))))
+answer(state(next_to_2(stateid('arkansas'))))
+answer(state(next_to_2(stateid('delaware'))))
+answer(state(next_to_2(stateid('florida'))))
+answer(state(next_to_2(stateid('georgia'))))
+answer(state(next_to_2(stateid('hawaii'))))
+answer(state(next_to_2(stateid('indiana'))))
+answer(state(next_to_2(stateid('kentucky'))))
+answer(state(next_to_2(stateid('michigan'))))
+answer(state(next_to_2(stateid('missouri'))))
+answer(state(next_to_2(stateid('montana'))))
+answer(state(next_to_2(stateid('new hampshire'))))
+answer(state(next_to_2(stateid('new jersey'))))
+answer(state(next_to_2(stateid('ohio'))))
+answer(state(next_to_2(stateid('rhode island'))))
+answer(state(next_to_2(state(next_to_2(stateid('colorado'))))))
+answer(state(next_to_2(state(next_to_2(stateid('mississippi'))))))
+answer(state(next_to_2(state(next_to_2(state(next_to_2(stateid('florida'))))))))
+answer(state(next_to_2(state(next_to_2(state(next_to_2(state(next_to_2(stateid('texas'))))))))))
+answer(state(next_to_2(state(next_to_2(largest_one(population_1(state(all))))))))
+answer(state(next_to_2(state(traverse_1(riverid('mississippi'))))))
+answer(state(next_to_2(state(traverse_1(riverid('ohio'))))))
+answer(state(next_to_2(state(traverse_1(riverid('mississippi'))))))
+answer(state(next_to_2(stateid('texas'))))
+answer(intersection(state(next_to_2(stateid('texas'))), loc_1(major(river(all)))))
+answer(state(next_to_2(river(riverid('mississippi')))))
+answer(state(next_to_2(largest_one(population_1(state(all))))))
+answer(state(next_to_2(most(state(next_to_2(state(all)))))))
+answer(state(next_to_2(most(state(loc_1(city(all)))))))
+answer(state(next_to_2(most(state(loc_1(major(city(all))))))))
+answer(state(next_to_2(smallest_one(area_1(state(all))))))
+answer(state(next_to_2(most(state(loc_1(city(all)))))))
+answer(state(next_to_2(stateid('wisconsin'))))
+answer(state(capital_2(cityid('dover', _))))
+answer(state(loc_1(major(river(all)))))
+answer(state(traverse_1(river(riverid('colorado')))))
+answer(state(traverse_1(river(riverid('delaware')))))
+answer(state(traverse_1(river(riverid('mississippi')))))
+answer(state(traverse_1(riverid('mississippi'))))
+answer(state(traverse_1(river(riverid('missouri')))))
+answer(state(traverse_1(riverid('missouri'))))
+answer(state(traverse_1(river(riverid('ohio')))))
+answer(state(traverse_1(river(riverid('ohio')))))
+answer(state(traverse_1(shortest(river(all)))))
+answer(state(loc_1(capital(highest(place(all))))))
+answer(state(loc_1(city(cityid('austin', _)))))
+answer(state(loc_1(city(cityid('austin', _)))))
+answer(state(loc_1(city(cityid('dallas', _)))))
+answer(state(loc_1(city(cityid('plano', _)))))
+answer(state(loc_1(city(cityid('portland', _)))))
+answer(state(loc_1(city(cityid('rochester', _)))))
+answer(state(loc_1(city(cityid('salt lake city', _)))))
+answer(exclude(state(all), next_to_2(state(all))))
+answer(state(loc_1(river(riverid('colorado')))))
+answer(state(traverse_1(river(all))))
+answer(state(loc_1(city(cityid('springfield', _)))))
+answer(state(high_point_2(higher_2(high_point_1(stateid('colorado'))))))
+answer(intersection(state(loc_2(countryid('usa'))), loc_1(city(cityid('springfield', _)))))
+answer(state(next_to_2(stateid('maine'))))
+answer(state(next_to_2(stateid('kentucky'))))
+answer(largest_one(population_1(city(loc_2(stateid('texas'))))))
+answer(largest(city(all)))
+answer(loc_1(mountain(all)))
+answer(loc_1(cityid('austin', _)))
+answer(loc_1(cityid('baton rouge', _)))
+answer(loc_1(cityid('dallas', _)))
+answer(loc_1(cityid('fort wayne', _)))
+answer(loc_1(cityid('houston', _)))
+answer(loc_1(cityid('indianapolis', _)))
+answer(loc_1(stateid('massachusetts')))
+answer(loc_1(placeid('mount whitney')))
+answer(loc_1(placeid('mount whitney')))
+answer(loc_1(stateid('new hampshire')))
+answer(loc_1(cityid('new orleans', _)))
+answer(loc_1(cityid('portland', _)))
+answer(loc_1(cityid('san diego', _)))
+answer(loc_1(cityid('san jose', _)))
+answer(loc_1(cityid('scotts valley', _)))
+answer(loc_1(cityid('springfield', _)))
+answer(loc_1(river(riverid('chattahoochee'))))
+answer(highest(mountain(loc_2(countryid('usa')))))
+answer(highest(place(loc_2(stateid('hawaii')))))
+answer(highest(place(loc_2(stateid('montana')))))
+answer(lowest(place(loc_2(stateid('maryland')))))
+answer(lowest(place(loc_2(countryid('usa')))))
+answer(lowest(place(loc_2(stateid('iowa')))))
+answer(largest_one(population_1(city(loc_2(stateid('new mexico'))))))
+answer(loc_1(smallest(city(all))))
+answer(capital(loc_2(state(next_to_2(stateid('texas'))))))
+answer(exclude(capital(all), major(city(all))))
+answer(largest_one(population_1(city(loc_2(stateid('california'))))))
+answer(density_1(state(traverse_1(longest(river(loc_2(countryid('usa'))))))))
+answer(highest(exclude(mountain(all), loc_2(stateid('alaska')))))
+answer(longest(river(loc_2(countryid('usa')))))
+answer(lowest(place(loc_2(state(traverse_1(riverid('mississippi')))))))
+answer(shortest(river(all)))
+answer(smallest(state(all)))
+answer(largest_one(population_1(state(next_to_2(stateid('pennsylvania'))))))
+answer(most(river(traverse_2(state(all)))))
+answer(most(river(traverse_2(state(all)))))
+answer(most(river(traverse_2(state(all)))))
+answer(most(river(traverse_2(state(all)))))
+answer(river(loc_2(stateid('alaska'))))
+answer(exclude(river(all), traverse_2(stateid('texas'))))
+answer(exclude(river(all), traverse_2(countryid('usa'))))
+answer(river(traverse_2(stateid('alaska'))))
+answer(river(traverse_2(state(next_to_2(stateid('new mexico'))))))
+answer(river(traverse_2(state(next_to_2(state(loc_1(capital(cityid('austin', _)))))))))
+answer(river(traverse_2(fewest(state(loc_1(city(all)))))))
+answer(river(traverse_2(state(loc_1(largest(city(loc_2(countryid('usa')))))))))
+answer(river(traverse_2(state(loc_1(lowest(place(loc_2(countryid('usa')))))))))
+answer(state(next_to_2(stateid('kentucky'))))
+answer(state(next_to_2(stateid('florida'))))
+answer(state(next_to_2(stateid('hawaii'))))
+answer(most(state(next_to_2(state(all)))))
+answer(most(state(next_to_2(state(all)))))
+answer(smallest_one(population_1(capital(all))))
+answer(most(state(loc_1(river(all)))))
+answer(largest_one(population_1(state(all))))
+answer(largest_one(density_1(state(all))))
+answer(largest_one(population_1(state(all))))
+answer(state(loc_1(highest(place(all)))))
+answer(state(loc_1(highest(place(all)))))
+answer(state(loc_1(highest(place(all)))))
+answer(largest_one(density_1(state(all))))
+answer(state(loc_1(largest(city(all)))))
+answer(largest_one(density_1(state(all))))
+answer(smallest_one(density_1(state(all))))
+answer(state(loc_1(longest(river(all)))))
+answer(state(loc_1(lowest(place(all)))))
+answer(state(loc_1(lowest(place(loc_2(next_to_2(stateid('idaho'))))))))
+answer(smallest_one(density_1(state(all))))
+answer(most(state(loc_1(major(city(all))))))
+answer(most(state(loc_1(major(river(all))))))
+answer(most(state(traverse_1(major(river(all))))))
+answer(largest_one(population_1(state(all))))
+answer(largest_one(population_1(state(all))))
+answer(most(state(loc_1(river(all)))))
+answer(most(state(traverse_1(river(all)))))
+answer(state(loc_1(river(riverid('red')))))
+answer(smallest_one(area_1(state(next_to_2(stateid('texas'))))))
+answer(smallest_one(density_1(state(all))))
+answer(smallest_one(density_1(state(all))))
+answer(smallest_one(density_1(state(all))))
+answer(state(loc_1(cityid('kalamazoo', _))))
+answer(state(loc_1(placeid('mount mckinley'))))
+answer(state(loc_1(city(cityid('denver', _)))))
+answer(state(loc_1(largest(city(loc_2(stateid('montana')))))))
+answer(smallest(state(all)))
+answer(state(next_to_2(stateid('alabama'))))
+answer(state(next_to_2(stateid('alabama'))))
+answer(state(next_to_2(stateid('alaska'))))
+answer(state(next_to_2(stateid('arizona'))))
+answer(state(next_to_2(stateid('colorado'))))
+answer(state(next_to_2(stateid('hawaii'))))
+answer(state(next_to_2(stateid('illinois'))))
+answer(state(next_to_2(stateid('iowa'))))
+answer(state(next_to_2(stateid('kentucky'))))
+answer(state(next_to_2(stateid('michigan'))))
+answer(state(next_to_2(stateid('new york'))))
+answer(exclude(state(all), next_to_2(state(all))))
+answer(state(next_to_2(stateid('south dakota'))))
+answer(state(next_to_2(state(traverse_1(riverid('mississippi'))))))
+answer(state(next_to_2(stateid('texas'))))
+answer(state(next_to_2(longest(river(loc_2(countryid('usa')))))))
+answer(state(next_to_2(river(riverid('missouri')))))
+answer(state(next_to_2(smallest_one(area_1(state(all))))))
+answer(state(loc_1(largest(city(capital_1(state(all)))))))
+answer(state(traverse_1(river(riverid('colorado')))))
+answer(exclude(state(all), next_to_2(stateid('texas'))))
+answer(state(traverse_1(river(riverid('chattahoochee')))))
+answer(state(traverse_1(river(riverid('colorado')))))
+answer(state(traverse_1(longest(river(all)))))
+answer(state(traverse_1(longest(river(all)))))
+answer(state(traverse_1(river(riverid('mississippi')))))
+answer(state(traverse_1(riverid('mississippi'))))
+answer(state(traverse_1(river(riverid('missouri')))))
+answer(state(traverse_1(river(riverid('missouri')))))
+answer(state(loc_1(major(city(cityid('austin', _))))))
+answer(state(loc_1(river(all))))
+answer(state(loc_1(city(cityid('austin', _)))))
+answer(state(loc_1(place(higher_2(highest(place(loc_2(stateid('colorado')))))))))
+answer(state(loc_1(place(higher_2(highest(place(loc_2(stateid('texas')))))))))
+answer(state(traverse_1(longest(river(loc_2(countryid('usa')))))))
+answer(largest_one(density_1(city(all))))