diff options
Diffstat (limited to 'example/train.funql')
| -rw-r--r-- | example/train.funql | 600 |
1 files changed, 600 insertions, 0 deletions
diff --git a/example/train.funql b/example/train.funql new file mode 100644 index 0000000..7f0c51c --- /dev/null +++ b/example/train.funql @@ -0,0 +1,600 @@ +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'))))))) |