I like https://quillbot.com/grammar-check for grammar checking, it's much more than just a spell check- it can improve your writing, it's not a copywriting tool.
Thus, it would be logical to assume that everything, what can be implemented on a computer could also be implemented in the form of predicate logic, more information at https://www.thoughtsmag.com/list.... Although it does not say anything about how long. To achieve greater expressiveness of the logical approach allows such a relatively new direction as fuzzy logic.