Question: What is the ISBN-13 for the written work with an ISBN-10 equal to 972-23-3140-X?
Choices: 978-0-679-78589-7
978-2-07-040458-2
978-0-7675-3830-5
978-1-58060-120-7
978-0-563-55178-2
978-4-08-760641-6
978-0-394-53760-3
978-2-07-054130-0
978-0-688-16316-7
978-972-23-3140-1
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "written work" . ?e <ISBN-10> ?pv_1 . ?pv_1 <pred:value> "972-23-3140-X" . ?e <ISBN-13> ?pv .  }
Program:
function: FindAll
function: FilterStr
dependencies: 0
inputs: ISBN-10
972-23-3140-X
function: FilterConcept
dependencies: 1
inputs: written work
function: QueryAttr
dependencies: 2
inputs: ISBN-13
Answer: 978-972-23-3140-1