With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: The astronauts attached the robot , called Dextre , to the U.S. laboratory Destiny , at the space station Tuesday .
text_B: Dextre is an artefact
entailed.