Auto correct logic

All we know about syntax correction like iWork, word do. But what if go deeper and create logic correction in specific field. For example sun is green. Sometimes it is correct but in most cases it is wrong so program can make advice to you.