Question: Which American city is the twinned administrative body of Guadalajara (the one that is the twinned administrative body of Dublin) and also of Lower Hutt?
Choices:
Tempe
Laredo
Tucson
Columbus
Waukegan
Franklin
San Antonio
Lansing
Albuquerque
New Haven
Answer: Laredo
SPARQL: SELECT DISTINCT ?e WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "city of the United States" . ?e_1 <twinned_administrative_body> ?e . ?e_1 <pred:name> "Guadalajara" . ?e_1 <twinned_administrative_body> ?e_2 . ?e_2 <pred:name> "Dublin" .  ?e_3 <twinned_administrative_body> ?e . ?e_3 <pred:name> "Lower Hutt" .  }
Program:
function: Find
inputs: Dublin
function: Relate
dependencies: 0
inputs: twinned administrative body
backward
function: Find
inputs: Guadalajara
function: And
dependencies: 1
2
function: Relate
dependencies: 3
inputs: twinned administrative body
forward
function: FilterConcept
dependencies: 4
inputs: city of the United States
function: Find
inputs: Lower Hutt
function: Relate
dependencies: 6
inputs: twinned administrative body
forward
function: FilterConcept
dependencies: 7
inputs: city of the United States
function: And
dependencies: 5
8
function: What
dependencies: 9