With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: A jukebox musical is a stage musical that uses previously released popular songs as its musical score.
text_B: A jukebox musical is a stage or film musical that uses previously released popular songs as its musical score.
neutral.