shrunk in extent Synonym