What does "s(m,n) = d has n" mean?

Concerning the order of quantifiers, it is true that for every person x there exists a person y such that y is the mother of x. However, it is not true that there exists a person y such that for every person x it is the case that y is the mother of x.