Este documento describe la teoría semántica dentro del marco de la gramática generativa transformacional. La semántica busca especificar las propiedades significativas de las expresiones en cualquier lenguaje natural y describir formalmente la relación entre la forma de las oraciones y su significado o función. La semántica también intenta relacionar el significado de las oraciones con sus estructuras sintácticas y los significados de sus elementos léxicos a través de reglas gramaticales.