Logical View Checks An MPS language to add support for adding info, warning and error messages to the logical view.