Question: Does Lima, which was established in 1831, have 59801 as its postal code of ?
Choices:
yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
Answer: no
SPARQL: ASK { ?e <pred:name> "Lima" . ?e <inception> ?pv_1 . ?pv_1 <pred:year> 1831 . ?e <postal_code> ?pv . ?pv <pred:value> "59801" .  }
Program:
function: Find
inputs: Lima
function: FilterYear
dependencies: 0
inputs: inception
1831
=
function: QueryAttr
dependencies: 1
inputs: postal code
function: VerifyStr
dependencies: 2
inputs: 59801