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