NML3. A Non-Monotonic Logic with Explicit Defaults