О независимой базируемости многообразий полугрупп

Существуют независимо базируемые многообразия полугрупп $\mathfrak X$ и $\mathfrak Y$, $\mathfrak X\subset\mathfrak Y$, такие, что $\mathfrak X$ не обладает покрывающим многообразием в интервале $[\mathfrak X;\mathfrak Y]$.