Verification and normalization of sentences