Anhow, the main issue about choice functions is that it can be used for almost any thing in semantics. Hamblin approaches, according to what I heard from the more experienced folks, began with questions. Then in recent years Kratzer and many others have applied them to the semantics of scope.

But, for me, the obvious application of Hamblin approach would firstly be binding/linking theory. It seems that there have already been some attempts to do so. (Anyone correct me if I’m wrong, please).

To my dismay, however, people still insist in separating binding from control. I love syntax though, I dislike a syntactic configuration solution for binding and control. A choice function solution is more agreeable to my theoretic intuitions.