Question: Is http://www.dccomics.com/characters/batman the official website of Batman (the one that has Val Kilmer as a performer)?
Choices:
yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
Program:
function: Find
inputs: Val Kilmer
function: Relate
dependencies: 0
inputs: performer
backward
function: Find
inputs: Batman
function: And
dependencies: 1
2
function: QueryAttr
dependencies: 3
inputs: official website
function: VerifyStr
dependencies: 4
inputs: http://www.dccomics.com/characters/batman
SPARQL: ASK { ?e <pred:name> "Batman" . ?e <performer> ?e_1 . ?e_1 <pred:name> "Val Kilmer" .  ?e <official_website> ?pv . ?pv <pred:value> "http://www.dccomics.com/characters/batman" .  }
Answer: yes