Translate the following English sentences into symbolic logic propositions. All variables are quantified over the set of all dragons (in some unspecified fantasy universe). Use the following predicates.
- R(x): dragon x is a red dragon
- G(x): dragon x is a green dragon
- F(x): dragon x flies
- B(x): dragon x breathes fire
- P(x): dragon x is poisonous
- D(x, y): dragon x has beaten dragon y in a duel
a) Eliott is a flying green dragon.
b) All red dragons can breathe fire.
c) There is a green dragon which is not poisonous.
d) There is no dragon that has beaten every red dragon in a duel.
e) Every flying dragon has beaten some non-flying dragon in a duel.