context, fact(s), goal

これらの意味がわかればだいぶスッキリすると思うのだが、

• これは論理学の言葉ではない。
• ソフトウェア実装系やそのアルゴリズムを語るときの言葉。
• したがって、非宣言的、手続き的、スクリプト的
• ウェンツェルは、手続き的・スクリプト的な説明を避けている（文書指向だから）
• だが、避けきれない。そもそも、ウェンツェルのメンタルモデルが手続き的・スクリプト的な気がする。
• 本音と建前の乖離から、意味不明な説明。
• 1980年代、90年代の資料にあたったほうがいいのかも知れない。