json - Json パス - リストのリストでフィルター処理

Question

次のような JSON があります。

{
"DATA": [
  {
    "docName": "xyz",
    "result": [
      {
        "attribute": "attr1",
        "value": true
      },
      {
        "attribute": "attr2",
        "value": true
      }
    ]
  },
  {
    "docName": "abc",
    "result": [
      {
        "attribute": "attr1",
        "value": false
      },
      {
        "attribute": "attr2",
        "value": true
      }
    ]
  }]
}

私の使用例は、すべての docNames を検索することです。attr1 = true

フィルター式をいくつか試しましたが、ドキュメント名を取得できません。私は次のようなことを試しました: $.DATA[?(@.result[0].attribute=='attr1' && @.result[0].value == true)].docNamedocNames を取得しましたが、リストの最初の要素に頼ることはできません。attr1がtrue の値を持つリストのどこかに存在するかどうかを確認する必要があります。

どんな助けでも大歓迎です。