Forgive me for putting this down on paper - it's a question really:
5700 vote to strike but only 5000 ever will. Of the 5000, 2000 are part time at an average of 50%. Everyone is rostered for flying duties 50% of available time on any given day ( a complete guess ).
Strikers rostered to fly on a given day =
[(5000-2000) + (2000x50%)]x50% = 2000
Is that about right?