With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Civilian rule was not restored until 1985 .
text_B: 1985 is a calendar year
entailed.