{"lexeme": "area", "formula": "!location.location.area", "type": "(-> fb:type.any fb:type.any)"}
{"lexeme": "area", "formula": "location.location.area", "type": "(-> fb:type.any fb:type.any)"}
{"lexeme": "area", "formula": "!location.location.size", "type": "(-> fb:type.any fb:type.any)"}
{"lexeme": "area", "formula": "location.location.size", "type": "(-> fb:type.any fb:type.any)"}
{"lexeme": "inhabitants", "formula": "(lambda x (location.location.population (var x)))", "type": "(-> fb:type.any fb:type.any)"}
{"lexeme": "states", "formula": "(lambda x (location.us_state.capital (var x)))", "type": "(-> fb:type.any fb:type.any)"}
{"lexeme": "bordering", "formula": "(lambda x (location.us_state.border (var x)))", "type": "(-> fb:type.any fb:type.any)"}
{"lexeme": "state", "formula": "(type.object.type location.us_state)", "type": "fb:type.any"}
{"lexeme": "cities", "formula": "(type.object.type location.citytown)", "type": "fb:type.any"}
{"lexeme": "capitals", "formula": "(type.object.type location.capital)", "type": "fb:type.any"}
{"lexeme": "major cities", "formula": "(type.object.type location.major_citytown)", "type": "fb:type.any"}
{"lexeme": "5", "formula": "(number 5)", "type": "fb:type.number"}
{"lexeme": "140000", "formula": "(number 140000)", "type": "fb:type.number"}
{"lexeme": "200000", "formula": "(number 200000)", "type": "fb:type.number"}
{"lexeme": "1000000", "formula": "(number 200000)", "type": "fb:type.number"}
{"lexeme": "10000000", "formula": "(number 200000)", "type": "fb:type.number"}
{"lexeme": "top", "formula": "(lambda n (lambda u (lambda b (argmax (number 1) (var n) (var u) (var b)))))"}
{"lexeme": "largest", "formula": "(lambda b (lambda u (argmax 1 1 (var u) (var b))))"}
{"lexeme": "at least", "formula": "(lambda x (>= (var x)))", "type": "(-> fb:type.number fb:type.number)"}
{"lexeme": "how many", "formula": "(lambda x (count (var x)))"}
{"lexeme": "oregon", "formula": "state.oregon", "type": "fb:type.any"}
{"lexeme": "nevada", "formula": "state.nevada", "type": "fb:type.any"}
{"lexeme": "arizona", "formula": "state.arizona", "type": "fb:type.any"}