With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Steve is the child of Frederick. Ed is the child of Frederick. Susan is the child of Frederick. Ellen is the child of Frederick. Amanda is the child of Frederick.
text_B: Frederick has atleast 5 children.
entailment.