Les équations associées aux règles de grammaire permettent l'unification de frames ou de sous frames.
Il faut donc pouvoir spécifier les frames à extraire puis les unifier.
On utilise la syntaxe F:[liste d'attributs].
Par exemple, F:[sujet,predicat] signifie que l'on utilise la valeur du champ predicat
du frame contenu dans le champ sujet du frame F.
On introduit alors l'opérateur @= qui permet de parcourir la liste des attributs et d'extraire le bon frame.
Les équations s'écriront de la manière suivante :
F:[liste]@=G :[liste], sachant que la liste est facultative (F est équivalent à F:[])