Question: Is the ISBN 13 of One Flew Over the Cuckoo's Nest (the one whose ISBN-10 is 0-451-16396-6) 978-0-15-602732-8 ?
Choices: yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
SPARQL: ASK { ?e <pred:name> "One Flew Over the Cuckoo's Nest" . ?e <ISBN-10> ?pv_1 . ?pv_1 <pred:value> "0-451-16396-6" . ?e <ISBN-13> ?pv . ?pv <pred:value> "978-0-15-602732-8" .  }
Program:
function: Find
inputs: One Flew Over the Cuckoo's Nest
function: FilterStr
dependencies: 0
inputs: ISBN-10
0-451-16396-6
function: QueryAttr
dependencies: 1
inputs: ISBN-13
function: VerifyStr
dependencies: 2
inputs: 978-0-15-602732-8
Answer: no