Premise: The calculations of this paper were done in 5 Lotus files.

Hypothesis: Calculations were done.
Relation: entailment