私は始めたばかりで、仮説を追加する方法があるかどうか興味があります。(assert ...) を使用することは私が望んでいることではありません。私のアプリケーションでは、仮定が偽であることが許される場合があるため、すべてが満足できるものになるはずです。(assert (implies assuralsumption contract)) などの含意を使用できることはわかっていますが、多くの仮定がある場合、すべての主張を含意に変換するのは不器用に思えます。大まかに次のような相互作用モデルが欲しい
（推定 ...）
...
（推定 ...）
（主張する ...）
...
（主張する ...）
(チェックサット)