Съществително име - мн. ч. членувано
Думата е производна от отрицание
Съществуват редица вариации на този случай, например, когато тялото е съставено от отрицанията на атомарни формули (отрицателни Хорнови клаузи). Източник: интернет