fof(quant,conjecture,
 ![X1]: ?[X2]: ![X3]: ?[X4]: ![X5]: ?[X6]: ![X7]: p(X1,X2,X3,X4,X5,X6,X7)
 =>
 ![Y1]: ?[Y2]: ![Y3]: ?[Y4]: ![Y5]: ?[Y6]: ![Y7]: p(Y1,Y2,Y3,Y4,Y5,Y6,Y7)
).