Natural Language Inference from Multiple Premises
SemEval-2012 Task 6: A Pilot on Semantic Textual Similarity