包含関係の判定結果

パーサの照合結果を用い，4.2節に従ってパターン間の包含関係の判定した． 以下に包含関係の例を示す．

• 例１： $P2 \supseteq P3$

  P 2: /ytk N 1は /tcfk N 2の /f ある ! N 3.da。
  P 3: /ytk N 1は /tcfk 力の /f ある ! N 2.da。

  　パターンP 3では，名詞「力」が変数に置き換えられていない． そのため，パターンP 2とP 3で表記が異なっている． 包含関係にあるパターンの多くは同様の理由であった．
• 例２： $P4 \supseteq P5$

  P 4: /y $1^{/tk N 1 は} /cf (V 2|ND 2をし)
  (て|で) $1 /cf V 3.kako。
  P 5: /y $1^{/tk N 1 は} /cf V 2 (て|で) $1
  /cf 賛成した。

  　パターンP 4の下線部の選択記号部分が，パターンP 5の下線部の変数V 5を含む． 包含関係は，選択記号等の機能によっても生じる．