So could soft convecting ice extend all the way down to the rock, leaving no room for a liquid ocean?
(soft convecting ice; leaving; no room for a liquid ocean)
soft convecting ice
leaving
no room for a liquid ocean