Question: What is the population of the US city that is an administrative division of Marion County, which borders Volusia County?
Choices:
98237
56315
78209000
74985
497780439
14074
11451273
166995
2551425
70058
Program:
function: Find
inputs: Volusia County
function: Relate
dependencies: 0
inputs: shares border with
backward
function: Find
inputs: Marion County
function: And
dependencies: 1
2
function: Relate
dependencies: 3
inputs: contains administrative territorial entity
forward
function: FilterConcept
dependencies: 4
inputs: city of the United States
function: QueryAttr
dependencies: 5
inputs: population
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "city of the United States" . ?e_1 <contains_administrative_territorial_entity> ?e . ?e_1 <pred:name> "Marion County" . ?e_1 <shares_border_with> ?e_2 . ?e_2 <pred:name> "Volusia County" .  ?e <population> ?pv .  }
Answer: 56315