Question: What is the official name of Jefferson County, which shares a border with Pulaski County?
Choices:
浙江省
Bolivarian Republic of Venezuela
Millwall Football Club
Basel
Derry City Football Club
Mark Brandenburg
Repubilika ya Kongo
Repubblica di Polonia
County of Jefferson
Regne Unit
Program:
function: Find
inputs: Pulaski County
function: Relate
dependencies: 0
inputs: shares border with
forward
function: Find
inputs: Jefferson County
function: And
dependencies: 1
2
function: QueryAttr
dependencies: 3
inputs: official name
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:name> "Jefferson County" . ?e_1 <shares_border_with> ?e . ?e_1 <pred:name> "Pulaski County" .  ?e <official_name> ?pv .  }
Answer: County of Jefferson