あるデータモデルに先行が存在するのは、そのデータモデルに不整合な関係も不整合な専化もない場合です。

このチェックで関係や専化が不整合と見なされるのは、それらのソースエンティティタイプが存在しない場合です。