In general, declarative sentences have a logical form of type t. Question sentences generally have functional types.
this approach has been integrated with a speech recognizer and shown to be robust to recognition errors (He and Young, 2006).