# How do you symbolize Only A's are B's with an every in it

So I have this FOL question with the following key:

A-forall

E-there exist

|-or

&-and

F(x):x is a footballer

S(x): x is a swimmer

H(x,y):x is more lazy than y

Now, we were asked to represent "Only basketballers and footballers are more lazy than every swimmer". I interpreted it as an Only A's are B's situation and according to what I know, you represent that by Ax(B(x)->A(x)).

So that is what I did. Ax( (B(x)|F(x)) -> Ay(S(y) -> H(x,y)) ). The system said it is wrong. I switched it around to 'if you are an swimmer and there exists someone more lazy than you, then that person is either a footballer or a basketballer'. Still wrong

It has been downhill form there. I have checked every other way I can think about this. Nothing is working. I thought the every was the issue but I have checked like three textbooks and none of them that have a part on symbolizing "every" has done anything other than a forall.

Is there something I am missing?