From 1bf772018b77e68137614a11add9f9f2f43ad344 Mon Sep 17 00:00:00 2001 From: Patrick Simianer Date: Mon, 14 Apr 2014 15:53:32 +0200 Subject: version for final; 'old' data; new example --- example/train.funql | 600 ---------------------------------------------------- 1 file changed, 600 deletions(-) delete mode 100644 example/train.funql (limited to 'example/train.funql') 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'))))))) -- cgit v1.2.3