the the logical disjunction u, expressed in lattice terminology,
the &quot;least upper bound&quot; (lub) of the disjoined terms, u = lub(s_j), and
what we might well call their &quot;natural disjunction&quot; v = cloven-hoofed.

Once again, the sheer implausibility of imagining that
the disjunctive term u would ever be embedded exactly
per se in a lattice of natural kinds, leads to the
evident &quot;naturalness&quot; of the induction to v =&gt; w,
namely, the rule that cloven-hoofed animals are
herbivorous.