Question: Is the official website of Clinton County (the one whose population is 41917) http://co.clinton.oh.us ?
Choices:
yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
Program:
function: Find
inputs: Clinton County
function: FilterNum
dependencies: 0
inputs: population
41917
=
function: QueryAttr
dependencies: 1
inputs: official website
function: VerifyStr
dependencies: 2
inputs: http://co.clinton.oh.us
SPARQL: ASK { ?e <pred:name> "Clinton County" . ?e <population> ?pv_1 . ?pv_1 <pred:unit> "1" . ?pv_1 <pred:value> "41917"^^xsd:double . ?e <official_website> ?pv . ?pv <pred:value> "http://co.clinton.oh.us" .  }
Answer: yes