With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Teodoro heard that a man who wanted to sing in church was wondering if he should inquire
text_B: Teodoro heard a pun
entailed.