Question: Is the official name of Leicester City F.C. equal to Leicester City Football Club?
Choices:
yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
Answer: yes
SPARQL: ASK { ?e <pred:name> "Leicester City F.C." . ?e <official_name> ?pv . ?pv <pred:value> "Leicester City Football Club" .  }
Program:
function: Find
inputs: Leicester City F.C.
function: QueryAttr
dependencies: 0
inputs: official name
function: VerifyStr
dependencies: 1
inputs: Leicester City Football Club