For Each of the Following Sentences, Select the Best Translation $\lor$

For each of the following sentences, select the best translation into predicate logic, using the given constants and predicates.
-If Carla works for an airline, then Darlene doesn't.

A) Ad $\lor$ ∼Ac
B) Ax ⊃ ∼Ay
C) Ac ≡ ∼Ad
D) Ac • ∼Ad
E) Ac ⊃ ∼Ad