With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: The two countries severed ties in 1983 after North Korean agents carried out a bombing in Rangoon that killed more than 20 people during a visit by South Korean President Chun Doo-hwan .
text_B: President is an artefact
not-entailed.