P 2: /ytk N 1は /tcfk N 2 の /f ある ! N 3.da。
P 10: /y </tk N 1 は> /tcfk 張合の /fある ! N 2.da。 |
パターンP 10は,次の2パターンに展開される.
: /y /tcfk 張合の /f ある ! N 2.da。
: /y /tk N 1は /tcfk 張合の /f ある ! N 2.da。 |
展開後のパターン間の包含関係は, , となる. 従って, と判定される. しかし,パターンP 2を次のパターンに示すように変更することで, となる.
: /y </tk N 1は> /tcfk N 2の /fある ! N 3.da。 |