3a then provides a refined entailment model for H, in which the second term specifies the probability that H uc is entailed given that H c is validly entailed and the corresponding lengths: The difficulty in estimating the θ R values is that these are term-level parameters while the RTEtraining entailment annotation is given for the sentence-level.
accordingly we plan to explore relaxing this strict conjunctive behavior through models such as noisy-aND (Pearl, 1988).