I’ve been out of this for a while… From Gerhard Brewka: Nonmonotonic
reasoning: Foundation of Commonsense, I see

        T u ASS(T) |- p
 where  ASS(T) := { not q | q is atomic and not T |- q}

how do I read it?

Thanks,
—
-roffe
rolf.lindg…@usit.uio.no