1. These populated models are then evaluated and extended according to a specific inside-out rule-tracing algorithm.

Ces modèles chargés sont ensuite évalués et étendus selon un algorithme spécifique de mode inverse et d'analyse de règles.