With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Atlantis is on a construction mission to the International Space Station .
text_B: International Space Station is a location
entailed.