Corrected content model of negation for extended logic programs supporting naf-neg