Question: What is A.F.C. Ajax's official name?
Choices: 국립대학법인 서울대학교
Tijuana
Bordeaux
Любляна
State of Wyoming
Kingdom of Eswatini
Amsterdamsche Football Club Ajax
Всесоюзная коммунистическая партия (большевиков)
Sénat du Canada
București
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:name> "A.F.C. Ajax" . ?e <official_name> ?pv .  }
Program:
function: Find
inputs: A.F.C. Ajax
function: QueryAttr
dependencies: 0
inputs: official name
Answer: Amsterdamsche Football Club Ajax