Question: Which area is larger in size, Jackson County (the one whose FIPS 6-4 (US counties) is 01071) or Jefferson County (the one whose population is 658466)?
Choices:
Baldwin County
Monroe County
Mobile County
Jefferson County
Montgomery County
Madison County
Dallas County
Shelby County
Jackson County
Washington County
Program:
function: Find
inputs: Jackson County
function: FilterStr
dependencies: 0
inputs: FIPS 6-4 (US counties)
01071
function: Find
inputs: Jefferson County
function: FilterNum
dependencies: 2
inputs: population
658466
=
function: SelectBetween
dependencies: 1
3
inputs: area
greater
SPARQL: SELECT ?e WHERE { { ?e <pred:name> "Jackson County" . ?e <FIPS_6-4_(US_counties)> ?pv_1 . ?pv_1 <pred:value> "01071" . } UNION { ?e <pred:name> "Jefferson County" . ?e <population> ?pv_2 . ?pv_2 <pred:unit> "1" . ?pv_2 <pred:value> "658466"^^xsd:double . } ?e <area> ?pv . ?pv <pred:value> ?v .  } ORDER BY DESC(?v) LIMIT 1
Answer: Jackson County