مايكروسوفت وورد
وقد استند هذا النظام إلى هياكل الحجج المسندة الدلالية المعروفه بالأشكال المنطقية، وتم نسجها من ميزة التصحيح النحوي التي تم تطويرها لبرنامج مايكروسوفت وورد. وقد استخدم هذا النظام في نهاية المطاف لترجمة قاعدة معارف مايكروسوفت بأكملها إلى الإسبانية والفرنسية والألمانية واليابانية.