With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: The animated film Minions is the thirteenth highest-grossing film of all time .
text_B: The animated film Minions has grossed over USD 1.1 billion worldwide , out grossing each of the Despicable Me films , making it the thirteenth highest-grossing film of the 1990s , the second-highest-grossing animated film , and the highest-grossing non-Disney animated film .
REFUTES.