Модель получит множество доработок и изменений направленных на улучшение производительности и борьбы с ошибками. Так же разработчики подтянули базы данных модели и теперь она будет способна конкурировать с reasonerами в областях вроде ядерной физики.