Question: What is the administrative-territorial entity that shares borders with Virginia county whose population is equal to 312311 according to the census?
Choices:
Guadalajara
Gwynedd
African Union
Orange County
Prince William County
Jefferson County
Fauquier County
Frederick County
Stearns County
Montgomery County
Answer: Jefferson County
SPARQL: SELECT DISTINCT ?e WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "administrative territorial entity" . ?e_1 <shares_border_with> ?e . ?e_1 <pred:instance_of> ?c_1 . ?c_1 <pred:name> "county of Virginia" . ?e_1 <population> ?pv . ?pv <pred:unit> "1" . ?pv <pred:value> "312311"^^xsd:double . [ <pred:fact_h> ?e_1 ; <pred:fact_r> <population> ; <pred:fact_t> ?pv ] <determination_method> ?qpv . ?qpv <pred:value> "census" .   }
Program:
function: FindAll
function: FilterNum
dependencies: 0
inputs: population
312311
=
function: QFilterStr
dependencies: 1
inputs: determination method
census
function: FilterConcept
dependencies: 2
inputs: county of Virginia
function: Relate
dependencies: 3
inputs: shares border with
forward
function: FilterConcept
dependencies: 4
inputs: administrative territorial entity
function: What
dependencies: 5