What semantic type should the word gave have to allow its ditransitive uses as in:
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?