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