Or you could just look at the info and graphs comparing us to the industry the union has sent out multiple times already...
Are spirit and allegiant on their? Yep. How about United, Delta, American, JetBlue, and Southwest? Yeah those are there too. Looks like they've got all US narrowbody scheduled 121 operators on the charts. No cargo airlines.