Question: Does the United States city, which is an administrative division of Marion County (the one that shares border with Volusia County), have its area not equal to 45 square versta?
Choices:
yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
Program:
function: Find
inputs: Volusia County
function: Relate
dependencies: 0
inputs: shares border with
forward
function: Find
inputs: Marion County
function: And
dependencies: 1
2
function: Relate
dependencies: 3
inputs: contains administrative territorial entity
forward
function: FilterConcept
dependencies: 4
inputs: city of the United States
function: QueryAttr
dependencies: 5
inputs: area
function: VerifyNum
dependencies: 6
inputs: 45 square versta
!=
SPARQL: ASK { ?e <pred:instance_of> ?c . ?c <pred:name> "city of the United States" . ?e_1 <contains_administrative_territorial_entity> ?e . ?e_1 <pred:name> "Marion County" . ?e_2 <shares_border_with> ?e_1 . ?e_2 <pred:name> "Volusia County" .  ?e <area> ?pv . ?pv <pred:unit> "square versta" . ?pv <pred:value> ?v . FILTER ( ?v != "45"^^xsd:double ) .  }
Answer: no