Logic tool idea

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.