Embedding negation as failure into minimal knowledge