Text this: An enhanced UML consistency checker using logical approach