With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Sri Lanka 's air force says it has attacked a Tamil Tiger boat yard , destroying attack craft used by the rebels .
text_B: Lanka is a geographical/political entity
entailed.