# KB implication vs and

i m doing KB from sentence to model.

I m stuck on this sentence that say this :

The packages stored in room1 are smaller than those stored in room 2.

I m created this vocabulary

• Package X
• Stored(X,Y)
• Room Y1
• Room Y2
• Smaller(X,Z)

and I wrote this sentence in this ways but i have some doubts:

1 - $$\forall y P(y) \land stored(y, R2) \implies \forall x P(x) \land stored(x,R1) \land smaller(x,y)$$

2- $$\forall y \forall x P(x)P(y) \implies stored(y, R2) \land stored(x,R1) \implies smaller(x,y)$$

and for the second sentence I m confused if I can substituite first implication with and predicate in this way

$$\forall y \forall x P(x)P(y) \land stored(y, R2) \land stored(x,R1) \implies smaller(x,y)$$

that sound more correct.

Can someone tell me if I'm wrong?