Question: Was Exeter City F.C. first officially named Exeter City Football Club on 1904-05-31?
Choices: yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
SPARQL: ASK { ?e <pred:name> "Exeter City F.C." . ?e <official_name> ?pv . ?pv <pred:value> "Exeter City Football Club" . [ <pred:fact_h> ?e ; <pred:fact_r> <official_name> ; <pred:fact_t> ?pv ] <start_time> ?qpv . ?qpv <pred:date> "1904-05-31"^^xsd:date .  }
Program:
function: Find
inputs: Exeter City F.C.
function: QueryAttrUnderCondition
dependencies: 0
inputs: official name
start time
1904-05-31
function: VerifyStr
dependencies: 1
inputs: Exeter City Football Club
Answer: yes