With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Every customer who owns a computer has a service contract for it. MFI is a customer that owns several computers.
text_B: MFI has a service contract for all its computers.
entailment.