Question: Which university is headquartered in a city whose postal codes are city whose postal code is 9010, 9011, 9012, 9013, 9014, 9016, 9018, 9022, 9023, 9024, 9035, 9076, 9077, 9081, 9082, 9092 ?
Choices:
University of Bonn
Stevens Institute of Technology
University of Otago
University of Manitoba
Utrecht University
St. John's University
University of Manchester
University of Cambridge
University of Bath
University of Padua
Answer: University of Otago
SPARQL: SELECT DISTINCT ?e WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "university" . ?e <headquarters_location> ?e_1 . ?e_1 <pred:instance_of> ?c_1 . ?c_1 <pred:name> "city" . ?e_1 <postal_code> ?pv . ?pv <pred:value> "9010, 9011, 9012, 9013, 9014, 9016, 9018, 9022, 9023, 9024, 9035, 9076, 9077, 9081, 9082, 9092" .   }
Program:
function: FindAll
function: FilterStr
dependencies: 0
inputs: postal code
9010, 9011, 9012, 9013, 9014, 9016, 9018, 9022, 9023, 9024, 9035, 9076, 9077, 9081, 9082, 9092
function: FilterConcept
dependencies: 1
inputs: city
function: Relate
dependencies: 2
inputs: headquarters location
backward
function: FilterConcept
dependencies: 3
inputs: university
function: What
dependencies: 4