Question: Among Italy's provinces that are a part of Tyrol (the one that includes South Tyrol as a part), which one has the smallest area?
Choices: Province of Turin
Province of Cuneo
Province of Como
Province of Cagliari
Trentino
Province of Salerno
Province of Rome
Province of Potenza
province of Milan
South Tyrol
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> "South Tyrol" .  ?e <area> ?pv . ?pv <pred:value> ?v .  } ORDER BY ?v LIMIT 1
Program:
function: Find
inputs: South Tyrol
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
smallest
Answer: Trentino