However, despite the expectation that all entailment matters can be explained logically, our observation is that currently logical inference only fills very limited short gaps from T to H. The logical phenomena easily addressed by <cite>Tian et al. (2014)</cite> Table 2 : Proportion (%) of exit status of Prover9