Веришь 自然言語のような推論のための言語です。下の述語論理に相当、組み込みフレームワークの定義と略語を使用の追加原則は自動的に拡張することができます推論の推論の唯一の基本的な原則を使用する手順のシーケンスに導入しています。それはチェック機能、基本的な推論を持ち、推論にのみ基本的な原則を使用して手順のシーケンスに 1 つの追加原則を自動的に展開することができます。それも HTML マークアップを表示のための証拠を Web ページとして追加することができます。