Question: What is the official name for Oklahoma City?
Choices:
Hobart
Repubblica Gabonese
Bowdoin College
República de Cabo Verde
Galway
Nazionale di calcio dell'Italia
équipe de Belgique de football
Monterey
Oklahoma City
Esbjerg forenede Boldklubber
Answer: Oklahoma City
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:name> "Oklahoma City" . ?e <official_name> ?pv .  }
Program:
function: Find
inputs: Oklahoma City
function: QueryAttr
dependencies: 0
inputs: official name