Prémisse : L'Indonésie est le troisième producteur mondial d'étain après le Brésil et la Malaisie et disposait à la fin de l'année dernière d'un quota d'exportation de 28.376 tonnes par an.
Hypothèse : L'Indonésie est l'un des plus grands producteurs d'étain au monde.
Relation : entailment