Question: For the part of Italy named Tyrol which includes Trentino as a part, which has the largest area?
Choices: province of Milan
Province of Cuneo
Province of Salerno
Province of Naples
Province of Como
Province of Rome
Trentino
South Tyrol
Province of Cagliari
Province of Turin
SPARQL: SELECT ?e WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "province of Italy" . ?e_1 <has_part> ?e . ?e_1 <pred:name> "Tyrol" . ?e_1 <has_part> ?e_2 . ?e_2 <pred:name> "Trentino" .  ?e <area> ?pv . ?pv <pred:value> ?v .  } ORDER BY DESC(?v) LIMIT 1
Program:
function: Find
inputs: Trentino
function: Relate
dependencies: 0
inputs: has part
backward
function: Find
inputs: Tyrol
function: And
dependencies: 1
2
function: Relate
dependencies: 3
inputs: has part
forward
function: FilterConcept
dependencies: 4
inputs: province of Italy
function: SelectAmong
dependencies: 5
inputs: area
largest
Answer: South Tyrol