As described in more detail in Section 2, these transformations do not necessarily capture the syntactic structure of entailment-preserving transformations.
a rich inventory of knowledge-based operations was employed by Bar-Haim et al.