[kisoron-ml] non-commutative linear logic in linguistics