Premise: uh-huh i've just used WordPerfect and Lotus

Hypothesis: WordPerfect and Lotus are all that I've used at this point.
Relation: entailment