根拠のある命題

環境の有限列 $(s_1, \ldots, s_m)$ が導出列であるとは、各 $i$ について

• $s_i \in B$ であるか、
• $s_i \in P$ かつ $\mathrm{prem}(s_i) \subseteq \{s_1, \ldots, s_{i-1}\}$ である

ことをいう。ある導出列の成分として現れる環境を根拠のある環境といい、その全体を $\mathrm{Gr}(K)$ と書く。$\mathrm{Gr}(K)$ を求めることを依存の閉包の計算という。依存グラフ $G_K$ の有向閉路を循環論法という。