With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Ken is the child of Frances. Donald is the child of Frances. Jonathan is the child of Frances. Dick is the child of Frances. Jessica is the child of Frances.
text_B: Frances has atleast 5 children.
entailment.