Select the best English interpretation of the given proposition, using the following translation key: Ax: x is an apartment Hx: x is a house Lx: x is large Bxy: x is bigger than y (∀x){(Lx • Ax) ⊃ (∃y)[(Hy • ~Ly) • Bxy]}
(A)All large apartments are bigger than all houses that are not large. (B)Some house that is not large is bigger than all large apartments. (C)Any apartment bigger than a house that is not large is large. (D)Every large apartment is bigger than some house that is not large.
D