👤

Translate the following into smooth, accurate, and idiomatic English, using the same abbreviation scheme above:

1. ∃x[Sx& (Lx∨Wx)]

2. ∀x[(Sx& Lx)→(∃yWy→Wx)]