With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: Gibraltar 's ranking of players with the most goals was updated after 20 September 2018 .
text_B: As of 13 October 2018Players with an equal number of goals are ranked in order of average .
SUPPORTS.