Diapositive PPT
PC-Patr utilise un trait (interne) cat. Ce trait correspond soit à la catégorie des composants si celles si est connue : ainsi un GN aura un trait cat égale à GN.
Il est toutefois possible d'exprimer des règles dans lesquelles les non-terminaux sont eux-mêmes variables. Il est essentiel alors que la propagation du trait cat figure explicitement dans la règle:
RULE X_1 --> X_2 X_3 {Règle hors contexte}
; contraintes catégorielles
; contrainte d'unification des traits
<X_2 genre> = <X_1 genre>
; percolation de trait1 au niveau du composé
<X_1 genre> = <X_3 genre>