s,
the form of the coefficient
' indicates that the predicate of the conclusion is limited by both the conditions which separately limit the predicates of the premises.
| Ex. 2. | All Ys are Xs, | y = vx, |
| All Ys are Zs, | y = v'z. |
The elimination of
gives
which is interpretable into Some