Question: What United States city is the headquarters location of the University of South Florida in the country the United States of America and is the twinned administrative body of Veracruz (that is the twinned administrative body of Tampa)?
Choices: Lansing
Tampa
Columbus
Compton
Greenville
San Jose
Waukegan
Boulder
New Haven
Franklin
SPARQL: SELECT DISTINCT ?e WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "city of the United States" . ?e_1 <headquarters_location> ?e . ?e_1 <pred:name> "University of South Florida" .  [ <pred:fact_h> ?e_1 ; <pred:fact_r> <headquarters_location> ; <pred:fact_t> ?e ] <country> ?qpv . ?qpv <pred:value> "United States of America" . ?e <twinned_administrative_body> ?e_2 . ?e_2 <pred:name> "Veracruz" . ?e_2 <twinned_administrative_body> ?e_3 . ?e_3 <pred:name> "Tampa" .  }
Program:
function: Find
inputs: University of South Florida
function: Relate
dependencies: 0
inputs: headquarters location
forward
function: QFilterStr
dependencies: 1
inputs: country
United States of America
function: FilterConcept
dependencies: 2
inputs: city of the United States
function: Find
inputs: Tampa
function: Relate
dependencies: 4
inputs: twinned administrative body
backward
function: Find
inputs: Veracruz
function: And
dependencies: 5
6
function: Relate
dependencies: 7
inputs: twinned administrative body
backward
function: FilterConcept
dependencies: 8
inputs: city of the United States
function: And
dependencies: 3
9
function: What
dependencies: 10
Answer: Tampa