(2015) study the characteristics of linguistic relations that may signal entailment or contradiction at subsentential level.
there are two possible types of axioms that can be created: either entailing axioms ∀θ.p , where θ = θ j ∪ θ i is the union of variable names occurring in θ j and θ i .