xml - ネストされたブロック内の特定の値を見つけるための Xpath フィルター

Question

XPath フィルターを使用してレガシー システムを継承しましたが、これは私の強みではありません。

XML の例 (変更できません):

<bill>
    <header>
       <no>1234</no>
    </header>
    <details>
       <company>C1009</company>
       <lineNo>1</lineNo>
       <amount>770.50</lineNo>
    </details>
    <details>
       <company>C1009</company>
       <lineNo>2</lineNo>
       <amount>1050.50</lineNo>
    </details>
</bill>

請求書 xml ごとに特定の会社番号を見つける関数が必要です。この場合、それは会社 1009 です。関数は true/false (空または見つかった) を返す必要があるだけです。これを解決する方法は？

システムには、フィールドを正常に見つける別の目的のフィルターが既にありますが、複数の行で機能させることはできません。

/*[local-name() = 'details']/*[local-name()='company' and contains(text(),'C1009')]