We will have to write 2 rules to handle such cases. usually the concern is we will not come to know when an employee gets separated/terminated that we will have to find out and accordingly we will have to generate quota with prorated value. It is possible to generate quota with the help of time types.
Regards
Venkatesh