contradiction, instead of entailment (de Marneffe et al., 2008).
according to our best knowledge, the detailed comparison between these strategies has not been fully explored, let alone the impact of the linguistic motivation behind the strategy selection.