Question: Which ISNI code designates the historical country engaged in wars with North Korea?
Choices:
0000 0000 8008 3619
0000 0000 8322 806X
0000 0003 6852 1294
0000 0000 7973 8542
0000 0001 2106 2436
0000 0001 1507 0042
0000 0001 1882 5543
0000 0000 4354 3057
0000 0001 0890 2736
0000 0000 5516 6068
Program:
function: Find
inputs: North Korea
function: Relate
dependencies: 0
inputs: military conflicts
forward
function: FilterConcept
dependencies: 1
inputs: historical country
function: QueryAttr
dependencies: 2
inputs: ISNI
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "historical country" . ?e_1 <military_conflicts> ?e . ?e_1 <pred:name> "North Korea" .  ?e <ISNI> ?pv .  }
Answer: 0000 0001 2106 2436