Question: Is 2001:620:8::/48 the IPv6 routing prefix for Groningen (whose number of households is 109976)?
Choices: yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
SPARQL: ASK { ?e <pred:name> "Groningen" . ?e <number_of_households> ?pv_1 . ?pv_1 <pred:unit> "1" . ?pv_1 <pred:value> "109976"^^xsd:double . ?e <IPv6_routing_prefix> ?pv . ?pv <pred:value> "2001:620:8::/48" .  }
Program:
function: Find
inputs: Groningen
function: FilterNum
dependencies: 0
inputs: number of households
109976
=
function: QueryAttr
dependencies: 1
inputs: IPv6 routing prefix
function: VerifyStr
dependencies: 2
inputs: 2001:620:8::/48
Answer: no