Question: What is the official name for the city whose German municipality key is 14713000?
Choices:
Santa Fe de la Vera Cruz
Memphis
Derpt
Europese Unie
Leipzig
Rheinische Friedrich-Wilhelms-Universität Bonn
Reino de Los Paises Bajos
Mansfield Town Football Club
Apple Inc.
Koninklijke Lierse Sportkring
Program:
function: FindAll
function: FilterStr
dependencies: 0
inputs: German municipality key
14713000
function: FilterConcept
dependencies: 1
inputs: city
function: QueryAttr
dependencies: 2
inputs: official name
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "city" . ?e <German_municipality_key> ?pv_1 . ?pv_1 <pred:value> "14713000" . ?e <official_name> ?pv .  }
Answer: Leipzig