Translate the following argument into symbolic form. The letters to be used for the simple statements are given in parentheses.

If asbestos workers sue their employers $($S$),$ then if punitive damages are awarded $($P$),$ then their employers will declare bankruptcy $($B$).$ If asbestos workers sue their employers, then punitive damages will be awarded. If asbestos workers contract asbestosis $($C$),$ then either they will sue their employers or their employers will declare bankruptcy. Therefore, either asbestos workers will not contract asbestosis or their employers will declare bankruptcy.