Question: How large is the student body of the public university officially called the University of Cincinnati?
Choices:
12179
7700
45100
800
17094
49275
73185
4187
32000
42421
Answer: 42421
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "public university" . ?e <official_name> ?pv_1 . ?pv_1 <pred:value> "University of Cincinnati" . ?e <students_count> ?pv .  }
Program:
function: FindAll
function: FilterStr
dependencies: 0
inputs: official name
University of Cincinnati
function: FilterConcept
dependencies: 1
inputs: public university
function: QueryAttr
dependencies: 2
inputs: students count