With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: GFI owns several computers. ITEL maintains them.
text_B: ITEL maintains all the computers that GFI owns.
entailment.