Question: How was it determined that the NOrth Carolina county that shares border with Davidson County (the one that is an administrative division of North Carolina) has a population of 517600?
Choices: resident registration
United Kingdom Census 1981
de facto
2016 Australian census
Taqdir
administrative division valid at the moment of publication
demographic balance
FIFA World Rankings
United Kingdom Census 2001
tradition
SPARQL: SELECT DISTINCT ?qpv WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "county of North Carolina" . ?e <shares_border_with> ?e_1 . ?e_1 <pred:name> "Davidson County" . ?e_2 <contains_administrative_territorial_entity> ?e_1 . ?e_2 <pred:name> "North Carolina" .  ?e <population> ?pv . ?pv <pred:unit> "1" . ?pv <pred:value> "517600"^^xsd:double . [ <pred:fact_h> ?e ; <pred:fact_r> <population> ; <pred:fact_t> ?pv ] <determination_method> ?qpv .  }
Program:
function: Find
inputs: North Carolina
function: Relate
dependencies: 0
inputs: contains administrative territorial entity
forward
function: Find
inputs: Davidson County
function: And
dependencies: 1
2
function: Relate
dependencies: 3
inputs: shares border with
backward
function: FilterConcept
dependencies: 4
inputs: county of North Carolina
function: QueryAttrQualifier
dependencies: 5
inputs: population
517600
determination method
Answer: demographic balance