With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: The following list contains the aircraft used by the Royal Danish Air Force or its predecessors, the Danish Army Air Corps and Royal Danish Naval Aviation.
text_B: The following list contains the aircraft used by its predecessors, the Danish Army Air Corps and Royal Danish Naval Aviation.
entailment.