Question: Which one is larger,  Ontario (the one that contains Lake Superior) or Quebec (the one whose demonym is Québécois)   ?
Choices: British Columbia
Prince Edward Island
New Brunswick
Quebec
Nova Scotia
Manitoba
Alberta
Saskatchewan
Ontario
Newfoundland and Labrador
SPARQL: SELECT ?e WHERE { { ?e <pred:name> "Ontario" . ?e_1 <located_in_the_administrative_territorial_entity> ?e . ?e_1 <pred:name> "Lake Superior" . } UNION { ?e <pred:name> "Quebec" . ?e <demonym> ?pv_1 . ?pv_1 <pred:value> "Québécois" . } ?e <area> ?pv . ?pv <pred:value> ?v .  } ORDER BY DESC(?v) LIMIT 1
Program:
function: Find
inputs: Lake Superior
function: Relate
dependencies: 0
inputs: located in the administrative territorial entity
forward
function: Find
inputs: Ontario
function: And
dependencies: 1
2
function: Find
inputs: Quebec
function: FilterStr
dependencies: 4
inputs: demonym
Québécois
function: SelectBetween
dependencies: 3
5
inputs: area
greater
Answer: Quebec