Rule-Based Document Checking