Question: Is 100th the ranking of the Israel national football team whose league points are 513?
Choices:
yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
Answer: no
SPARQL: ASK { ?e <pred:name> "Israel national football team" . ?e <ranking> ?pv . ?pv <pred:unit> "1" . ?pv <pred:value> "100"^^xsd:double . [ <pred:fact_h> ?e ; <pred:fact_r> <ranking> ; <pred:fact_t> ?pv ] <points_for> ?qpv . ?qpv <pred:unit> "1" . ?qpv <pred:value> "513"^^xsd:double .  }
Program:
function: Find
inputs: Israel national football team
function: QueryAttrUnderCondition
dependencies: 0
inputs: ranking
points for
513
function: VerifyNum
dependencies: 1
inputs: 100
=