前提条件の成立が確認できない場合があった．用例集に存在しない分割事象対を 検索しようとしたためである．人間は何でも知っているという訳ではない．検索 に失敗したときは新しい情報であるかもしれない．前提条件の不成立をどのよう に判断するかが問題である．
