Question: Which area is smaller, Grand Forks or Davis (the one that contains University of California, Davis)?
Choices: Columbus
Compton
Greenville
Boulder
Oakland
Grand Forks
Franklin
Waukegan
Davis
Lansing
SPARQL: SELECT ?e WHERE { { ?e <pred:name> "Grand Forks" .  } UNION { ?e <pred:name> "Davis" . ?e_1 <located_in_the_administrative_territorial_entity> ?e . ?e_1 <pred:name> "University of California, Davis" .   } ?e <area> ?pv . ?pv <pred:value> ?v .  } ORDER BY ?v LIMIT 1
Program:
function: Find
inputs: Grand Forks
function: Find
inputs: University of California, Davis
function: Relate
dependencies: 1
inputs: located in the administrative territorial entity
forward
function: Find
inputs: Davis
function: And
dependencies: 2
3
function: SelectBetween
dependencies: 0
4
inputs: area
less
Answer: Davis