The SNLI dataset (Bowman et al., 2015) contains inference problems requiring phrasal knowledge.
it is not concerned with logically challenging expressions; the semantic relationships between a premise and a hypothesis are often limited to synonym/hyponym lexical substitution, replacements of short phrases, or exact word matching.