≡ Equivalent Spans
Evidence span contradicts the claim span
(cid:9) Claim span follows from evidence span
(cid:9) (Insert) New information from evidence
(cid:11) Incomplete Evidence
(cid:2)
(cid:2)

Evidence span refutes claim span
Claim span negated (Deletion)
Unrelated claim span and evidence span
No related evidence found (Deletion)

Table 6: NatOPs and the corresponding para-
phrases.
ProoFVer- Natural Logic Theorem Proving for Fact Verification