summaryrefslogtreecommitdiff
path: root/example/train.funql
diff options
context:
space:
mode:
authorPatrick Simianer <simianer@cl.uni-heidelberg.de>2014-04-14 15:53:32 +0200
committerPatrick Simianer <simianer@cl.uni-heidelberg.de>2014-04-14 15:53:32 +0200
commit1bf772018b77e68137614a11add9f9f2f43ad344 (patch)
treead8c72b53329a3b364b055a852a87bed252bdbc5 /example/train.funql
parentd637e517919852217705a34d1355020a97af2f6a (diff)
version for final; 'old' data; new example
Diffstat (limited to 'example/train.funql')
-rw-r--r--example/train.funql600
1 files changed, 0 insertions, 600 deletions
diff --git a/example/train.funql b/example/train.funql
deleted file mode 100644
index 7f0c51c..0000000
--- a/example/train.funql
+++ /dev/null
@@ -1,600 +0,0 @@
-answer(city(loc_2(stateid('virginia'))))
-answer(high_point_1(state(next_to_2(stateid('mississippi')))))
-answer(river(loc_2(stateid('arkansas'))))
-answer(capital(loc_2(stateid('texas'))))
-answer(highest(place(loc_2(state(stateid('oregon'))))))
-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(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(highest(place(loc_2(stateid('montana'))))))
-answer(elevation_1(highest(place(loc_2(largest(state(all)))))))
-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(largest(city(loc_2(stateid('alaska'))))))
-answer(len(riverid('rio grande')))
-answer(len(riverid('mississippi')))
-answer(len(river(riverid('mississippi'))))
-answer(len(river(riverid('mississippi'))))
-answer(len(river(riverid('missouri'))))
-answer(len(river(riverid('rio grande'))))
-answer(len(shortest(river(loc_2(countryid('usa'))))))
-answer(count(major(city(loc_2(stateid('pennsylvania'))))))
-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(stateid('texas')))))
-answer(count(city(loc_2(countryid('usa')))))
-answer(count(intersection(city(cityid('austin', _)), loc_2(countryid('usa')))))
-answer(population_1(stateid('alabama')))
-answer(population_1(cityid('boulder', _)))
-answer(population_1(stateid('california')))
-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(stateid('hawaii')))
-answer(population_1(cityid('kalamazoo', _)))
-answer(population_1(stateid('kansas')))
-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(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(capital(loc_2(stateid('georgia')))))
-answer(population_1(smallest(state(next_to_2(stateid('wyoming'))))))
-answer(population_1(largest_one(density_1(state(all)))))
-answer(population_1(stateid('washington')))
-answer(population_1(cityid('washington', 'dc')))
-answer(population_1(stateid('utah')))
-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('missouri')))))
-answer(count(river(loc_2(stateid('new york')))))
-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(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(next_to_2(major(river(all))))))
-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(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_1(stateid('iowa')))))
-answer(count(state(next_to_1(stateid('missouri')))))
-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_1(city(cityid('rochester', _))))))
-answer(count(state(loc_1(city(cityid('springfield', _))))))
-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(state(loc_1(placeid('mount mckinley'))))
-answer(state(loc_1(highest(place(loc_2(countryid('usa')))))))
-answer(state(loc_1(cityid('rochester', _))))
-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(river(loc_2(stateid('arkansas'))))
-answer(exclude(state(all), next_to_2(state(all))))
-answer(population_1(cityid('boulder', _)))
-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(state(loc_1(capital(cityid('sacramento', _)))))
-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(state(traverse_1(riverid('mississippi'))))
-answer(state(traverse_1(riverid('mississippi'))))
-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(loc_2(state(next_to_2(stateid('texas'))))))
-answer(city(loc_2(stateid('california'))))
-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('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('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(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(traverse_1(major(river(loc_2(stateid('virginia'))))))))))
-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(countryid('usa')))))
-answer(major(city(loc_2(stateid('illinois')))))
-answer(state(next_to_2(stateid('michigan'))))
-answer(population_1(major(city(loc_2(stateid('montana'))))))
-answer(population_1(state(traverse_1(river(riverid('mississippi'))))))
-answer(population_1(state(traverse_1(riverid('mississippi')))))
-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(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(capital(loc_2(stateid('iowa'))))
-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('idaho')))
-answer(area_1(stateid('maine')))
-answer(area_1(stateid('maryland')))
-answer(area_1(stateid('new mexico')))
-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(density_1(countryid('usa')))
-answer(density_1(stateid('pennsylvania')))
-answer(density_1(countryid('usa')))
-answer(largest(city(loc_2(stateid('arizona')))))
-answer(largest(city(loc_2(stateid('georgia')))))
-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('georgia'))))
-answer(capital(loc_2(stateid('hawaii'))))
-answer(capital(loc_2(stateid('indiana'))))
-answer(capital(loc_2(stateid('maine'))))
-answer(capital(loc_2(stateid('maryland'))))
-answer(capital(loc_2(stateid('michigan'))))
-answer(capital(loc_2(stateid('new hampshire'))))
-answer(capital(loc_2(stateid('pennsylvania'))))
-answer(capital(loc_2(stateid('texas'))))
-answer(capital(loc_2(state(stateid('alabama')))))
-answer(capital(loc_2(largest(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(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(population_1(state(all))))
-answer(density_1(stateid('texas')))
-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(highest(place(loc_2(stateid('new mexico')))))
-answer(highest(place(loc_2(stateid('south carolina')))))
-answer(highest(mountain(loc_2(stateid('alaska')))))
-answer(highest(mountain(loc_2(stateid('texas')))))
-answer(highest(place(loc_2(stateid('colorado')))))
-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('kansas')))))
-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(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('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(countryid('usa')))))
-answer(highest(place(loc_2(countryid('usa')))))
-answer(highest(place(loc_2(stateid('wyoming')))))
-answer(highest(place(loc_2(largest_one(area_1(state(all)))))))
-answer(largest(capital(all)))
-answer(largest(city(loc_2(state(next_to_2(stateid('texas')))))))
-answer(largest(city(loc_2(stateid('alabama')))))
-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(state(next_to_2(stateid('california')))))))
-answer(largest(city(loc_2(stateid('texas')))))
-answer(largest(city(loc_2(stateid('wisconsin')))))
-answer(largest(city(loc_2(stateid('kansas')))))
-answer(largest(state(traverse_1(riverid('rio grande')))))
-answer(largest(state(all)))
-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(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(len(intersection(riverid('colorado'), river(loc_2(stateid('texas'))))))
-answer(len(longest(river(loc_2(countryid('usa'))))))
-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('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(smallest(state(loc_2(countryid('usa'))))))))
-answer(longest(river(loc_2(state(loc_1(highest(place(all))))))))
-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(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('california')))))
-answer(lowest(place(loc_2(stateid('louisiana')))))
-answer(lowest(place(loc_2(stateid('oregon')))))
-answer(lowest(place(loc_2(stateid('texas')))))
-answer(lowest(place(loc_2(state(stateid('texas'))))))
-answer(lowest(place(loc_2(countryid('usa')))))
-answer(lowest(place(loc_2(stateid('wisconsin')))))
-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(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(loc_2(stateid('texas'))))))
-answer(largest_one(population_1(city(loc_2(stateid('wyoming'))))))
-answer(largest_one(population_1(state(loc_2(countryid('usa'))))))
-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('south dakota')))
-answer(density_1(stateid('texas')))
-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('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(stateid('california')))
-answer(population_1(cityid('dallas', _)))
-answer(population_1(cityid('denver', _)))
-answer(population_1(stateid('idaho')))
-answer(population_1(stateid('illinois')))
-answer(population_1(stateid('maine')))
-answer(population_1(stateid('minnesota')))
-answer(population_1(stateid('montana')))
-answer(population_1(stateid('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('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(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(state(all))))
-answer(population_1(largest(state(next_to_2(stateid('texas'))))))
-answer(population_1(major(city(loc_2(stateid('wisconsin'))))))
-answer(population_1(largest_one(area_1(state(all)))))
-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(stateid('washington')))))
-answer(smallest(city(loc_2(smallest(state(loc_2(countryid('usa'))))))))
-answer(smallest(state(next_to_2(stateid('ohio')))))
-answer(smallest_one(area_1(state(all))))
-answer(smallest(state(loc_2(countryid('usa')))))
-answer(smallest(state(next_to_2(stateid('texas')))))
-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(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(highest(mountain(loc_2(countryid('usa')))))
-answer(highest(mountain(loc_2(countryid('usa')))))
-answer(area_1(countryid('usa')))
-answer(sum(population_1(state(next_to_2(stateid('texas'))))))
-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(longest(river(loc_2(countryid('usa')))))
-answer(river(traverse_2(stateid('illinois'))))
-answer(most(river(traverse_2(state(all)))))
-answer(river(traverse_2(stateid('virginia'))))
-answer(most(river(traverse_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(stateid('utah'))))
-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(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(state(next_to_2(stateid('michigan'))))
-answer(most(state(next_to_2(state(all)))))
-answer(fewest(state(next_to_2(state(all)))))
-answer(fewest(state(next_to_2(exclude(exclude(state(all), stateid('alaska')), stateid('hawaii'))))))
-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(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(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(most(state(loc_1(city(all)))))
-answer(most(state(traverse_1(major(river(all))))))
-answer(largest_one(population_1(state(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(density_1(state(all))))
-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('pittsburgh', _))))
-answer(largest(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('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('georgia'))))
-answer(state(next_to_2(stateid('hawaii'))))
-answer(state(next_to_2(stateid('kentucky'))))
-answer(state(next_to_2(stateid('missouri'))))
-answer(state(next_to_2(stateid('new hampshire'))))
-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(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('mississippi'))))))
-answer(state(next_to_2(stateid('texas'))))
-answer(state(next_to_2(river(riverid('mississippi')))))
-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(traverse_1(river(riverid('colorado')))))
-answer(state(traverse_1(riverid('mississippi'))))
-answer(state(traverse_1(river(riverid('missouri')))))
-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(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(largest_one(population_1(city(loc_2(stateid('texas'))))))
-answer(largest(city(all)))
-answer(loc_1(cityid('austin', _)))
-answer(loc_1(cityid('baton rouge', _)))
-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('san diego', _)))
-answer(loc_1(cityid('san jose', _)))
-answer(loc_1(cityid('scotts valley', _)))
-answer(loc_1(cityid('springfield', _)))
-answer(highest(place(loc_2(stateid('montana')))))
-answer(lowest(place(loc_2(countryid('usa')))))
-answer(lowest(place(loc_2(stateid('iowa')))))
-answer(capital(loc_2(state(next_to_2(stateid('texas'))))))
-answer(exclude(capital(all), major(city(all))))
-answer(lowest(place(loc_2(state(traverse_1(riverid('mississippi')))))))
-answer(shortest(river(all)))
-answer(most(river(traverse_2(state(all)))))
-answer(river(loc_2(stateid('alaska'))))
-answer(river(traverse_2(stateid('alaska'))))
-answer(river(traverse_2(state(next_to_2(stateid('new mexico'))))))
-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(most(state(next_to_2(state(all)))))
-answer(most(state(loc_1(river(all)))))
-answer(largest_one(density_1(state(all))))
-answer(state(loc_1(highest(place(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(largest_one(population_1(state(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(state(loc_1(cityid('kalamazoo', _))))
-answer(state(loc_1(city(cityid('denver', _)))))
-answer(state(loc_1(largest(city(loc_2(stateid('montana')))))))
-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('iowa'))))
-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(traverse_1(river(riverid('colorado')))))
-answer(exclude(state(all), next_to_2(stateid('texas'))))
-answer(state(traverse_1(river(riverid('colorado')))))
-answer(state(traverse_1(longest(river(all)))))
-answer(state(traverse_1(river(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(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')))))))