Question: Which area is larger in size, Veracruz (the one that is the headquarter location of Tiburones Rojos de Veracruz) or Middlesex County (the one that shares border with New Haven County)?
Choices: Orange County
Kent County
Greene County
Cass County
Veracruz
Lee County
Delaware County
Washoe County
African Union
Middlesex County
SPARQL: SELECT ?e WHERE { { ?e <pred:name> "Veracruz" . ?e_1 <headquarters_location> ?e . ?e_1 <pred:name> "Tiburones Rojos de Veracruz" .   } UNION { ?e <pred:name> "Middlesex County" . ?e <shares_border_with> ?e_2 . ?e_2 <pred:name> "New Haven County" .  } ?e <area> ?pv . ?pv <pred:value> ?v .  } ORDER BY DESC(?v) LIMIT 1
Program:
function: Find
inputs: Tiburones Rojos de Veracruz
function: Relate
dependencies: 0
inputs: headquarters location
forward
function: Find
inputs: Veracruz
function: And
dependencies: 1
2
function: Find
inputs: New Haven County
function: Relate
dependencies: 4
inputs: shares border with
backward
function: Find
inputs: Middlesex County
function: And
dependencies: 5
6
function: SelectBetween
dependencies: 3
7
inputs: area
greater
Answer: Middlesex County