"that P is an a and Q is a yS and P is similar to some relation contained in Q," . . . .