GUST est une modélisation mathématique de la théorie Sens-Texte. Elle s'inspire des grammaires d'unification comme HPSG et des grammaires d'arbres comme TAG. La correspondance entre deux niveaux de représentation linguistique est vue comme la combinaison (par unification) de portions de structure produit interprétées comme des signes linguistiques. Nous donnerons également un nouvel éclairage sur le niveau syntaxique profond, vu ici comme la structure de dérivation de la correspondance entre niveaux sémantique et syntaxique de surface.