Even if matching scores could convey the phrase-level entailment degree to some extent, matching weights, in fact, are not leveraged to make the entailment decision directly; instead, they are used to weight the sum of the output hidden states of a convolution as the global sentence representation.
fine-grained entailment degrees are likely to be lost in the summation of many vectors.