Question: What is the ISBN-13 of Empire of the Sun (the one whose ISBN-10 is 0-575-03483-1)?
Choices: 978-85-7503-449-1
978-0-575-00149-7
978-2-87929-485-8
978-0-7675-3830-5
978-1-4088-7187-4
978-0-575-03483-9
978-607-400-916-3
978-0-676-97376-1
978-0-374-25032-4
978-2-02-033646-8
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:name> "Empire of the Sun" . ?e <ISBN-10> ?pv_1 . ?pv_1 <pred:value> "0-575-03483-1" . ?e <ISBN-13> ?pv .  }
Program:
function: Find
inputs: Empire of the Sun
function: FilterStr
dependencies: 0
inputs: ISBN-10
0-575-03483-1
function: QueryAttr
dependencies: 1
inputs: ISBN-13
Answer: 978-0-575-03483-9