https://1library.net/document/zlg3j4ly-a-tractable-extension-of-linear-indexed-grammars.html