An Approach to the Detection of Semantic Errors