サブエージェントによる文脈の分離

サブエージェントの模型（定義 5.2） で次が成り立つ。

1. 親の文脈の増加は $|\mathrm{call}(q)| + |\mathrm{res}(a, \mu)|$ で、子が読み込んだ量 $X$ に依らない。
2. 子から親へ渡る文字列は $\mathrm{res}(a, \mu)$ だけである。子が読んだ内容のうち、$a$ に書かれなかったものは親のメッセージ列に現れない。
3. 親の 2 つの履歴 $M_1 \ne M_2$ から、同じ課題の文 $q$、同じ構成 $z$、同じ環境 $E$ で子を呼ぶと、子の最終の応答は同じである。すなわち、子の出力は、親の会話の内容に $q$ と $E$ を通してしか依存しない。