"Some boys in the class are taller than all the girls"
I tried in the following way :
As it says that some boys are there, means that atleast 1 boy is there who is taller than all the girls .
I think that its propositional logic can be :-
$(∃x)(boy(x) ∧ (∀y)(girl(y) \rightarrow taller(x,y)))$
Here 1st AND shows that a boy is must, which implies that at least one boy should be there and 2nd IMPLIES shows that even if class does not have any girl, the property holds good.
Am I right here ?