With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Sara is the child of Jonathan. Steve is the child of Jonathan. Donna is the child of Jonathan. Claire is the child of Jonathan. Bob is the child of Jonathan.
text_B: Jonathan has atleast 5 children.
entailment.