With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Four girls are sitting in the grass while several men stand near them.
text_B: Four girls are sitting in the grass while several men lie near them.
contradiction.