Pour être utilisable dans le cadre d'un langage naturel, cet analyseur doit être suffisamment général, c'est-à-dire capable de traiter des langages dépendants du contexte. Cela implique que la tête des règles de grammaire peut avoir plusieurs symbôles. Pour effectuer l'analyse sémantique en parallèle, chaque symbôle peut avoir plusieurs arguments qui, au fur et à mesure de l'analyse, seront unifiés avec les arguments de même nom apparaissant dans la partie droite de la règle. Les actions sémantiques apparaîtront en partie droite de règle, entre accolades. Pour éviter le problème des règles récursives à gauche et pouvoir s'adapter facilement aux grammaires catégorielles, l'analyseur sera ascendant. Pour l'analyse lexicale, on programmera un prédicat qui sera appelé par l'analyseur syntaxique.