Question: Is 2001:630:22::/48 the IPv6 routing prefix of the higher education institution headquartered in Liverpool whose NUTS code is UKD72?
Choices:
yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
Answer: no
SPARQL: ASK { ?e <pred:instance_of> ?c . ?c <pred:name> "higher education institution" . ?e <headquarters_location> ?e_1 . ?e_1 <pred:name> "Liverpool" . ?e_1 <NUTS_code> ?pv_1 . ?pv_1 <pred:value> "UKD72" . ?e <IPv6_routing_prefix> ?pv . ?pv <pred:value> "2001:630:22::/48" .  }
Program:
function: Find
inputs: Liverpool
function: FilterStr
dependencies: 0
inputs: NUTS code
UKD72
function: Relate
dependencies: 1
inputs: headquarters location
backward
function: FilterConcept
dependencies: 2
inputs: higher education institution
function: QueryAttr
dependencies: 3
inputs: IPv6 routing prefix
function: VerifyStr
dependencies: 4
inputs: 2001:630:22::/48