I'm not sure what you mean. Alpha 1 is there for the first encounter of the Ravana and Sathanas. Also the Astaroth fighters.
What i'm saying is that seafaring tradition is that the first ship of a class gives the name to the entire class (Nimitz-class, Iowa-class, Ravana-class etc.) assuming that tradition has been kept, which is also true with the Lucifer, then alpha 1 never encouters the SC Cain, SC Lillith, SC Rakshasa, SCv Moloch, SD Demon, which, if this theory holds up, were the first ships of said classes to be encountered/named by the GTVA. I'm not mentioning fighters as, to my knowledge, dont have specific names, making them, for the purposes of my argument, irrelevant. im just talking big-arsed capital ships