can we capture nested circumscription?

ClosableOMS is restricted to be a BasicOMS, or an OMSRef. However, the latter is as powerful as any arbitrarily complex OMS. Does this already cover nested circumscription? Then this should be mentioned.