Question: Is 2000020261009 the Japan Corporate Number of the  prefecture of Japan that is the twinned administrative body of Shanghai (that is the twinned administrative body of Saint Petersburg) starting in the year 1980?
Choices: yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
SPARQL: ASK { ?e <pred:instance_of> ?c . ?c <pred:name> "prefecture of Japan" . ?e <twinned_administrative_body> ?e_1 . ?e_1 <pred:name> "Shanghai" . ?e_1 <twinned_administrative_body> ?e_2 . ?e_2 <pred:name> "Saint Petersburg" .  [ <pred:fact_h> ?e ; <pred:fact_r> <twinned_administrative_body> ; <pred:fact_t> ?e_1 ] <start_time> ?qpv . ?qpv <pred:year> 1980 . ?e <Corporate_Number_(Japan)> ?pv . ?pv <pred:value> "2000020261009" .  }
Program:
function: Find
inputs: Saint Petersburg
function: Relate
dependencies: 0
inputs: twinned administrative body
backward
function: Find
inputs: Shanghai
function: And
dependencies: 1
2
function: Relate
dependencies: 3
inputs: twinned administrative body
backward
function: QFilterYear
dependencies: 4
inputs: start time
1980
=
function: FilterConcept
dependencies: 5
inputs: prefecture of Japan
function: QueryAttr
dependencies: 6
inputs: Corporate Number (Japan)
function: VerifyStr
dependencies: 7
inputs: 2000020261009
Answer: no