( lambda $0 e ( loc:t c0 $0 ) )
( lambda $0 e ( and ( river:t $0 ) ( loc:t $0 s0 ) ) )
( lambda $0 e ( exists $1 ( and ( mountain:t $1 ) ( loc:t $1 $0 ) ) ) )
( lambda $0 e ( loc:t c0 $0 ) )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) )
( elevation:i m0 )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) )
( size:i s0 )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) )
( elevation:i m0 )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) )
( lambda $0 e ( loc:t r0 $0 ) )
( size:i s0 )
( argmin $0 ( state:t $0 ) ( size:i $0 ) )
( lambda $0 e ( loc:t ( argmin $1 ( city:t $1 ) ( size:i $1 ) ) $0 ) )
( count $0 ( state:t $0 ) )
( lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( city:t $1 ) ( named:t $1 n0 ) ( loc:t $1 $0 ) ) ) ) )
( len:i r0 )
( lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( city:t $1 ) ( named:t $1 n0 ) ( loc:t $1 $0 ) ) ) ) )
( lambda $0 e ( and ( river:t $0 ) ( loc:t $0 s0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t c0 $0 ) ) )
( len:i r0 )
( lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( river:t $1 ) ( loc:t $1 $0 ) ) ) ) )
( count $0 ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) )
( argmin $0 ( state:t $0 ) ( size:i $0 ) )
( lambda $0 e ( and ( river:t $0 ) ( loc:t $0 s0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( city:t $1 ) ( named:t $1 n0 ) ( loc:t $1 $0 ) ) ) ) )
( len:i r0 )
( lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( city:t $1 ) ( named:t $1 n0 ) ( loc:t $1 $0 ) ) ) ) )
( count $0 ( and ( state:t $0 ) ( next_to:t s0 $0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( city:t $1 ) ( named:t $1 n0 ) ( loc:t $1 $0 ) ) ) ) )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 r0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t c0 $0 ) ) )
( len:i r0 )
( count $0 ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t c0 $0 ) ) )
( argmax $0 ( river:t $0 ) ( count $1 ( and ( state:t $1 ) ( loc:t $0 $1 ) ) ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t m0 $0 ) ) )
( population:i c0 )
( len:i r0 )
( lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( city:t $1 ) ( named:t $1 n0 ) ( loc:t $1 $0 ) ) ) ) )
( lambda $0 e ( and ( major:t $0 ) ( river:t $0 ) ( loc:t $0 s0 ) ) )
( population:i c0 )
( population:i s0 )
( population:i c0 )
( argmax $0 ( state:t $0 ) ( population:i $0 ) )
( capital:c s0 )
( population:i c0 )
( argmax $0 ( state:t $0 ) ( population:i $0 ) )
( population:i c0 )
( capital:c s0 )
( count $0 ( and ( named:t $0 colorado:n ) ( river:t $0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t ( argmax $1 ( capital:t $1 ) ( size:i $1 ) ) $0 ) ) )
( capital:c s0 )
( argmax $1 ( state:t $1 ) ( elevation:i $1 ) )
( population:i s0 )
( capital:c s0 )
( lambda $0 e ( and ( state:t $0 ) ( loc:t ( argmax $1 ( river:t $1 ) ( len:i $1 ) ) $0 ) ) )
( population:i s0 )
( lambda $0 e ( and ( river:t $0 ) ( loc:t $0 s0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t ( argmax $1 ( place:t $1 ) ( elevation:i $1 ) ) $0 ) ) )
( count $0 ( and ( river:t $0 ) ( loc:t $0 s0 ) ) )
( argmax $0 ( state:t $0 ) ( count $1 ( and ( river:t $1 ) ( loc:t $1 $0 ) ) ) )
( population:i c0 )
( area:i s0 )
( capital:c s0 )
( capital:c s0 )
( argmin $0 ( state:t $0 ) ( elevation:i $0 ) )
( population:i c0 )
( population:i c0 )
( argmax $0 ( city:t $0 ) ( population:i $0 ) )
( count $0 ( and ( river:t $0 ) ( loc:t $0 s0 ) ) )
( capital:c s0 )
( argmax $0 ( state:t $0 ) ( area:i $0 ) )
( capital:c s0 )
( population:i s0 )
( population:i s0 )
( population:i c0 )
( population:i s0 )
( lambda $0 e ( and ( river:t $0 ) ( loc:t $0 s0 ) ) )
( argmax $0 ( state:t $0 ) ( count $1 ( and ( state:t $1 ) ( next_to:t $0 $1 ) ) ) )
( population:i s0 )
( argmax $0 ( city:t $0 ) ( population:i $0 ) )
( count $0 ( and ( capital:t $0 ) ( loc:t $0 s0 ) ) )
( population:i c0 )
( argmax $0 ( state:t $0 ) ( population:i $0 ) )
( population:i c0 )
( population:i c0 )
( lambda $0 e ( and ( river:t $0 ) ( loc:t $0 s0 ) ) )
( area:i s0 )
( count $0 ( and ( state:t $0 ) ( loc:t $0 co0 ) ) )
( population:i s0 )
( argmin $0 ( state:t $0 ) ( population:i $0 ) )
( argmax $0 ( river:t $0 ) ( count $1 ( and ( state:t $1 ) ( loc:t $0 $1 ) ) ) )
( count $0 ( and ( state:t $0 ) ( next_to:t s0 $0 ) ) )
( population:i s0 )
( capital:c s0 )
( argmax $0 ( state:t $0 ) ( count $1 ( and ( river:t $1 ) ( loc:t $1 $0 ) ) ) )
( population:i s0 )
( population:i s0 )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) )
( argmax $0 ( state:t $0 ) ( population:i $0 ) )
( population:i s0 )
( argmax $0 ( state:t $0 ) ( count $1 ( and ( state:t $1 ) ( next_to:t $0 $1 ) ) ) )
( area:i s0 )
( argmax $0 ( and ( river:t $0 ) ( loc:t $0 co0 ) ) ( len:i $0 ) )
( lambda $0 e ( and ( major:t $0 ) ( river:t $0 ) ( loc:t $0 s0 ) ) )
( argmin $0 ( state:t $0 ) ( density:i $0 ) )
( argmin $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t r0 $0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t r0 $0 ) ) )
( argmax $0 ( and ( city:t $0 ) ( loc:t $0 s0 ) ) ( size:i $0 ) )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 ( argmax $1 ( state:t $1 ) ( population:i $1 ) ) ) ) )
( argmax $0 ( and ( city:t $0 ) ( loc:t $0 s0 ) ) ( size:i $0 ) )
( argmax $0 ( state:t $0 ) ( count $1 ( and ( major:t $1 ) ( city:t $1 ) ( loc:t $1 $0 ) ) ) )
( argmax $0 ( state:t $0 ) ( count $1 ( and ( city:t $1 ) ( major:t $1 ) ( loc:t $1 $0 ) ) ) )
( count $0 ( and ( state:t $0 ) ( loc:t $0 co0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) )
( argmax $0 ( river:t $0 ) ( count $1 ( and ( state:t $1 ) ( loc:t $0 $1 ) ) ) )
( len:i r0 )
( argmax $0 ( state:t $0 ) ( count $1 ( and ( major:t $1 ) ( river:t $1 ) ( loc:t $1 $0 ) ) ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t r0 $0 ) ) )
( count $0 ( and ( state:t $0 ) ( not ( exists $1 ( and ( river:t $1 ) ( loc:t $1 $0 ) ) ) ) ) )
( lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( next_to:t $0 $1 ) ) ) ) )
( argmin $0 ( state:t $0 ) ( density:i $0 ) )
( argmax $0 ( and ( river:t $0 ) ( loc:t $0 s0 ) ) ( size:i $0 ) )
( capital:c s0 )
( argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
( lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( loc:t $0 s0 ) ) )
( argmax $0 ( state:t $0 ) ( population:i $0 ) )
( lambda $0 e ( loc:t ( argmax $1 ( and ( place:t $1 ) ( loc:t $1 s0 ) ) ( elevation:i $1 ) ) $0 ) )
( argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
( argmin $0 ( capital:t $0 ) ( population:i $0 ) )
( argmin $0 ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) ( size:i $0 ) )
( argmax $0 ( state:t $0 ) ( density:i $0 ) )
( population:i co0 )
( lambda $0 e ( loc:t ( argmin $1 ( and ( place:t $1 ) ( loc:t $1 s0 ) ) ( elevation:i $1 ) ) $0 ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t r0 $0 ) ) )
( len:i r0 )
( density:i s0 )
( lambda $0 e ( and ( capital:t $0 ) ( loc:t $0 s0 ) ( city:t $0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t r0 $0 ) ) )
( argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
( argmin $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
( argmax $0 ( and ( city:t $0 ) ( loc:t $0 s0 ) ) ( size:i $0 ) )
( argmax $0 ( and ( river:t $0 ) ( loc:t $0 s0 ) ) ( len:i $0 ) )
( lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( loc:t $0 s0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( capital:t $0 ( argmax $1 ( capital:t $1 ) ( size:i $1 ) ) ) ) )
( lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( loc:t $0 s0 ) ) )
( argmax $0 ( and ( mountain:t $0 ) ( loc:t $0 co0 ) ) ( elevation:i $0 ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t r0 $0 ) ) )
( density:i s0 )
( argmax $0 ( and ( place:t $0 ) ( loc:t $0 c0 ) ) ( elevation:i $0 ) )
( argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
( lambda $0 e ( and ( river:t $0 ) ( not ( loc:t $0 s0 ) ) ) )
( argmin $0 ( and ( place:t $0 ) ( loc:t $0 co0 ) ) ( elevation:i $0 ) )
( argmax $0 ( and ( city:t $0 ) ( loc:t $0 s0 ) ) ( size:i $0 ) )
( argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
( lambda $0 e ( and ( river:t $0 ) ( not ( loc:t $0 co0 ) ) ) )
( argmin $0 ( state:t $0 ) ( density:i $0 ) )
( argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
( lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( loc:t $0 s0 ) ) )
( lambda $0 e ( and ( river:t $0 ) ( loc:t $0 s0 ) ) )
( argmax $0 ( river:t $0 ) ( count $1 ( and ( state:t $1 ) ( loc:t $0 $1 ) ) ) )
( argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
( lambda $0 e ( and ( city:t $0 ) ( loc:t $0 s0 ) ) )
( argmax $0 ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) ( size:i $0 ) )
( argmin $0 ( state:t $0 ) ( population:i $0 ) )
( area:i s0 )
( lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( loc:t $0 s0 ) ) )
( argmin $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
( count $0 ( and ( city:t $0 ) ( loc:t $0 co0 ) ) )
( argmax $0 ( and ( place:t $0 ) ( loc:t $0 co0 ) ) ( elevation:i $0 ) )
( argmax $0 ( and ( mountain:t $0 ) ( not ( loc:t $0 s0 ) ) ) ( elevation:i $0 ) )
( argmin $0 ( and ( city:t $0 ) ( loc:t $0 co0 ) ) ( size:i $0 ) )
( elevation:i ( argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) ) )
( argmax $0 ( and ( place:t $0 ) ( loc:t $0 co0 ) ) ( elevation:i $0 ) )
( lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( loc:t $0 co0 ) ) )
( count $0 ( and ( river:t $0 ) ( loc:t $0 s0 ) ) )
( argmax $0 ( and ( city:t $0 ) ( loc:t $0 s0 ) ) ( population:i $0 ) )
( argmax $0 ( and ( place:t $0 ) ( loc:t $0 co0 ) ) ( elevation:i $0 ) )
( argmin $0 ( state:t $0 ) ( density:i $0 ) )
( capital:c ( argmin $1 ( state:t $1 ) ( size:i $1 ) ) )
( argmax $0 ( state:t $0 ) ( area:i $0 ) )
( lambda $0 e ( and ( river:t $0 ) ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( loc:t $0 $1 ) ) ) ) )
( argmin $0 ( and ( city:t $0 ) ( loc:t $0 co0 ) ) ( size:i $0 ) )
( lambda $0 e ( and ( state:t $0 ) ( > ( count $1 ( and ( major:t $1 ) ( river:t $1 ) ( loc:t $1 $0 ) ) ) 0:i ) ) )
( lambda $0 e ( loc:t ( argmax $1 ( and ( mountain:t $1 ) ( loc:t $1 co0 ) ) ( elevation:i $1 ) ) $0 ) )
( elevation:i ( argmax $0 ( and ( place:t $0 ) ( loc:t $0 co0 ) ) ( elevation:i $0 ) ) )
( len:i ( argmax $0 ( and ( river:t $0 ) ( loc:t $0 s0 ) ) ( len:i $0 ) ) )
( argmin $0 ( state:t $0 ) ( area:i $0 ) )
( argmax $0 ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) ( size:i $0 ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t ( argmax $1 ( river:t $1 ) ( len:i $1 ) ) $0 ) ) )
( argmax $0 ( and ( mountain:t $0 ) ( loc:t $0 co0 ) ) ( elevation:i $0 ) )
( argmax $0 ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) ( population:i $0 ) )
( 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 ) ) ) ) ) ) )
( lambda $0 e ( loc:t ( argmax $1 ( and ( place:t $1 ) ( loc:t $1 s0 ) ) ( population:i $1 ) ) $0 ) )
( elevation:i ( argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) ) )
( count $0 ( and ( state:t $0 ) ( loc:t $0 co0 ) ) )
( argmax $0 ( and ( city:t $0 ) ( loc:t $0 co0 ) ) ( density:i $0 ) )
( population:i ( argmin $0 ( state:t $0 ) ( size:i $0 ) ) )
( 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 ) ) ) ) ) ) )
( argmax $0 ( and ( capital:t $0 ) ( city:t $0 ) ( loc:t $0 co0 ) ) ( size:i $0 ) )
( lambda $0 e ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( population:t $1 $0 ) ) ) )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 ( argmin $1 ( state:t $1 ) ( area:i $1 ) ) ) ) )
( lambda $0 e ( and ( capital:t $0 ) ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( loc:t $0 $1 ) ) ) ) )
( lambda $0 e ( and ( state:t $0 ) ( exists $1 ( and ( state:t $1 ) ( loc:t r0 $1 ) ( next_to:t $0 $1 ) ) ) ) )
( 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 ) ) ) ) ) ) )
( sum $0 ( state:t $0 ) ( area:i $0 ) )
( argmin $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
( 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 ) ) ) ) )
( lambda $0 e ( exists $1 ( and ( state:t $1 ) ( density:i $1 $0 ) ) ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t ( argmin $1 ( and ( place:t $1 ) ( next_to:t $1 s0 ) ) ( elevation:i $1 ) ) $0 ) ) )
( argmax $0 ( and ( state:t $0 ) ( loc:t $0 co0 ) ) ( density:i $0 ) )
( argmax $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
( argmax $0 ( and ( river:t $0 ) ( loc:t $0 ( argmax $1 ( state:t $1 ) ( size:i $1 ) ) ) ) ( len:i $0 ) )
( len:i ( argmax $0 ( and ( river:t $0 ) ( loc:t $0 co0 ) ) ( len:i $0 ) ) )
( argmax $0 ( and ( place:t $0 ) ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( loc:t $0 $1 ) ) ) ) ( elevation:i $0 ) )
( density:i ( argmax $0 ( state:t $0 ) ( size:i $0 ) ) )
( lambda $0 e ( and ( state:t $0 ) ( next_to:t $0 ( argmin $1 ( state:t $1 ) ( area:i $1 ) ) ) ) )
( population:i ( capital:c s0 ) )
( argmax $0 ( and ( capital:t $0 ) ( city:t $0 ) ( loc:t $0 co0 ) ) ( size:i $0 ) )
( 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 ) ) ) ) )
( population:i ( argmax $0 ( and ( city:t $0 ) ( loc:t $0 s0 ) ) ( size:i $0 ) ) )
( 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 ) ) ) ) ) ) )
( 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 ) ) ) ) ) ) )
( 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 ) ) ) ) ) ) )
( 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 ) ) ) ) ) ) )
( argmax $0 ( and ( city:t $0 ) ( loc:t $0 co0 ) ) ( density:i $0 ) )
( argmin $0 ( and ( place:t $0 ) ( loc:t $0 s0 ) ) ( elevation:i $0 ) )
( lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( loc:t $0 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 ) )
( argmax $0 ( and ( state:t $0 ) ( next_to:t $0 s0 ) ) ( population:i $0 ) )
( count $0 ( and ( state:t $0 ) ( next_to:t $0 ( argmax $1 ( state:t $1 ) ( population:i $1 ) ) ) ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t ( argmax $1 ( and ( river:t $1 ) ( loc:t $1 s0 ) ) ( len:i $1 ) ) $0 ) ) )
( argmax $0 ( state:t $0 ) ( count $1 ( and ( major:t $1 ) ( river:t $1 ) ( loc:t $1 $0 ) ) ) )
( capital:c ( the $1 ( and ( loc:t ( argmin $2 ( place:t $2 ) ( elevation:i $2 ) ) $1 ) ( state:t $1 ) ) ) )
( argmin $0 ( in:t $0 ( argmax $1 ( state:t $1 ) ( count $2 ( and ( state:t $2 ) ( next_to:t $2 $1 ) ) ) ) ) ( size:i $0 ) )
( 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 ) ) ) ) ) ) )
( lambda $0 e ( exists $1 ( and ( city:t $1 ) ( major:t $1 ) ( loc:t $1 s0 ) ( population:t $1 $0 ) ) ) )
( argmin $0 ( and ( state:t $0 ) ( loc:t r0 $0 ) ) ( size:i $0 ) )
( lambda $0 e ( and ( city:t $0 ) ( exists $1 ( and ( state:t $1 ) ( loc:t r0 $1 ) ( loc:t $0 $1 ) ) ) ) )
( lambda $0 e ( exists $1 ( and ( state:t $1 ) ( loc:t r0 $1 ) ( population:t $1 $0 ) ) ) )
( argmax $0 ( and ( river:t $0 ) ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( loc:t $0 $1 ) ) ) ) ( len:i $0 ) )
( argmax $0 ( and ( place:t $0 ) ( loc:t $0 ( the $1 ( and ( state:t $1 ) ( capital:t $1 c0 ) ) ) ) ) ( elevation:i $0 ) )
( argmax $0 ( and ( state:t $0 ) ( loc:t r0 $0 ) ) ( population:i $0 ) )
( population:i ( argmax $0 ( and ( city:t $0 ) ( loc:t $0 co0 ) ) ( size:i $0 ) ) )
( capital:c ( argmax $1 ( state:t $1 ) ( population:i $1 ) ) )
( capital:c ( argmax $1 ( state:t $1 ) ( population:i $1 ) ) )
( lambda $0 e ( exists $1 ( and ( state:t $1 ) ( loc:t r0 $1 ) ( population:t $1 $0 ) ) ) )
( sum $0 ( and ( river:t $0 ) ( loc:t $0 co0 ) ) ( len:i $0 ) )
( 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 ) ) ) ) ) )
( lambda $0 e ( and ( state:t $0 ) ( loc:t ( argmax $1 ( and ( place:t $1 ) ( loc:t r0 $1 ) ) ( elevation:i $1 ) ) $0 ) ) )
( capital:c ( the $1 ( and ( state:t $1 ) ( loc:t ( argmax $2 ( river:t $2 ) ( len:i $2 ) ) $1 ) ) ) )
( capital:c ( argmax $1 ( state:t $1 ) ( density:i $1 ) ) )
( 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 ) ) ) ) ) ) ) )
( len:i ( argmax $0 ( and ( river:t $0 ) ( loc:t $0 s0 ) ) ( len:i $0 ) ) )
( 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 ) )
( population:i ( argmax $0 ( state:t $0 ) ( density:i $0 ) ) )
( population:i ( argmax $0 ( state:t $0 ) ( count $1 ( and ( state:t $1 ) ( next_to:t $0 $1 ) ) ) ) )
( count $0 ( and ( river:t $0 ) ( loc:t $0 ( argmax $1 ( state:t $1 ) ( count $2 ( and ( river:t $2 ) ( loc:t $2 $1 ) ) ) ) ) ) )
( 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 ) )
( lambda $0 e ( and ( major:t $0 ) ( city:t $0 ) ( exists $1 ( and ( state:t $1 ) ( loc:t r0 $1 ) ( loc:t $0 $1 ) ) ) ) )
( 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 ) ) ) ) )
( argmax $0 ( and ( river:t $0 ) ( exists $1 ( and ( state:t $1 ) ( next_to:t $1 s0 ) ( loc:t $0 $1 ) ) ) ) ( len:i $0 ) )
( len:i ( argmax $0 ( river:t $0 ) ( count $1 ( and ( state:t $1 ) ( loc:t $0 $1 ) ) ) ) )
( argmax $0 ( and ( place:t $0 ) ( loc:t $0 ( argmin $1 ( state:t $1 ) ( density:i $1 ) ) ) ) ( elevation:i $0 ) )
( len:i ( argmax $0 ( river:t $0 ) ( count $1 ( and ( state:t $1 ) ( loc:t $0 $1 ) ) ) ) )
( 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 ) )
( 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 ) )
( argmin $0 ( and ( place:t $0 ) ( exists $1 ( and ( state:t $1 ) ( loc:t r0 $1 ) ( loc:t $0 $1 ) ) ) ) ( elevation:i $0 ) )
( population:i ( argmax $0 ( and ( city:t $0 ) ( loc:t $0 ( argmax $1 ( state:t $1 ) ( area:i $1 ) ) ) ) ( size:i $0 ) ) )
( density:i ( the $0 ( and ( loc:t ( argmax $1 ( and ( loc:t $1 co0 ) ( river:t $1 ) ) ( size:i $1 ) ) $0 ) ( state:t $0 ) ) ) )
( 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 ) ) ) ) ) ) ) )