Ex. 1. All Ys are Xs, y = vx,
All Zs are Ys, z = v'y,

the elimination of

gives

the interpretation of which is

All

s are