Question: Which area is smaller, Jefferson County (the one whose official website is http://www.jeffco.us) or Gettysburg (the one whose population is 7620)?
Choices:
Cass County
Gettysburg
Washoe County
Delaware County
Kent County
Greene County
San Juan County
Lee County
Jefferson County
African Union
Program:
function: Find
inputs: Jefferson County
function: FilterStr
dependencies: 0
inputs: official website
http://www.jeffco.us
function: Find
inputs: Gettysburg
function: FilterNum
dependencies: 2
inputs: population
7620
=
function: SelectBetween
dependencies: 1
3
inputs: area
less
SPARQL: SELECT ?e WHERE { { ?e <pred:name> "Jefferson County" . ?e <official_website> ?pv_1 . ?pv_1 <pred:value> "http://www.jeffco.us" . } UNION { ?e <pred:name> "Gettysburg" . ?e <population> ?pv_2 . ?pv_2 <pred:unit> "1" . ?pv_2 <pred:value> "7620"^^xsd:double . } ?e <area> ?pv . ?pv <pred:value> ?v .  } ORDER BY ?v LIMIT 1
Answer: Gettysburg