Yeah, this stuff is done with what basically amounts to an annotated typed logic: http://en.wikipedia.org/wiki/Focus_(linguistics)