Question: Which area is larger, Washington County (the one that shares border with Baldwin County) or Jefferson County (the one whose area is 2911 square kilometre)?
Choices:
Baldwin County
Mobile County
Jefferson County
Monroe County
Madison County
Jackson County
Washington County
Montgomery County
Dallas County
Shelby County
Program:
function: Find
inputs: Baldwin County
function: Relate
dependencies: 0
inputs: shares border with
forward
function: Find
inputs: Washington County
function: And
dependencies: 1
2
function: Find
inputs: Jefferson County
function: FilterNum
dependencies: 4
inputs: area
2911 square kilometre
=
function: SelectBetween
dependencies: 3
5
inputs: area
greater
SPARQL: SELECT ?e WHERE { { ?e <pred:name> "Washington County" . ?e_1 <shares_border_with> ?e . ?e_1 <pred:name> "Baldwin County" . } UNION { ?e <pred:name> "Jefferson County" . ?e <area> ?pv_1 . ?pv_1 <pred:unit> "square kilometre" . ?pv_1 <pred:value> "2911"^^xsd:double . } ?e <area> ?pv . ?pv <pred:value> ?v .  } ORDER BY DESC(?v) LIMIT 1
Answer: Jefferson County