個体定項へのDの要素の割り当て

個体定項へのDの要素の割り当ては、定項記号を議論領域Dの一要素へ写像する解釈の一部である。式の真偽は記号列だけでなく、Dとこの割り当てに依存する。

仕組みと確認

Dの要素と定項の対応表を作り、異なるモデルで同じ式を評価する。実システムでは、IDから実体への参照、存在期間、権限範囲、削除済み対象の扱いを同じように検証する。

限界と注意点

Dが空でないこと、割り当てが一貫していること、関数の値がD内に戻ることなどの前提を記録する。現実のデータでは参照切れや遅延もモデル化する。