Necessity

  1. Negation as failure - Note: This is not a core term and has a fairly clear interpretation. Hence need not be in the this lexicon.