With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: Robinson said the emergency order allowed the ISO to secure refunds should overcharges for electricity be proven to federal officials .
text_B: The allowing happened
entailed.