Automated Analysis of Natural Language Properties for UML Models