Question: What is the official name of Bern?
Choices:
Anaheim
Bern
Ένωση Νέων Παραλιμνίου
Republica Bulgaria
Slovenská republika
Grenoble
Стаханавец (Сталіна)
Cleopatra
Тифлис
Milano
Answer: Bern
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:name> "Bern" . ?e <official_name> ?pv .  }
Program:
function: Find
inputs: Bern
function: QueryAttr
dependencies: 0
inputs: official name