Test whether the x schema covers the y schema.
x
y
Properties for testing
Whether the x schema covers the y schema
Test whether the
xschema covers theyschema.