Question: Which is larger in area, Irvine ( headed by a mayor) or Oklahoma City?
Choices:
Irvine
Oakland
Oklahoma City
Boulder
New Haven
Lansing
Columbus
Franklin
Compton
Waukegan
Answer: Oklahoma City
SPARQL: SELECT ?e WHERE { { ?e <pred:name> "Irvine" . ?e <office_held_by_head_of_government> ?e_1 . ?e_1 <pred:name> "mayor" .   } UNION { ?e <pred:name> "Oklahoma City" .  } ?e <area> ?pv . ?pv <pred:value> ?v .  } ORDER BY DESC(?v) LIMIT 1
Program:
function: Find
inputs: mayor
function: Relate
dependencies: 0
inputs: office held by head of government
backward
function: Find
inputs: Irvine
function: And
dependencies: 1
2
function: Find
inputs: Oklahoma City
function: SelectBetween
dependencies: 3
4
inputs: area
greater