where is c0	lambda $0 e ( loc:t c0 $0 )
river in s0	lambda $0 e ( and ( river:t $0 ) ( loc:t $0 s0 ) )
where are mountain	lambda $0 e ( exists $1 ( and ( mountain:t $1 ) ( loc:t $1 $0 ) ) )
where is c0	lambda $0 e ( loc:t c0 $0 )
what state border s0	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) )
what state border s0	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) )
what state border s0	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) )
which state border s0	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) )
what state border s0	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) )
how high is m0	elevation:i m0
what state border s0	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) )
which state border s0	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) )
how big is s0	size:i s0
what state border s0	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) )
how high is m0	elevation:i m0
which state border s0	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) )
what state border s0	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) )
where is the r0	lambda $0 e ( loc:t r0 $0 )
how big is s0	size:i s0
which state is the smallest	argmin $0 ( state:t $0 ) ( size:i $0 )
where is the smallest citi	lambda $0 e ( loc:t ( argmin $1 ( city:t $1 ) ( size:i $1 ) ) $0 )
how mani state are there	count $0 ( state:t $0 )
what state have citi n0	lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( city:t $1 ) ( named:t $1 n0 ) ( loc:t $1 $0 ) ) ) )
how long is the r0	len:i r0
what state have citi n0	lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( city:t $1 ) ( named:t $1 n0 ) ( loc:t $1 $0 ) ) ) )
what river run through s0	lambda $0 e ( and ( river:t $0 ) ( loc:t $0 s0 ) )
what state is c0 in	lambda $0 e ( and ( state:t $0 ) ( loc:t c0 $0 ) )
what length is the r0	len:i r0
which state have a river	lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( river:t $1 ) ( loc:t $1 $0 ) ) ) )
number of state border s0	count $0 ( and ( state:t $0 ) ( next_to:t $0 s0 ) )
which is the smallest state	argmin $0 ( state:t $0 ) ( size:i $0 )
what river are in s0	lambda $0 e ( and ( river:t $0 ) ( loc:t $0 s0 ) )
what state have citi n0	lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( city:t $1 ) ( named:t $1 n0 ) ( loc:t $1 $0 ) ) ) )
how long is the r0	len:i r0
what state have citi n0	lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( city:t $1 ) ( named:t $1 n0 ) ( loc:t $1 $0 ) ) ) )
s0 border how mani state	count $0 ( and ( state:t $0 ) ( next_to:t s0 $0 ) )
which state have citi n0	lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( city:t $1 ) ( named:t $1 n0 ) ( loc:t $1 $0 ) ) ) )
which state border the r0	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 r0 ) )
what state is c0 in	lambda $0 e ( and ( state:t $0 ) ( loc:t c0 $0 ) )
how long is the r0	len:i r0
how mani state border s0	count $0 ( and ( state:t $0 ) ( next_to:t $0 s0 ) )
c0 is in what state	lambda $0 e ( and ( state:t $0 ) ( loc:t c0 $0 ) )
which river travers most state	argmax $0 ( river:t $0 ) ( count $1 ( and ( state:t $1 ) ( loc:t $0 $1 ) ) )
which state is m0 in	lambda $0 e ( and ( state:t $0 ) ( loc:t m0 $0 ) )
number of peopl in c0	population:i c0
how long is the r0	len:i r0
what state have citi n0	lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( city:t $1 ) ( named:t $1 n0 ) ( loc:t $1 $0 ) ) ) )
name the major river in s0	lambda $0 e ( and ( major:t $0 ) ( river:t $0 ) ( loc:t $0 s0 ) )
what is the popul of c0	population:i c0
what is the popul of s0	population:i s0
how mani peopl live in c0	population:i c0
which state has the most popul	argmax $0 ( state:t $0 ) ( population:i $0 )
what is the capit of s0	capital:c s0
what is the popul of c0	population:i c0
which state has the greatest popul	argmax $0 ( state:t $0 ) ( population:i $0 )
what is the popul of c0	population:i c0
what is the capit of s0	capital:c s0
how mani s0 river are there	count $0 ( and ( named:t $0 colorado:n ) ( river:t $0 ) )
what state has the largest capit	lambda $0 e ( and ( state:t $0 ) ( loc:t ( argmax $1 ( capital:t $1 ) ( size:i $1 ) ) $0 ) )
what is the capit of s0	capital:c s0
which state has the highest elev	argmax $1 ( state:t $1 ) ( elevation:i $1 )
what is the popul of s0	population:i s0
what is the capit of s0	capital:c s0
what state has the longest river	lambda $0 e ( and ( state:t $0 ) ( loc:t ( argmax $1 ( river:t $1 ) ( len:i $1 ) ) $0 ) )
how mani peopl live in s0	population:i s0
what river are there in s0	lambda $0 e ( and ( river:t $0 ) ( loc:t $0 s0 ) )
which state has the highest point	lambda $0 e ( and ( state:t $0 ) ( loc:t ( argmax $1 ( place:t $1 ) ( elevation:i $1 ) ) $0 ) )
how mani river doe s0 have	count $0 ( and ( river:t $0 ) ( loc:t $0 s0 ) )
what state has the most river	argmax $0 ( state:t $0 ) ( count $1 ( and ( river:t $1 ) ( loc:t $1 $0 ) ) )
how mani peopl live in c0	population:i c0
what is the area of s0	area:i s0
what is the capit of s0	capital:c s0
what is the capit of s0	capital:c s0
which state has the lowest elev	argmin $0 ( state:t $0 ) ( elevation:i $0 )
what is the popul of c0	population:i c0
how mani peopl live in c0	population:i c0
what is the most popul citi	argmax $0 ( city:t $0 ) ( population:i $0 )
how mani river are in s0	count $0 ( and ( river:t $0 ) ( loc:t $0 s0 ) )
what is the capit of s0	capital:c s0
what state has the largest area	argmax $0 ( state:t $0 ) ( area:i $0 )
what is the capit of s0	capital:c s0
what is the popul of s0	population:i s0
what is the popul of s0	population:i s0
what is the popul of c0	population:i c0
what is the popul of s0	population:i s0
what are the river in s0	lambda $0 e ( and ( river:t $0 ) ( loc:t $0 s0 ) )
what state border the most state	argmax $0 ( state:t $0 ) ( count $1 ( and ( state:t $1 ) ( next_to:t $0 $1 ) ) )
how mani popul doe s0 have	population:i s0
what citi has the most peopl	argmax $0 ( city:t $0 ) ( population:i $0 )
how mani capit doe s0 have	count $0 ( and ( capital:t $0 ) ( loc:t $0 s0 ) )
what is the popul of c0	population:i c0
which state has the biggest popul	argmax $0 ( state:t $0 ) ( population:i $0 )
what is the popul of c0	population:i c0
how mani peopl live in c0	population:i c0
name all the river in s0	lambda $0 e ( and ( river:t $0 ) ( loc:t $0 s0 ) )
what is the area of s0	area:i s0
how mani state doe co0 have	count $0 ( and ( state:t $0 ) ( loc:t $0 co0 ) )
how mani peopl live in s0	population:i s0
what is the least popul state	argmin $0 ( state:t $0 ) ( population:i $0 )
which river run through most state	argmax $0 ( river:t $0 ) ( count $1 ( and ( state:t $1 ) ( loc:t $0 $1 ) ) )
how mani state doe s0 border	count $0 ( and ( state:t $0 ) ( next_to:t s0 $0 ) )
how mani peopl live in s0	population:i s0
what is the capit of s0	capital:c s0
which state has the most river	argmax $0 ( state:t $0 ) ( count $1 ( and ( river:t $1 ) ( loc:t $1 $0 ) ) )
how mani peopl live in s0	population:i s0
what is the popul of s0	population:i s0
what state are next to s0	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) )
what is the most popul state	argmax $0 ( state:t $0 ) ( population:i $0 )
what are the popul of s0	population:i s0
which state border the most state	argmax $0 ( state:t $0 ) ( count $1 ( and ( state:t $1 ) ( next_to:t $0 $1 ) ) )
what is the area of s0	area:i s0
which is the longest river in co0	argmax $0 ( and ( river:t $0 ) ( loc:t $0 co0 ) ) ( len:i $0 )
what are the major river in s0	lambda $0 e ( and ( major:t $0 ) ( river:t $0 ) ( loc:t $0 s0 ) )
what state has the lowest popul densiti	argmin $0 ( state:t $0 ) ( density:i $0 )
what is the lowest point in s0	argmin $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 )
what state doe the r0 run through	lambda $0 e ( and ( state:t $0 ) ( loc:t r0 $0 ) )
what state doe the r0 run through	lambda $0 e ( and ( state:t $0 ) ( loc:t r0 $0 ) )
what is the biggest citi in s0	argmax $0 ( and ( city:t $0 ) ( loc:t $0 s0 ) ) ( size:i $0 )
what state border the most popul state	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 ( argmax $1 ( state:t $1 ) ( population:i $1 ) ) ) )
what is the largest citi in s0	argmax $0 ( and ( city:t $0 ) ( loc:t $0 s0 ) ) ( size:i $0 )
which state has the most major citi	argmax $0 ( state:t $0 ) ( count $1 ( and ( major:t $1 ) ( city:t $1 ) ( loc:t $1 $0 ) ) )
what state has the most major citi	argmax $0 ( state:t $0 ) ( count $1 ( and ( city:t $1 ) ( major:t $1 ) ( loc:t $1 $0 ) ) )
how mani state are in the co0	count $0 ( and ( state:t $0 ) ( loc:t $0 co0 ) )
give me the state that border s0	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) )
what river flow through the most state	argmax $0 ( river:t $0 ) ( count $1 ( and ( state:t $1 ) ( loc:t $0 $1 ) ) )
what is the length of the r0	len:i r0
which state has the most major river	argmax $0 ( state:t $0 ) ( count $1 ( and ( major:t $1 ) ( river:t $1 ) ( loc:t $1 $0 ) ) )
which state doe the r0 run through	lambda $0 e ( and ( state:t $0 ) ( loc:t r0 $0 ) )
how mani state do not have river	count $0 ( and ( state:t $0 ) ( not ( exists $1 ( and ( river:t $1 ) ( loc:t $1 $0 ) ) ) ) )
what state border state that border s0	lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( next_to:t $0 $1 ) ) ) )
which state has the lowest popul densiti	argmin $0 ( state:t $0 ) ( density:i $0 )
what is the largest river in s0	argmax $0 ( and ( river:t $0 ) ( loc:t $0 s0 ) ) ( size:i $0 )
what is the capit of the s0	capital:c s0
what is the highest point in s0	argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 )
what are the major citi in s0	lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( loc:t $0 s0 ) )
what state is the largest in popul	argmax $0 ( state:t $0 ) ( population:i $0 )
where is the highest point in s0	lambda $0 e ( loc:t ( argmax $1 ( and ( place:t $1 ) ( loc:t $1 s0 ) ) ( elevation:i $1 ) ) $0 )
what is the highest point in s0	argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 )
which state capit has the smallest popul	argmin $0 ( capital:t $0 ) ( population:i $0 )
what is the smallest state border s0	argmin $0 ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) ( size:i $0 )
which state has the highest popul densiti	argmax $0 ( state:t $0 ) ( density:i $0 )
how mani peopl live in the co0	population:i co0
where is the lowest point in s0	lambda $0 e ( loc:t ( argmin $1 ( and ( place:t $1 ) ( loc:t $1 s0 ) ) ( elevation:i $1 ) ) $0 )
which state doe the r0 run through	lambda $0 e ( and ( state:t $0 ) ( loc:t r0 $0 ) )
what is the length of the r0	len:i r0
what is the popul densiti of s0	density:i s0
what are the capit citi in s0	lambda $0 e ( and ( capital:t $0 ) ( loc:t $0 s0 ) ( city:t $0 ) )
what state doe the r0 run through	lambda $0 e ( and ( state:t $0 ) ( loc:t r0 $0 ) )
what is the highest point in s0	argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 )
what is the lowest point in s0	argmin $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 )
what is the biggest citi in s0	argmax $0 ( and ( city:t $0 ) ( loc:t $0 s0 ) ) ( size:i $0 )
what is the longest river in s0	argmax $0 ( and ( river:t $0 ) ( loc:t $0 s0 ) ) ( len:i $0 )
what major citi are locat in s0	lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( loc:t $0 s0 ) )
which state capit citi is the largest	lambda $0 e ( and ( state:t $0 ) ( capital:t $0 ( argmax $1 ( capital:t $1 ) ( size:i $1 ) ) ) )
what are the major citi in s0	lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( loc:t $0 s0 ) )
what is the highest mountain in co0	argmax $0 ( and ( mountain:t $0 ) ( loc:t $0 co0 ) ) ( elevation:i $0 )
what state doe the r0 run through	lambda $0 e ( and ( state:t $0 ) ( loc:t r0 $0 ) )
what is the densiti of the s0	density:i s0
what is the highest elev of c0	argmax $0 ( and ( place:t $0 ) ( loc:t $0 c0 ) ) ( elevation:i $0 )
what is the highest point in s0	argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 )
which river do not run through s0	lambda $0 e ( and ( river:t $0 ) ( not ( loc:t $0 s0 ) ) )
what is the lowest point in co0	argmin $0 ( and ( place:t $0 ) ( loc:t $0 co0 ) ) ( elevation:i $0 )
what is the largest citi in s0	argmax $0 ( and ( city:t $0 ) ( loc:t $0 s0 ) ) ( size:i $0 )
what is the highest point in s0	argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 )
which river do not run through co0	lambda $0 e ( and ( river:t $0 ) ( not ( loc:t $0 co0 ) ) )
which state has the smallest popul densiti	argmin $0 ( state:t $0 ) ( density:i $0 )
what is the high point of s0	argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 )
what are the major citi in s0	lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( loc:t $0 s0 ) )
what are all the river in s0	lambda $0 e ( and ( river:t $0 ) ( loc:t $0 s0 ) )
which river goe through the most state	argmax $0 ( river:t $0 ) ( count $1 ( and ( state:t $1 ) ( loc:t $0 $1 ) ) )
what is the highest elev in s0	argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 )
tell me what citi are in s0	lambda $0 e ( and ( city:t $0 ) ( loc:t $0 s0 ) )
what is the largest state border s0	argmax $0 ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) ( size:i $0 )
what state has the smallest urban popul	argmin $0 ( state:t $0 ) ( population:i $0 )
what is the area of the s0	area:i s0
what are the major citi in s0	lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( loc:t $0 s0 ) )
what is the lowest point in s0	argmin $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 )
how mani citi are there in the co0	count $0 ( and ( city:t $0 ) ( loc:t $0 co0 ) )
what is the highest elev in the co0	argmax $0 ( and ( place:t $0 ) ( loc:t $0 co0 ) ) ( elevation:i $0 )
which is the highest mountain not in s0	argmax $0 ( and ( mountain:t $0 ) ( not ( loc:t $0 s0 ) ) ) ( elevation:i $0 )
what is the smallest citi in the co0	argmin $0 ( and ( city:t $0 ) ( loc:t $0 co0 ) ) ( size:i $0 )
how high is the highest point of s0	elevation:i ( argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
what is the highest point in the co0	argmax $0 ( and ( place:t $0 ) ( loc:t $0 co0 ) ) ( elevation:i $0 )
what are the major citi in the co0	lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( loc:t $0 co0 ) )
give me the number of river in s0	count $0 ( and ( river:t $0 ) ( loc:t $0 s0 ) )
which citi in s0 has the largest popul	argmax $0 ( and ( city:t $0 ) ( loc:t $0 s0 ) ) ( population:i $0 )
what is the highest point of the co0	argmax $0 ( and ( place:t $0 ) ( loc:t $0 co0 ) ) ( elevation:i $0 )
which state has the smallest averag urban popul	argmin $0 ( state:t $0 ) ( density:i $0 )
what is the capit of the smallest state	capital:c ( argmin $1 ( state:t $1 ) ( size:i $1 ) )
what is the state with the largest area	argmax $0 ( state:t $0 ) ( area:i $0 )
what river are in state that border s0	lambda $0 e ( and ( river:t $0 ) ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( loc:t $0 $1 ) ) ) )
what is the smallest citi in the co0	argmin $0 ( and ( city:t $0 ) ( loc:t $0 co0 ) ) ( size:i $0 )
what state contain at least one major river	lambda $0 e ( and ( state:t $0 ) ( > ( count $1 ( and ( major:t $1 ) ( river:t $1 ) ( loc:t $1 $0 ) ) ) 0:i ) )
where is the highest mountain of the co0	lambda $0 e ( loc:t ( argmax $1 ( and ( mountain:t $1 ) ( loc:t $1 co0 ) ) ( elevation:i $1 ) ) $0 )
how high is the highest point in co0	elevation:i ( argmax $0 ( and ( place:t $0 ) ( loc:t $0 co0 ) ) ( elevation:i $0 ) )
how long is the longest river in s0	len:i ( argmax $0 ( and ( river:t $0 ) ( loc:t $0 s0 ) ) ( len:i $0 ) )
what is the state with the smallest area	argmin $0 ( state:t $0 ) ( area:i $0 )
what is the largest state that border s0	argmax $0 ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) ( size:i $0 )
which state doe the longest river run through	lambda $0 e ( and ( state:t $0 ) ( loc:t ( argmax $1 ( river:t $1 ) ( len:i $1 ) ) $0 ) )
what is the highest mountain in the co0	argmax $0 ( and ( mountain:t $0 ) ( loc:t $0 co0 ) ) ( elevation:i $0 )
what state border s0 has the largest popul	argmax $0 ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) ( population:i $0 )
which river run through state with fewest citi	lambda $0 e ( and ( river:t $0 ) ( loc:t $0 ( argmin $1 ( state:t $1 ) ( count $2 ( and ( city:t $2 ) ( loc:t $2 $1 ) ) ) ) ) )
where is the most popul area of s0	lambda $0 e ( loc:t ( argmax $1 ( and ( place:t $1 ) ( loc:t $1 s0 ) ) ( population:i $1 ) ) $0 )
how high is the highest point in s0	elevation:i ( argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
how mani state are there in the co0	count $0 ( and ( state:t $0 ) ( loc:t $0 co0 ) )
which co0 citi has the highest popul densiti	argmax $0 ( and ( city:t $0 ) ( loc:t $0 co0 ) ) ( density:i $0 )
what is the popul of the smallest state	population:i ( argmin $0 ( state:t $0 ) ( size:i $0 ) )
what are the highest point of all the state	lambda $0 e ( and ( place:t $0 ) ( exists $1 ( and ( state:t $1 ) ( equals:t $0 ( argmax $2 ( and ( place:t $2 ) ( loc:t $2 $1 ) ) ( elevation:i $2 ) ) ) ) ) )
what is the largest capit citi in the co0	argmax $0 ( and ( capital:t $0 ) ( city:t $0 ) ( loc:t $0 co0 ) ) ( size:i $0 )
what are the popul of state which border s0	lambda $0 e ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( population:t $1 $0 ) ) )
what state border the state with the smallest area	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 ( argmin $1 ( state:t $1 ) ( area:i $1 ) ) ) )
what are the capit of state that border s0	lambda $0 e ( and ( capital:t $0 ) ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( loc:t $0 $1 ) ) ) )
what state border state that the r0 run through	lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( state:t $1 ) ( loc:t r0 $1 ) ( next_to:t $0 $1 ) ) ) )
what state border the state with the most citi	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 ( argmax $1 ( state:t $1 ) ( count $2 ( and ( city:t $2 ) ( loc:t $2 $1 ) ) ) ) ) )
what is the combin area of all 50 state	sum $0 ( state:t $0 ) ( area:i $0 )
what is the lowest point in s0 in meter	argmin $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 )
what state border s0 and have a major river	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) ( exists $1 ( and ( major:t $1 ) ( river:t $1 ) ( loc:t $1 $0 ) ) ) )
what are the popul densiti of each co0 state	lambda $0 e ( exists $1 ( and ( state:t $1 ) ( density:i $1 $0 ) ) )
which state has the lowest point that border s0	lambda $0 e ( and ( state:t $0 ) ( loc:t ( argmin $1 ( and ( place:t $1 ) ( next_to:t $1 s0 ) ) ( elevation:i $1 ) ) $0 ) )
what is the most dens state in the co0	argmax $0 ( and ( state:t $0 ) ( loc:t $0 co0 ) ) ( density:i $0 )
what is the highest point in s0 in meter	argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 )
what is the longest river in the largest state	argmax $0 ( and ( river:t $0 ) ( loc:t $0 ( argmax $1 ( state:t $1 ) ( size:i $1 ) ) ) ) ( len:i $0 )
how long is the longest river in the co0	len:i ( argmax $0 ( and ( river:t $0 ) ( loc:t $0 co0 ) ) ( len:i $0 ) )
what is the highest point in state border s0	argmax $0 ( and ( place:t $0 ) ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( loc:t $0 $1 ) ) ) ) ( elevation:i $0 )
what is the popul densiti of the largest state	density:i ( argmax $0 ( state:t $0 ) ( size:i $0 ) )
which state border the state with the smallest area	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 ( argmin $1 ( state:t $1 ) ( area:i $1 ) ) ) )
how mani peopl live in the capit of s0	population:i ( capital:c s0 )
what is the biggest capit citi in the co0	argmax $0 ( and ( capital:t $0 ) ( city:t $0 ) ( loc:t $0 co0 ) ) ( size:i $0 )
what is the capit of state that have citi n0	lambda $0 e ( and ( capital:t $0 ) ( exists $1 ( and ( state:t $1 ) ( exists $2 ( and ( city:t $2 ) ( named:t $2 n0 ) ( loc:t $2 $1 ) ) ) ( loc:t $0 $1 ) ) ) )
how mani peopl live in the biggest citi in s0	population:i ( argmax $0 ( and ( city:t $0 ) ( loc:t $0 s0 ) ) ( size:i $0 ) )
what state border the state with the most major citi	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 ( argmax $1 ( state:t $1 ) ( count $2 ( and ( major:t $2 ) ( city:t $2 ) ( loc:t $2 $1 ) ) ) ) ) )
what river travers the state which border the most state	lambda $0 e ( and ( river:t $0 ) ( loc:t $0 ( argmax $1 ( state:t $1 ) ( count $2 ( and ( state:t $2 ) ( next_to:t $1 $2 ) ) ) ) ) )
what state border the state that border the most state	lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 ( argmax $1 ( state:t $1 ) ( count $2 ( and ( state:t $2 ) ( next_to:t $1 $2 ) ) ) ) ) )
what river travers the state which border the most state	lambda $0 e ( and ( river:t $0 ) ( loc:t $0 ( argmax $1 ( state:t $1 ) ( count $2 ( and ( state:t $2 ) ( next_to:t $1 $2 ) ) ) ) ) )
what citi in the co0 has the highest popul densiti	argmax $0 ( and ( city:t $0 ) ( loc:t $0 co0 ) ) ( density:i $0 )
what is the lowest point in the state of s0	argmin $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 )
what are the major citi in the state of s0	lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( loc:t $0 s0 ) )
what is the highest point in the state border s0	argmax $0 ( and ( place:t $0 ) ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( loc:t $0 $1 ) ) ) ) ( elevation:i $0 )
which of the state border s0 has the largest popul	argmax $0 ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) ( population:i $0 )
how mani state border the state with the largest popul	count $0 ( and ( state:t $0 ) ( next_to:t $0 ( argmax $1 ( state:t $1 ) ( population:i $1 ) ) ) )
through which state doe the longest river in s0 run	lambda $0 e ( and ( state:t $0 ) ( loc:t ( argmax $1 ( and ( river:t $1 ) ( loc:t $1 s0 ) ) ( len:i $1 ) ) $0 ) )
which state has the most major river run through it	argmax $0 ( state:t $0 ) ( count $1 ( and ( major:t $1 ) ( river:t $1 ) ( loc:t $1 $0 ) ) )
what is capit of the state with the lowest point	capital:c ( the $1 ( and ( loc:t ( argmin $2 ( place:t $2 ) ( elevation:i $2 ) ) $1 ) ( state:t $1 ) ) )
what is the smallest state that border the most state	argmin $0 ( in:t $0 ( argmax $1 ( state:t $1 ) ( count $2 ( and ( state:t $2 ) ( next_to:t $2 $1 ) ) ) ) ) ( size:i $0 )
what river run through the state with the most citi	lambda $0 e ( and ( river:t $0 ) ( loc:t $0 ( argmax $1 ( state:t $1 ) ( count $2 ( and ( city:t $2 ) ( loc:t $2 $1 ) ) ) ) ) )
what are the popul of the major citi of s0	lambda $0 e ( exists $1 ( and ( city:t $1 ) ( major:t $1 ) ( loc:t $1 s0 ) ( population:t $1 $0 ) ) )
what is the smallest state that the r0 run through	argmin $0 ( and ( state:t $0 ) ( loc:t r0 $0 ) ) ( size:i $0 )
what are the citi in state through which the r0 run	lambda $0 e ( and ( city:t $0 ) ( exists $1 ( and ( state:t $1 ) ( loc:t r0 $1 ) ( loc:t $0 $1 ) ) ) )
what are the popul of state through which the r0 run	lambda $0 e ( exists $1 ( and ( state:t $1 ) ( loc:t r0 $1 ) ( population:t $1 $0 ) ) )
what is the longest river in the state that border s0	argmax $0 ( and ( river:t $0 ) ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( loc:t $0 $1 ) ) ) ) ( len:i $0 )
what is the highest point in the state with capit c0	argmax $0 ( and ( place:t $0 ) ( loc:t $0 ( the $1 ( and ( state:t $1 ) ( capital:t $1 c0 ) ) ) ) ) ( elevation:i $0 )
what is the most popul state through which the r0 run	argmax $0 ( and ( state:t $0 ) ( loc:t r0 $0 ) ) ( population:i $0 )
how mani citizen doe the biggest citi have in the co0	population:i ( argmax $0 ( and ( city:t $0 ) ( loc:t $0 co0 ) ) ( size:i $0 ) )
what is the capit of the state with the largest popul	capital:c ( argmax $1 ( state:t $1 ) ( population:i $1 ) )
what is the capit of the state with the most peopl	capital:c ( argmax $1 ( state:t $1 ) ( population:i $1 ) )
what are the popul of state through which the r0 run	lambda $0 e ( exists $1 ( and ( state:t $1 ) ( loc:t r0 $1 ) ( population:t $1 $0 ) ) )
what is the total length of all river in the co0	sum $0 ( and ( river:t $0 ) ( loc:t $0 co0 ) ) ( len:i $0 )
what are the citi of the state with the highest point	lambda $0 e ( and ( city:t $0 ) ( loc:t $0 ( the $1 ( and ( state:t $1 ) ( loc:t ( argmax $2 ( place:t $2 ) ( elevation:i $2 ) ) $1 ) ) ) ) )
what state contain the highest point of those the r0 travers	lambda $0 e ( and ( state:t $0 ) ( loc:t ( argmax $1 ( and ( place:t $1 ) ( loc:t r0 $1 ) ) ( elevation:i $1 ) ) $0 ) )
what is the capit of the state with the longest river	capital:c ( the $1 ( and ( state:t $1 ) ( loc:t ( argmax $2 ( river:t $2 ) ( len:i $2 ) ) $1 ) ) )
what is the capit of the state with the largest popul densiti	capital:c ( argmax $1 ( state:t $1 ) ( density:i $1 ) )
how mani the state which have elev -er than what s0 has	count $0 ( and ( state:t $0 ) ( exists $1 ( and ( place:t $1 ) ( loc:t $1 $0 ) ( < ( elevation:i $1 ) ( elevation:i ( argmin $2 ( and ( place:t $2 ) ( loc:t $2 s0 ) ) ( elevation:i $2 ) ) ) ) ) ) )
what is the length of the longest river that run through s0	len:i ( argmax $0 ( and ( river:t $0 ) ( loc:t $0 s0 ) ) ( len:i $0 ) )
what is the biggest co0 citi in a state with a river	argmax $0 ( and ( city:t $0 ) ( loc:t $0 co0 ) ( exists $1 ( and ( state:t $1 ) ( loc:t $0 $1 ) ( exists $2 ( and ( river:t $2 ) ( loc:t $2 $1 ) ) ) ) ) ) ( size:i $0 )
what is the popul of the state with the highest popul densiti	population:i ( argmax $0 ( state:t $0 ) ( density:i $0 ) )
what is the popul of the state that border the most state	population:i ( argmax $0 ( state:t $0 ) ( count $1 ( and ( state:t $1 ) ( next_to:t $0 $1 ) ) ) )
how mani river are in the state that has the most river	count $0 ( and ( river:t $0 ) ( loc:t $0 ( argmax $1 ( state:t $1 ) ( count $2 ( and ( river:t $2 ) ( loc:t $2 $1 ) ) ) ) ) )
what is the largest citi in the smallest state in the co0	argmax $0 ( and ( city:t $0 ) ( loc:t $0 ( argmin $1 ( and ( state:t $1 ) ( loc:t $1 co0 ) ) ( size:i $1 ) ) ) ) ( size:i $0 )
what are the major citi in state through which the r0 run	lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( exists $1 ( and ( state:t $1 ) ( loc:t r0 $1 ) ( loc:t $0 $1 ) ) ) )
which river run through state that border the state with the capit c0	lambda $0 e ( and ( river:t $0 ) ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 ( the $2 ( and ( state:t $2 ) ( capital:t $2 c0 ) ) ) ) ( loc:t $0 $1 ) ) ) )
what is the longest river that flow through a state that border s0	argmax $0 ( and ( river:t $0 ) ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( loc:t $0 $1 ) ) ) ) ( len:i $0 )
what is the length of the river that run through the most state	len:i ( argmax $0 ( river:t $0 ) ( count $1 ( and ( state:t $1 ) ( loc:t $0 $1 ) ) ) )
what is the highest point of the state with the smallest popul densiti	argmax $0 ( and ( place:t $0 ) ( loc:t $0 ( argmin $1 ( state:t $1 ) ( density:i $1 ) ) ) ) ( elevation:i $0 )
what is the length of the river that flow through the most state	len:i ( argmax $0 ( river:t $0 ) ( count $1 ( and ( state:t $1 ) ( loc:t $0 $1 ) ) ) )
what is the longest river in the state with the most major citi	argmax $0 ( and ( river:t $0 ) ( loc:t $0 ( argmax $1 ( state:t $1 ) ( count $2 ( and ( major:t $2 ) ( city:t $2 ) ( loc:t $2 $1 ) ) ) ) ) ) ( len:i $0 )
what is the largest citi in smallest state through which the r0 run	argmax $0 ( and ( city:t $0 ) ( loc:t $0 ( argmin $1 ( and ( state:t $1 ) ( loc:t r0 $1 ) ) ( size:i $1 ) ) ) ) ( size:i $0 )
what is the lowest point of all state through which the r0 run through	argmin $0 ( and ( place:t $0 ) ( exists $1 ( and ( state:t $1 ) ( loc:t r0 $1 ) ( loc:t $0 $1 ) ) ) ) ( elevation:i $0 )
what is the popul of the largest citi in the state with the largest area	population:i ( argmax $0 ( and ( city:t $0 ) ( loc:t $0 ( argmax $1 ( state:t $1 ) ( area:i $1 ) ) ) ) ( size:i $0 ) )
which is the densiti of the state that the largest river in the co0 run through	density:i ( the $0 ( and ( loc:t ( argmax $1 ( and ( loc:t $1 co0 ) ( river:t $1 ) ) ( size:i $1 ) ) $0 ) ( state:t $0 ) ) )
how mani state have a -er point than the highest point of the state with the largest capit citi in the co0	count $0 ( and ( state:t $0 ) ( exists $1 ( and ( place:t $1 ) ( loc:t $1 $0 ) ( > ( elevation:i $1 ) ( elevation:i ( argmax $2 ( and ( place:t $2 ) ( exists $3 ( and ( loc:t $2 $3 ) ( state:t $3 ) ( loc:t $3 co0 ) ( loc:t ( argmax $4 ( and ( capital:t $4 ) ( city:t $4 ) ) ( size:i $4 ) ) $3 ) ) ) ) ( elevation:i $2 ) ) ) ) ) ) )