If the derived content type is Empty, then the base content type should also be Empty or Mixed with Emptiable particle according ...