組合せ範疇文法(CCG)と高階動的論理に基づき「日本語の言語現象に対する網羅性」「計算機で扱うのに充分な形式的厳密性」「活用体系・統語構造・意味合成に亘る理論的統合性」を同時に満たす日本語文法を構築・提示する試み。