要从另一个HTML文件中抓取特定的DOM元素，您可以使用AJAX技术通过HTTP请求加载HTML文件，并使用DOM操作方法从中提取所需的元素。

以下是一个使用jQuery库的示例代码：

// 使用AJAX加载HTML文件
$.ajax({
  url: 'path/to/another/file.html',
  dataType: 'html',
  success: function(data) {
    // 将加载的HTML文件作为字符串传递给jQuery
    var htmlString = data;
    var $html = $(htmlString);

    // 使用jQuery选择器选择所需的DOM元素
    var specificElement = $html.find('#specificElementId');

    // 处理所获取的DOM元素
    console.log(specificElement);
  },
  error: function() {
    console.log('加载HTML文件时发生错误！');
  }
});

在上面的代码中，我们使用$.ajax函数加载另一个HTML文件。一旦成功加载HTML文件，我们将其作为字符串传递给jQuery，并使用.find方法选择特定的DOM元素。您可以使用元素的ID、类或标签等选择器来选择所需的DOM元素。最后，您可以使用所选择的DOM元素进行进一步的处理或显示。

请确保在使用此代码之前引入jQuery库。您可以从jQuery的官方网站（https://jquery.com/）下载和引入该库。