A-2-8.4. La classification évolutive est en marche
A-2-8.4.1. Recherche des comportements partagés et individuels par deux prototypes de mot sélectionnés
--> Comportements Syntaxiques Partages par les 2 Prototypes <pontage|Nom><lesion|Nom> :
--------<Comp0>----------------
Arbre Cat : NAdj
Arbre Composants : a list('Nom', 'Adj')
Arbre Ordre Composants : a list('Nom', 'Adj')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : NAdj -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : NAdj -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
-------------------------------
================================================================
-------------------------------------------
Description du pole de comportements
partages construit
-------------------------------------------
================================================================
------------------------------------------------------------------
Arbres d'Analyse associes aux Mots <lesion & pontage>.
------------------------------------------------------------------
------------------------------------------------------------------
Mot :pontage|Nom
------------------------------------------------------------------
Arbre Elementaire
Ae Cat:NAdj
Ae Role:ElemTree
Ae Composants:a list('Nom', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : NAdj -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : NAdj -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:Sn
Al Role:ParseTree
Al Composants:a list('Det', 'NAdj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Sn -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Sn -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Det -> pas de contrainte de type definie
Type sur Arbre(feuille1) : NAdj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Det -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : NAdj -> pas de contrainte de traits definie
------------------------------------------------------------------
------------------------------------------------------------------
Al Cat:SAdj
Al Role:AuxTree
Al Composants:a list('Adj', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : SAdj -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : SAdj -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Adj -> pas de contrainte de type definie
Type sur Arbre(feuille1) : AdjPivot -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Adj -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : AdjPivot -> pas de contrainte de traits definie
------------------------------------------------------------------
--------------------------------------------
Premier type d'Arbre d'analyse sur ce Pole
--------------------------------------------
------------------------------------------------------------------
Mot :lesion|Nom
------------------------------------------------------------------
Arbre Elementaire
Ae Cat:NAdj
Ae Role:ElemTree
Ae Composants:a list('Nom', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : NAdj -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : NAdj -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:Sn
Al Role:ParseTree
Al Composants:a list('Det', 'NAdj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Sn -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Sn -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Det -> pas de contrainte de type definie
Type sur Arbre(feuille1) : NAdj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Det -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : NAdj -> pas de contrainte de traits definie
------------------------------------------------------------------
------------------------------------------------------------------
Al Cat:SAdj
Al Role:AuxTree
Al Composants:a list('Adj', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : SAdj -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : SAdj -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Adj -> pas de contrainte de type definie
Type sur Arbre(feuille1) : AdjPivot -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Adj -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : AdjPivot -> pas de contrainte de traits definie
------------------------------------------------------------------
-------------------------------------------
Arbre d'analyse deja rencontre sur ce Pole
-------------------------------------------
================================================================
--> Ensemble des Comportements Syntaxiques des 2 Prototypes <pontage|Nom><lesion|Nom> :
--------<Comp0>----------------
Arbre Cat : N1PrepNPivot
Arbre Composants : a list('Nom', 'Prep', 'Nom')
Arbre Ordre Composants : a list('Nom', 'Prep', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : N1PrepNPivot -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : N1PrepNPivot -> gradable:= -
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Prep -> pas de contrainte de type definie
Type sur Arbre(feuille2) : NomPivot -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Prep -> pas de contrainte de traits definie
Traits sur Arbre(feuille2) : NomPivot -> gradable:= -
-------------------------------
--------<Comp1>----------------
Arbre Cat : NAdj
Arbre Composants : a list('Nom', 'Adj')
Arbre Ordre Composants : a list('Nom', 'Adj')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : NAdj -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : NAdj -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
-------------------------------
--------<Comp2>----------------
Arbre Cat : N1PrepNPivot
Arbre Composants : a list('Nom', 'Prep', 'Nom')
Arbre Ordre Composants : a list('Nom', 'Prep', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : N1PrepNPivot -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : N1PrepNPivot -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Prep -> pas de contrainte de type definie
Type sur Arbre(feuille2) : NomPivot -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Prep -> pas de contrainte de traits definie
Traits sur Arbre(feuille2) : NomPivot -> pas de contrainte de traits definie
-------------------------------
A-2-8.5.2. Construction d'un réseau de comportements partagés sur les prototypes d'arbre élémentaire
Construction d'un Réseau de Comportements partagés sur les Ae de catégorie: Nom
================================================================
Liste des prototypes partageant les memes Comportements:
--------------------------------------------------------
--------<Proto0>----------------
Arbre Cat : Nom
Arbre Composants : a list('Nom', 'Adj')
Arbre Ordre Composants : a list('Adj', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> aff-loc
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> gradable:= -
-------------------------------
--------<Proto1>----------------
Arbre Cat : Nom
Arbre Composants : a list('Nom', 'Adj')
Arbre Ordre Composants : a list('Adj', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> aff-loc
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> gradable:= -
-------------------------------
--------<Proto2>----------------
Arbre Cat : Nom
Arbre Composants : a list('Nom', 'Adj')
Arbre Ordre Composants : a list('Adj', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> aff-loc
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> gradable:= -
-------------------------------
--------<Proto3>----------------
Arbre Cat : Nom
Arbre Composants : a list('Nom', 'Adj')
Arbre Ordre Composants : a list('Adj', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> aff-loc
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> gradable:= -
-------------------------------
================================================================
-------------------------------------------
Description du pole de comportements
partages construit
-------------------------------------------
================================================================
------------------------------------------------------------------
Arbres d'Analyse associes aux Arbres de ce Pole.
------------------------------------------------------------------
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:Adj
Al Role:AuxTree
Al Composants:a list('Adj', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Adj -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Adj -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : AdjPivot -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : AdjPivot -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
------------------------------------------------------------------
--------------------------------------------
Premier type d'Arbre d'analyse sur ce Pole
--------------------------------------------
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:Adj
Al Role:AuxTree
Al Composants:a list('Adj', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Adj -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Adj -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : AdjPivot -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : AdjPivot -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
------------------------------------------------------------------
-------------------------------------------
Arbre d'analyse deja rencontre sur ce Pole
-------------------------------------------
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:Adj
Al Role:AuxTree
Al Composants:a list('Adj', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Adj -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Adj -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : AdjPivot -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : AdjPivot -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
------------------------------------------------------------------
-------------------------------------------
Arbre d'analyse deja rencontre sur ce Pole
-------------------------------------------
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:Adj
Al Role:AuxTree
Al Composants:a list('Adj', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Adj -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Adj -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : AdjPivot -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : AdjPivot -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
------------------------------------------------------------------
-------------------------------------------
Arbre d'analyse deja rencontre sur ce Pole
-------------------------------------------
================================================================
================================================================
Liste des prototypes partageant les memes Comportements:
--------------------------------------------------------
--------<Proto0>----------------
Arbre Cat : Nom
Arbre Composants : a list('Quant', 'Nom')
Arbre Ordre Composants : a list('Quant', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Quant -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Nom -> aff-loc
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Quant -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Nom -> pas de contrainte de traits definie
-------------------------------
--------<Proto1>----------------
Arbre Cat : Nom
Arbre Composants : a list('Quant', 'Nom')
Arbre Ordre Composants : a list('Quant', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Quant -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Nom -> aff-loc
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Quant -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Nom -> pas de contrainte de traits definie
-------------------------------
================================================================
-------------------------------------------
Description du pole de comportements
partages construit
-------------------------------------------
================================================================
------------------------------------------------------------------
Arbres d'Analyse associes aux Arbres de ce Pole.
------------------------------------------------------------------
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:NAdj
Al Role:AuxTree
Al Composants:a list('Nom', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : NAdj -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : NAdj -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
------------------------------------------------------------------
--------------------------------------------
Premier type d'Arbre d'analyse sur ce Pole
--------------------------------------------
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:NAdj
Al Role:AuxTree
Al Composants:a list('Nom', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : NAdj -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : NAdj -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
------------------------------------------------------------------
-------------------------------------------
Arbre d'analyse deja rencontre sur ce Pole
-------------------------------------------
================================================================
================================================================
Liste des prototypes partageant les memes Comportements:
--------------------------------------------------------
--------<Proto0>----------------
Arbre Cat : Nom
Arbre Composants : a list('Nom', 'Adj')
Arbre Ordre Composants : a list('Adj', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> aff-loc
Type sur Arbre(feuille1) : SP -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> gradable:= -
-------------------------------
--------<Proto1>----------------
Arbre Cat : Nom
Arbre Composants : a list('Nom', 'Adj')
Arbre Ordre Composants : a list('Adj', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> aff-loc
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> gradable:= +
-------------------------------
--------<Proto2>----------------
Arbre Cat : Nom
Arbre Composants : a list('Nom', 'Adj')
Arbre Ordre Composants : a list('Adj', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> aff-loc
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> gradable:= +
-------------------------------
--------<Proto3>----------------
Arbre Cat : Nom
Arbre Composants : a list('Nom', 'Adj')
Arbre Ordre Composants : a list('Adj', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> aff-loc
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> gradable:= +
-------------------------------
--------<Proto4>----------------
Arbre Cat : Nom
Arbre Composants : a list('Nom', 'Adj')
Arbre Ordre Composants : a list('Adj', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> aff-loc
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> gradable:= +
-------------------------------
================================================================
-------------------------------------------
Description du pole de comportements
partages construit
-------------------------------------------
================================================================
------------------------------------------------------------------
Arbres d'Analyse associes aux Arbres de ce Pole.
------------------------------------------------------------------
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:Nom
Al Role:AuxTree
Al Composants:a list('Nom', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
------------------------------------------------------------------
--------------------------------------------
Premier type d'Arbre d'analyse sur ce Pole
--------------------------------------------
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:Nom
Al Role:AuxTree
Al Composants:a list('Nom', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
------------------------------------------------------------------
-------------------------------------------
Arbre d'analyse deja rencontre sur ce Pole
-------------------------------------------
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:Nom
Al Role:AuxTree
Al Composants:a list('Nom', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
------------------------------------------------------------------
-------------------------------------------
Arbre d'analyse deja rencontre sur ce Pole
-------------------------------------------
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:Nom
Al Role:AuxTree
Al Composants:a list('Nom', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
------------------------------------------------------------------
-------------------------------------------
Arbre d'analyse deja rencontre sur ce Pole
-------------------------------------------
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:Nom
Al Role:AuxTree
Al Composants:a list('Nom', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : Nom -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : Nom -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
------------------------------------------------------------------
-------------------------------------------
Arbre d'analyse deja rencontre sur ce Pole
-------------------------------------------
================================================================
Construction d'un Réseau de Comportements partagés sur les Ae de catégorie: SP
================================================================
Liste des prototypes partageant les memes Comportements:
--------------------------------------------------------
--------<Proto0>----------------
Arbre Cat : SP
Arbre Composants : a list('Prep', 'Nom')
Arbre Ordre Composants : a list('Prep', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : SP -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : SP -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Prep -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Nom -> loc-lieu || vaisseau
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Prep -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Nom -> pas de contrainte de traits definie
-------------------------------
--------<Proto1>----------------
Arbre Cat : SP
Arbre Composants : a list('Prep', 'Nom')
Arbre Ordre Composants : a list('Prep', 'Nom')
Arbre Coherence : true
Arbre Role : ElemTree
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : SP -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : SP -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Prep -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Nom -> loc-lieu || vaisseau
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Prep -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Nom -> pas de contrainte de traits definie
-------------------------------
================================================================
-------------------------------------------
Description du pole de comportements
partages construit
-------------------------------------------
================================================================
------------------------------------------------------------------
Arbres d'Analyse associes aux Arbres de ce Pole.
------------------------------------------------------------------
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:NAdj
Al Role:AuxTree
Al Composants:a list('Nom', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : NAdj -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : NAdj -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
------------------------------------------------------------------
--------------------------------------------
Premier type d'Arbre d'analyse sur ce Pole
--------------------------------------------
-----------------------------------
Arbres d'Analyse Associes
-----------------------------------
------------------------------------------------------------------
Al Cat:NAdj
Al Role:AuxTree
Al Composants:a list('Nom', 'Adj')
---------------------------------
Contraintes sur Arbre
---------------------------------
==> Type sur Tete(arbre) : NAdj -> pas de contrainte de type definie
==> Traits sur Tete(arbre) : NAdj -> pas de contrainte de traits definie
==> Types sur Feuilles(arbre) :
Type sur Arbre(feuille0) : Nom -> pas de contrainte de type definie
Type sur Arbre(feuille1) : Adj -> pas de contrainte de type definie
==> Traits sur Feuilles(arbre) :
Traits sur Arbre(feuille0) : Nom -> pas de contrainte de traits definie
Traits sur Arbre(feuille1) : Adj -> pas de contrainte de traits definie
------------------------------------------------------------------
-------------------------------------------
Arbre d'analyse deja rencontre sur ce Pole
-------------------------------------------
================================================================