Semantic_checks for PRE Messages.