This system was based on semantic predicate-argument structures known as logical forms (LF), and was spun from the grammar correction feature developed for Microsoft Word.
See süsteem põhines semantilisel predikaat-argument-struktuuril (tuntud ka kui loogilised vormid) ja saadi Microsoft Wordi jaoks välja töötatud õigekirja parandamise funktsioonist.