https://123dok.org/document/dzxndmvq-non-associative-lambek-calculus-logic-linguistic-computational-properties.html