Defeasible NLI

anchor

Note

written δ-NLI in the source; the Greek prefix does not survive name folding, so it is recorded here rather than in the name, where it collided with α-NLI