With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Trade unions may be formed with seven or more members, although those in military service or in management positions may not form unions.
text_B: Trade unions may be formed with more members, although those in military service or in management positions may not form unions.
entailment.