the ex- A pressions in this list are not well-formed sentences. Turn them into sentences, but this time, do it only by adding quantifier symbols or variables, or both. Do not add any parentheses.

-Adjoins (y, y) 1. ; You can make this a sentence by adding a single ; quantifier (and variable). 2. (Tet(w) Large(w)) :Here, too. Tet(a)Large(w) ;put the quantifier in the right place. Tet(w) Large(w) ; Remember, you can't add parentheses. Large(x)--Larger(y, x) 3. ; Since you can't add parentheses, you'll have to 4. ; How many quantifiers do you need here? 5. 6. ((Cube(x) ^ Cube(y)) -Larger(x, y)) V Cube(a) :Remember, you are only to add quantifiers or 7. ; variables or both. No changing the "a". The ; resulting sentence is odd, but we'll explain what it means later. Tet(y) Small(x) ; The quantifier here is not doing anything. It :doesn't bind the y (wrong variable) and it ; doesn't bind the x (wrong scope). 8. 9. ((Tet(x) A Tet(y)) Between(z, x, y)) 10. (Tet(x) A Large(x)) A LeftOf(x, y) -Adjoins (y, y) 1. ; You can make this a sentence by adding a single ; quantifier (and variable). 2. (Tet(w) Large(w)) :Here, too. Tet(a)Large(w) ;put the quantifier in the right place. Tet(w) Large(w) ; Remember, you can't add parentheses. Large(x)--Larger(y, x) 3. ; Since you can't add parentheses, you'll have to 4. ; How many quantifiers do you need here? 5. 6. ((Cube(x) ^ Cube(y)) -Larger(x, y)) V Cube(a) :Remember, you are only to add quantifiers or 7. ; variables or both. No changing the "a". The ; resulting sentence is odd, but we'll explain what it means later. Tet(y) Small(x) ; The quantifier here is not doing anything. It :doesn't bind the y (wrong variable) and it ; doesn't bind the x (wrong scope). 8. 9. ((Tet(x) A Tet(y)) Between(z, x, y)) 10. (Tet(x) A Large(x)) A LeftOf(x, y)