I have these two sentences:
Blonde girls have some dolls
Only blonde girls have some dolls
and I have reached the same point: ∀x (G(x)∧B(x)→ ∃y (H(x, y)∧D(y)) ) where
G (x) -> x is a girl
B (x) -> x is blonde
H (x, y) -> x has y
D (x) -> x is a doll
I've been thinking about it for a while. What do you think? Are we talking about the same? Thanks.