Question: Does the agent who is headquartered in Mexico City (Avenida Vasco de Quiroga No. 2000, Col. Santa Fe), is the official site:  http://www.televisa.com/ ?
Choices:
yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
Program:
function: Find
inputs: Mexico City
function: Relate
dependencies: 0
inputs: headquarters location
backward
function: QFilterStr
dependencies: 1
inputs: located at street address
Avenida Vasco de Quiroga No. 2000, Col. Santa Fe
function: FilterConcept
dependencies: 2
inputs: agent
function: QueryAttr
dependencies: 3
inputs: official website
function: VerifyStr
dependencies: 4
inputs: http://www.televisa.com/
SPARQL: ASK { ?e <pred:instance_of> ?c . ?c <pred:name> "agent" . ?e <headquarters_location> ?e_1 . ?e_1 <pred:name> "Mexico City" .  [ <pred:fact_h> ?e ; <pred:fact_r> <headquarters_location> ; <pred:fact_t> ?e_1 ] <located_at_street_address> ?qpv . ?qpv <pred:value> "Avenida Vasco de Quiroga No. 2000, Col. Santa Fe" . ?e <official_website> ?pv . ?pv <pred:value> "http://www.televisa.com/" .  }
Answer: yes