Question: Which has a greater area, Guadalajara (in the country of Mexico) or Manchester (which is the twinned administrative body of Los Angeles)?
Choices: Kingston
Chihuahua
Dundee
Guadalajara
Santo Domingo
Cork
Trieste
Bergen
Abidjan
Kilkenny
SPARQL: SELECT ?e WHERE { { ?e <pred:name> "Guadalajara" . ?e <country> ?e_1 . ?e_1 <pred:name> "Mexico" .   } UNION { ?e <pred:name> "Manchester" . ?e_2 <twinned_administrative_body> ?e . ?e_2 <pred:name> "Los Angeles" .  } ?e <area> ?pv . ?pv <pred:value> ?v .  } ORDER BY DESC(?v) LIMIT 1
Program:
function: Find
inputs: Mexico
function: Relate
dependencies: 0
inputs: country
backward
function: Find
inputs: Guadalajara
function: And
dependencies: 1
2
function: Find
inputs: Los Angeles
function: Relate
dependencies: 4
inputs: twinned administrative body
forward
function: Find
inputs: Manchester
function: And
dependencies: 5
6
function: SelectBetween
dependencies: 3
7
inputs: area
greater
Answer: Guadalajara