Question: How many counties are in Illinois with population less than 130,000,000 that contain Waco and are in the Central Time Zone?
Choices:
0
1
2
3
4
5
6
7
8
9
Answer: 0
SPARQL: SELECT (COUNT(DISTINCT ?e) AS ?count) WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "county of Illinois" . ?e <population> ?pv . ?pv <pred:unit> "1" . ?pv <pred:value> ?v . FILTER ( ?v < "130000000"^^xsd:double ) . ?e_1 <located_in_the_administrative_territorial_entity> ?e . ?e_1 <pred:name> "Waco" . ?e_1 <located_in_time_zone> ?e_2 . ?e_2 <pred:name> "Central Time Zone" .  }
Program:
function: FindAll
function: FilterNum
dependencies: 0
inputs: population
130000000
<
function: FilterConcept
dependencies: 1
inputs: county of Illinois
function: Find
inputs: Central Time Zone
function: Relate
dependencies: 3
inputs: located in time zone
backward
function: Find
inputs: Waco
function: And
dependencies: 4
5
function: Relate
dependencies: 6
inputs: located in the administrative territorial entity
forward
function: FilterConcept
dependencies: 7
inputs: county of Illinois
function: And
dependencies: 2
8
function: Count
dependencies: 9