出典:デジタル大辞泉(小学館)

与えられた2つの文の間に含意関係が成り立つかどうかを判別すること。含意関係とは、例えば、「ピカソは1907年にキュビスムの原点とされる『アヴィニョンの娘たち』を発表した」という文が成り立つとき、「ピカソは『アヴィニョンの娘たち』の作者である」という文も成り立つような関係をいう。