Нет, ну понятно, что фреймворк берется из грамматики, но, по идее, ничего содержательного. Даже если бы не было аппарата грамматик, как-нибудь справились бы на суровой логике (не теории логики, а логике)).