「『関係の論理』 の テーフ゛ル （aRb を検証する テーフ゛ル）」 を画面ごとに作成すればよい。

　以下の 3つの identifier が認知できる。
　（1） 顧客番号
　（2） 受注番号
　（3） 品目 コート゛

　したがって、以下の 3つの entity が認知される。
　（1） 顧客
　（2） 受注
　（3） 品目

　そこで、以下のような、entity 間の マトリックス を作成する。
　（1） entity を縦列と横列に並べる。
　（2） マトリックス の対角線よりも上にある欄は使用しない。
　（3） それぞれの縦列を使って、関係が成立するかどうか調べる。

　以上の マトリックス から判断できることは、以下の 2点である。
　（1） それぞれの 「再帰」 を生成するのかしないのか。
　（2） 「顧客」 と 「品目」 の間には、対照表 （「validation-rule」） が成立するのかしないのか。

　以上の 2点を、その画面を使う エント゛ユーサ゛ に訊けばよい。