Question: Is BRUCKHEIMERJB the Twitter username of Manchester City F.C. (the subscription number of this statement is 29988)?
Choices: yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
SPARQL: ASK { ?e <pred:name> "Manchester City F.C." . ?e <Twitter_username> ?pv . ?pv <pred:value> "BRUCKHEIMERJB" . [ <pred:fact_h> ?e ; <pred:fact_r> <Twitter_username> ; <pred:fact_t> ?pv ] <number_of_subscribers> ?qpv . ?qpv <pred:unit> "1" . ?qpv <pred:value> "29988"^^xsd:double .  }
Program:
function: Find
inputs: Manchester City F.C.
function: QueryAttrUnderCondition
dependencies: 0
inputs: Twitter username
number of subscribers
29988
function: VerifyStr
dependencies: 1
inputs: BRUCKHEIMERJB
Answer: no