As mentioned, in order to detect the subject-predicate semantic mismatch, many rules on the lexical level must be written.
the more lexical rules we have, the better is the the performance of the Controlled Korean Checker, hence Korean-English MT system expected to be.