Label: contradiction lem (MacCartney and Manning, 2008;Heilman and Smith, 2010).
in a local inference module, we update the sentence representation by using the local inference information, based on the attention of the other sentence.