Question: Is 86003556 the NRHP reference number for Oklahoma City University?
Choices:
yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
Program:
function: Find
inputs: Oklahoma City University
function: QueryAttr
dependencies: 0
inputs: NRHP reference number
function: VerifyStr
dependencies: 1
inputs: 86003556
SPARQL: ASK { ?e <pred:name> "Oklahoma City University" . ?e <NRHP_reference_number> ?pv . ?pv <pred:value> "86003556" .  }
Answer: no