https://123dok.net/document/yr304118-a-study-on-learnability-for-rigid-lambek-grammars.html