Question: What is the abbreviated name of the US city in Jefferson County, which has Pine Bluff as its capital?
Choices: ФРН
M.Sc.
🇺🇾
Er
Epic
SNTL
He
Pine Bluff
Master's Degree in Legal Practice
🇮🇹
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "city of the United States" . ?e <located_in_the_administrative_territorial_entity> ?e_1 . ?e_1 <pred:name> "Jefferson County" . ?e_2 <capital_of> ?e_1 . ?e_2 <pred:name> "Pine Bluff" .  ?e <short_name> ?pv .  }
Program:
function: Find
inputs: Pine Bluff
function: Relate
dependencies: 0
inputs: capital of
forward
function: Find
inputs: Jefferson County
function: And
dependencies: 1
2
function: Relate
dependencies: 3
inputs: located in the administrative territorial entity
backward
function: FilterConcept
dependencies: 4
inputs: city of the United States
function: QueryAttr
dependencies: 5
inputs: short name
Answer: Pine Bluff