With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: Mangini replaced Mike Portnoy as the drummer of Dream Theater in April 2011 .
text_B: Mangini joined the progressive metal band Dream Theater in April 2011 , replacing the founding drummer Mike Portnoy .
SUPPORTS.