versao operante do detector de propriedade existencial