Premise: Nominal purely nominal.

Hypothesis: It is nominal.
Relation: entailment