https://123dok.net/document/z3dl09r9-string-meaning-relations-definable-lambek-grammars-context-grammars.html