带过滤器的Json路径提取

Question

我需要获取元素的路径-列出所有的图书馆电话号码

我具有以下json结构：

{
   library:[{
          libraryphone: 9898989898,
          location:{
              address:{
                   street:123 garden ave,
                   city: Dublin
              }
          },
         {
         libraryphone: 9090909090,
         location:{...}
        }, {
        libraryphone: 9797979797,
        location: {...}
       }
    }]
}

在上面的json中，我有多个图书馆电话和地址。因此，我需要在城市存在的情况下收集所有电话号码。 我尝试过：

$.library[?(@.location.address.city)].libraryphone

我知道要得到图书馆电话，我要做的就是

$.library[*].libraryphone

但是，我需要具备检查城市是否存在的条件。