Question: Is the smaller area occupied by El Paso County, home of the US Air Force Academy, or Veracruz, at 241 square kilometers in size?
Choices: San Juan County
Kent County
Delaware County
African Union
Greene County
Veracruz
Lee County
Cass County
Orange County
El Paso County
SPARQL: SELECT ?e WHERE { { ?e <pred:name> "El Paso County" . ?e_1 <located_in_the_administrative_territorial_entity> ?e . ?e_1 <pred:name> "United States Air Force Academy" . } UNION { ?e <pred:name> "Veracruz" . ?e <area> ?pv_1 . ?pv_1 <pred:unit> "square kilometre" . ?pv_1 <pred:value> "241"^^xsd:double . } ?e <area> ?pv . ?pv <pred:value> ?v .  } ORDER BY ?v LIMIT 1
Program:
function: Find
inputs: United States Air Force Academy
function: Relate
dependencies: 0
inputs: located in the administrative territorial entity
forward
function: Find
inputs: El Paso County
function: And
dependencies: 1
2
function: Find
inputs: Veracruz
function: FilterNum
dependencies: 4
inputs: area
241 square kilometre
=
function: SelectBetween
dependencies: 3
5
inputs: area
less
Answer: Veracruz