With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: The "Domesday Book" of 1086 notes that 'a church is there' but no other records of that building remain.
text_B: The "Domesday Book" of 1086 notes that 'a church is there' but every other records of that building remain.
contradiction.