With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: After World War II , a Republic of Korea ( ROK ) was set up in the southern half of the Korean Peninsula while a Communist-style government was installed in the north ( the DPRK ) .
text_B: Korean is a person 's given name
not-entailed.