Question: Which time zone has the short name PHT and includes the country of the Philippines?
Choices: Eastern European Time
Philippine Standard Time
Pacific Time Zone
Central European Time
East Africa Time
Eastern Time Zone
Alaska Time Zone
Atlantic Time Zone
Mountain Time Zone
Newfoundland Standard time
SPARQL: SELECT DISTINCT ?e WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "time zone" . ?e <short_name> ?pv . ?pv <pred:value> "PHT" . ?e <country> ?e_1 . ?e_1 <pred:name> "Philippines" .  }
Program:
function: FindAll
function: FilterStr
dependencies: 0
inputs: short name
PHT
function: FilterConcept
dependencies: 1
inputs: time zone
function: Find
inputs: Philippines
function: Relate
dependencies: 3
inputs: country
backward
function: FilterConcept
dependencies: 4
inputs: time zone
function: And
dependencies: 2
5
function: What
dependencies: 6
Answer: Philippine Standard Time