Test whether the x schema covers the y schema.