Consider the Following Domain, Assignment of Objects in the Domain $\lor$

Multiple Choice

consider the following domain, assignment of objects in the domain, and assignments sets to predicates.
Domain = {Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, Neptune, Pluto}
P = {Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, Neptune}
I = {Mercury, Venus}
O = {Mars, Jupiter, Saturn, Uranus, Neptune}
a = Mercury b = Jupiter c = Saturn
d = Pluto
-Given the customary truth tables, which of the following theories is modeled by the above interpretation?

A) Ia • (Ob • Oc)
(∀x) (Ix $\lor$ Ox)
∼(∃x) (Ix • Ox)
B) Ia • (Ib • Oc)
∼(∀x) (Ix $\lor$ Ox)
∼(∃x) (Ix • Ox)
C) Ia • (Ob • Oc)
(∀x) (Ix $\lor$ ∼Ox)
∼(∃x) (Ix • Ox)
D) Ia • (Ob • Oc)
∼(∀x) (Ix $\lor$ Ox)
∼(∃x) (Ix • Ox)
E) Ia • (Pb • Od)
∼(∃x) (Ix $\lor$ Ox)
∼(∃x) (Ix • Ox)