構文解析器

一階述語論理まで対応した構文解析器です。TypeScriptで実装されています。ソースコード

構造

論理式

標準形論理式

設定

単語境界
否定開始
否定終止
単独否定
孤立限定詞
新規限定詞		キー
継続限定詞		キー
前置詞		格
関係詞		格
述語

辞書