Question: What is the Pennsylvania county that borders the Pennsylvania county that is named after Thomas Jefferson whose CANTIC-ID is a12128843?
Choices: Cambria County
Lehigh County
Armstrong County
Franklin County
Schuylkill County
Lackawanna County
Greene County
Sullivan County
Cumberland County
Westmoreland County
SPARQL: SELECT DISTINCT ?e WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "county of Pennsylvania" . ?e_1 <shares_border_with> ?e . ?e_1 <pred:instance_of> ?c_1 . ?c_1 <pred:name> "county of Pennsylvania" . ?e_1 <named_after> ?e_3 . ?e_3 <pred:name> "Thomas Jefferson" . ?e_3 <CANTIC-ID> ?pv . ?pv <pred:value> "a12128843" .   }
Program:
function: Find
inputs: Thomas Jefferson
function: FilterStr
dependencies: 0
inputs: CANTIC-ID
a12128843
function: Relate
dependencies: 1
inputs: named after
backward
function: FilterConcept
dependencies: 2
inputs: county of Pennsylvania
function: Relate
dependencies: 3
inputs: shares border with
forward
function: FilterConcept
dependencies: 4
inputs: county of Pennsylvania
function: What
dependencies: 5
Answer: Armstrong County