it ' s a contradiction - no , it ' s not : a case study using functional relations .
Natural Logic for Textual Inference