Hi all. Does anybody would help me with my question with predicates?

Let p(x, y) denote the predicate "x <= y" and let q(x, y) with domain of denition N x N.

For all x For all y For all z ((p(x,y) ^ p(y,z) -> p(x,z))

I need to translate this into good english and say if it's right or false. So thats what i did:

For all x, y and z natural numbers if number y is bigger or equal to x and if number z is bigger than y than z is bigger than x.

Please somebody help me I'm getting confused with this z and how can i state whether the proposition is true?

Regards