Correcting subschema based on Bill's new specifications