関数 staticConditionTruth

条件（14節）が、定義だけから真と分かるか・偽と分かるか。どちらとも言えなければundefined。

読めるのは型が定まっている起点のプロパティ比較と型の合致だけで、他の葉——相手の持ち物・ スロットの中身・段の刻み——は判定せずに素通しにする。解析の側にゲームの実行を作り込むと、 同じ規則の実装が2つになって食い違い始めるため。どの起点の型が定まるかはsubjectが答える。