Question: Tell me the birth name of Havok (who has the Catholic religion)
Choices:
Forest Steven Whitaker
Brian Harold May
Benjamin Kubelsky
Yann Pierre Tiersen
Alexander Summers
David O'Neal Brown
Daniel Lawrence Whitney
Maurice Joseph Micklewhite
James Hugh Calum Laurie
Napulione Buonaparte
Answer: Alexander Summers
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:name> "Havok" . ?e <religion> ?e_1 . ?e_1 <pred:name> "Catholicism" .  ?e <birth_name> ?pv .  }
Program:
function: Find
inputs: Catholicism
function: Relate
dependencies: 0
inputs: religion
backward
function: Find
inputs: Havok
function: And
dependencies: 1
2
function: QueryAttr
dependencies: 3
inputs: birth name