Question: Does the United States city, whose postal code is 55801, 55802, 55803, 55804, 55805, 55806, 55807, 55808, 55810, 55811, 55812, have an elevation (above sea level) not equal to 6400 metre?
Choices:
yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
Program:
function: FindAll
function: FilterStr
dependencies: 0
inputs: postal code
55801, 55802, 55803, 55804, 55805, 55806, 55807, 55808, 55810, 55811, 55812
function: FilterConcept
dependencies: 1
inputs: city of the United States
function: QueryAttr
dependencies: 2
inputs: elevation above sea level
function: VerifyNum
dependencies: 3
inputs: 6400 metre
!=
SPARQL: ASK { ?e <pred:instance_of> ?c . ?c <pred:name> "city of the United States" . ?e <postal_code> ?pv_1 . ?pv_1 <pred:value> "55801, 55802, 55803, 55804, 55805, 55806, 55807, 55808, 55810, 55811, 55812" . ?e <elevation_above_sea_level> ?pv . ?pv <pred:unit> "metre" . ?pv <pred:value> ?v . FILTER ( ?v != "6400"^^xsd:double ) .  }
Answer: yes