Question: What is the IPv6 routing prefix of the higher education institution whose location is Groningen (the twinned administrative body of Katowice)?
Choices: 2a00:1c10:3:715::/64
2003:40:1b::/48
2001:770:10::/48
2001:610:1a08::/48
2a03:b600:648::/107
2a03:b600:649::/107
2001:630:11::/48
2a00:c38:121:1::/64
2a03:b600:656::/107
2a00:f480:8::/47
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "higher education institution" . ?e <location> ?e_1 . ?e_1 <pred:name> "Groningen" . ?e_2 <twinned_administrative_body> ?e_1 . ?e_2 <pred:name> "Katowice" .  ?e <IPv6_routing_prefix> ?pv .  }
Program:
function: Find
inputs: Katowice
function: Relate
dependencies: 0
inputs: twinned administrative body
forward
function: Find
inputs: Groningen
function: And
dependencies: 1
2
function: Relate
dependencies: 3
inputs: location
backward
function: FilterConcept
dependencies: 4
inputs: higher education institution
function: QueryAttr
dependencies: 5
inputs: IPv6 routing prefix
Answer: 2001:610:1a08::/48