Question: Which has more area, Dane County or Jefferson County that borders Dane County?
Choices:
Dane County
Polk County
Columbia County
Fond du Lac County
La Crosse County
Jackson County
Pierce County
Washington County
Wood County
Jefferson County
Program:
function: Find
inputs: Dane County
function: Find
inputs: Dane County
function: Relate
dependencies: 1
inputs: shares border with
backward
function: Find
inputs: Jefferson County
function: And
dependencies: 2
3
function: SelectBetween
dependencies: 0
4
inputs: area
greater
SPARQL: SELECT ?e WHERE { { ?e <pred:name> "Dane County" .  } UNION { ?e <pred:name> "Jefferson County" . ?e <shares_border_with> ?e_1 . ?e_1 <pred:name> "Dane County" .   } ?e <area> ?pv . ?pv <pred:value> ?v .  } ORDER BY DESC(?v) LIMIT 1
Answer: Dane County