Question: What is the establishment date of El Paso County whose population is 800647?
Choices: 1982
1845
1871
1012
1810-02-16
1967
1527-06-22
2009-08-23
1900
1855-02-12
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:name> "El Paso County" . ?e <population> ?pv_1 . ?pv_1 <pred:unit> "1" . ?pv_1 <pred:value> "800647"^^xsd:double . ?e <inception> ?pv .  }
Program:
function: Find
inputs: El Paso County
function: FilterNum
dependencies: 0
inputs: population
800647
=
function: QueryAttr
dependencies: 1
inputs: inception
Answer: 1871