View the step-by-step solution to:


What semantic type should the word gave have to allow its ditransitive uses as in:

(a) Jones

gave Smith the poison

(b) Jones gave the poison to Smith

Give an appropriate lambda term naming a function in that type for [[gave]].

Is there a significant difference between the two word orders given above?

Is there a semantic value that could be assigned to "to" that would make the value more clear?

Recently Asked Questions

Why Join Course Hero?

Course Hero has all the homework and study help you need to succeed! We’ve got course-specific notes, study guides, and practice tests along with expert tutors.

  • -

    Study Documents

    Find the best study resources around, tagged to your specific courses. Share your own to gain free Course Hero access.

    Browse Documents
  • -

    Question & Answers

    Get one-on-one homework help from our expert tutors—available online 24/7. Ask your own questions or browse existing Q&A threads. Satisfaction guaranteed!

    Ask a Question
Ask Expert Tutors You can ask You can ask ( soon) You can ask (will expire )
Answers in as fast as 15 minutes