Periodically, I like to suggest tools that could be built around the miUML hub. Any logicians out there interested in building a tool that scans an miUML class model and generates a list of natural language rules? A class diagram is an expression of second order logic and the class names / verb phrases / referential-identifier constraints and multiplicities should provide plenty to work with.
For example, the Polymorphism class diagram, posted below, states that a Polymorphic Event Specification may not be created on an Assigner State Model. A bit of deduction is required to derive that rule, but it is there nonetheless.
Something like this would be useful for requirements documentation, model evaluation and a great training resource for learning how to model rules in data.