Premise: Indonesien ist nach Brasilien und Malaysia der drittgrößte Zinnproduzent der Welt und hatte Ende letzten Jahres eine Exportquote von 28.376 Tonnen pro Jahr.
Hypothesis: Indonesien ist einer der weltweit größten Zinnproduzenten.
Label: entailment