Question: What is the official name of Gerald Ford?
Choices:
Gerald Rudolph Ford Jr.
Bari
Halle (Saale)
Magyar Királyság
deutsche Fußballnationalmannschaft
Trenton
Пловдив
Ленинградский ордена Ленина и ордена Трудового Красного Знамени государственный университет имени А. А. Жданова
Club Deportivo Godoy Cruz Antonio Tomba
Ομοσπονδιακή Δημοκρατία της Γερμανίας
Answer: Gerald Rudolph Ford Jr.
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:name> "Gerald Ford" . ?e <official_name> ?pv .  }
Program:
function: Find
inputs: Gerald Ford
function: QueryAttr
dependencies: 0
inputs: official name