CLASS TEST #3									6-4-05

Give two semantically distinct syntactic derivation trees for the sentence “Every cat hates some mouse”. [Hint: the derivations should be non-trivial in the sense that they should not differ merely in terms of the variables used.] 

Complete the model below ensuring that one of the derivation trees comes out to be true with respect to the completed model, but not the other. 

M = <A,F> where,

	A = {a,b,c,d}
	F(cat) = {a,b}
	F(mouse) = {c,d}
	F(hates) = {<a,c>, <b,d>}

Every cat hates some mouse

cat			v1 hates some mouse

		mouse			v1 hates v2

				v1			hates v2

						v2		hates

Every cat hates some mouse

mouse			every cat hates v2

		      cat			v1 hates v2

				v1			hates v2

						v2		 hates