Question: Tell me the number of United States towns that are found in Eastern time zone or that is the Litchfield County capital.
Choices: 1
2
3
4
5
6
7
8
9
10
SPARQL: SELECT (COUNT(DISTINCT ?e) AS ?count) WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "town of the United States" .  { ?e <located_in_time_zone> ?e_1 . ?e_1 <pred:name> "Eastern Time Zone" .  } UNION { ?e <capital_of> ?e_1 . ?e_1 <pred:name> "Litchfield County" .  } }
Program:
function: Find
inputs: Eastern Time Zone
function: Relate
dependencies: 0
inputs: located in time zone
backward
function: FilterConcept
dependencies: 1
inputs: town of the United States
function: Find
inputs: Litchfield County
function: Relate
dependencies: 3
inputs: capital of
backward
function: FilterConcept
dependencies: 4
inputs: town of the United States
function: Or
dependencies: 2
5
function: Count
dependencies: 6
Answer: 7