With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: The Health Maintenance Organization Act of 1973 required employers with 25 or more employees to offer federally certified HMO options if the employer offers traditional healthcare options.
text_B: The Health Maintenance Organization Act of 1973 required employers with more employees to offer federally certified HMO options if the employer offers traditional healthcare options.
entailment.