[logic-ml] string diagrams for linguistics