Mines there continue to yield lead, which is exported from Cartagena as it has been for centuries.
Cartagena imports over 3000 tons of lead annually.
mnli hypothesis: Cartagena imports over 3000 tons of lead annually. premise: Mines there continue to yield lead, which is exported from Cartagena as it has been for centuries.