Question: What higher education institution is located in Charlotte whose population is 18091?
Choices: Pennsylvania State University
Imperial College London
King's College London
University of Manchester
McNeese State University
Presidency University
McMaster University
University of Tehran
University of Canterbury
University of North Carolina at Charlotte
SPARQL: SELECT DISTINCT ?e WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "higher education institution" . ?e <located_in_the_administrative_territorial_entity> ?e_1 . ?e_1 <pred:name> "Charlotte" . ?e_1 <population> ?pv . ?pv <pred:unit> "1" . ?pv <pred:value> "18091"^^xsd:double .   }
Program:
function: Find
inputs: Charlotte
function: FilterNum
dependencies: 0
inputs: population
18091
=
function: Relate
dependencies: 1
inputs: located in the administrative territorial entity
backward
function: FilterConcept
dependencies: 2
inputs: higher education institution
function: What
dependencies: 3
Answer: University of North Carolina at Charlotte