Question: Is the maximum age for children's compulsory education different from 11.7 years of age?
Choices:
yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
Program:
function: Find
inputs: Slovenia
function: QueryAttr
dependencies: 0
inputs: compulsory education (maximum age)
function: VerifyNum
dependencies: 1
inputs: 11.7 years old
!=
SPARQL: ASK { ?e <pred:name> "Slovenia" . ?e <compulsory_education_(maximum_age)> ?pv . ?pv <pred:unit> "years old" . ?pv <pred:value> ?v . FILTER ( ?v != "11.7"^^xsd:double ) .  }
Answer: yes