Question: What big city belongs to a sovereign state whose dissolution happened in 1945 (finished on 18th April 1945) ?
Choices: Stuttgart
Erlangen
Dnipro
Heidelberg
Leipzig
Lyon
Freiburg im Breisgau
Magdeburg
Halle (Saale)
Wiesbaden
SPARQL: SELECT DISTINCT ?e WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "big city" . ?e <country> ?e_1 . ?e_1 <pred:instance_of> ?c_1 . ?c_1 <pred:name> "sovereign state" . ?e_1 <dissolved,_abolished_or_demolished> ?pv . ?pv <pred:year> 1945 .  [ <pred:fact_h> ?e ; <pred:fact_r> <country> ; <pred:fact_t> ?e_1 ] <end_time> ?qpv . ?qpv <pred:date> "1945-04-18"^^xsd:date .  }
Program:
function: FindAll
function: FilterYear
dependencies: 0
inputs: dissolved, abolished or demolished
1945
=
function: FilterConcept
dependencies: 1
inputs: sovereign state
function: Relate
dependencies: 2
inputs: country
backward
function: QFilterDate
dependencies: 3
inputs: end time
1945-04-18
=
function: FilterConcept
dependencies: 4
inputs: big city
function: What
dependencies: 5
Answer: Magdeburg