With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: It is Mr. Gadhafi 's first trip to France since 1973 .
text_B: Gadhafi is an artefact
not-entailed.