Question: What is the higher education institution that has the official color of blue, the official color of Odense Boldklub, and is located in Florida?
Choices: King's College London
University of Tehran
McMaster University
McNeese State University
Pennsylvania State University
Rollins College
Florida International University
Stetson University
University of Manchester
Imperial College London
SPARQL: SELECT DISTINCT ?e WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "higher education institution" . ?e <official_color> ?e_1 . ?e_1 <pred:name> "blue" . ?e_2 <official_color> ?e_1 . ?e_2 <pred:name> "Odense Boldklub" .  ?e <located_in_the_administrative_territorial_entity> ?e_3 . ?e_3 <pred:name> "Florida" .  }
Program:
function: Find
inputs: Odense Boldklub
function: Relate
dependencies: 0
inputs: official color
forward
function: Find
inputs: blue
function: And
dependencies: 1
2
function: Relate
dependencies: 3
inputs: official color
backward
function: FilterConcept
dependencies: 4
inputs: higher education institution
function: Find
inputs: Florida
function: Relate
dependencies: 6
inputs: located in the administrative territorial entity
backward
function: FilterConcept
dependencies: 7
inputs: higher education institution
function: And
dependencies: 5
8
function: What
dependencies: 9
Answer: Florida International University