- 
--------------------- New Integration -------------------------

- Creating a new situation node with content: 
[Man]<-agnt-[Eat]
- Pertinent Types and their associated Entry Points in the New CG : 

-   Eat : [[Eat]]

-   Man : [[Man]]

- Integrate the new CS from focus : Eat and using as entry point: [Eat]
- current ont node: 
Eat
- Proceeding the case of MORE_SPECIFIC
- Integration done for:Eat
- Integrate the new CS from focus : Man and using as entry point: [Man]
- current ont node: 
Man
- Proceeding the case of MORE_SPECIFIC
- Compare and proceed with the child: 
Boy
- Checking if the new CS has been compared with :
Boy
- No, not already compared
- Comparison operation : 
- Compare and proceed with the child: 
AIScientist
- Checking if the new CS has been compared with :
AIScientist
- No, not already compared
- Comparison operation : 
- Compare and proceed with the child: 
imad
- Checking if the new CS has been compared with :
imad
- No, not already compared
- Comparison operation : 
- Compare and proceed with the child: 
michael
- Checking if the new CS has been compared with :
michael
- No, not already compared
- Comparison operation : 
- Compare and proceed with the child: 
[Drink : *p1 ] -
            -obj->[Water],
            -agnt->[Man]
- Checking if the new CS has been compared with :
[Drink : *p1 ] -
            -obj->[Water],
            -agnt->[Man]
- No, not already compared
- Comparison operation : 
- The result of the comparison is :UNCOMPARABLE
- current ont node: 
[Drink : *p1 ] -
            -obj->[Water],
            -agnt->[Man]
- Compare and proceed with the child: 
[Drive : *p1 ] -
            -instr->[Car],
            -agnt->[Man]
- Checking if the new CS has been compared with :
[Drive : *p1 ] -
            -instr->[Car],
            -agnt->[Man]
- No, not already compared
- Comparison operation : 
- The result of the comparison is :UNCOMPARABLE
- current ont node: 
[Drive : *p1 ] -
            -instr->[Car],
            -agnt->[Man]
- Compare and proceed with the child: 
Robert
- Checking if the new CS has been compared with :
Robert
- No, not already compared
- Comparison operation : 
- Compare and proceed with the child: 
Tinman
- Checking if the new CS has been compared with :
Tinman
- No, not already compared
- Comparison operation : 
- Compare and proceed with the child: 
Figaro
- Checking if the new CS has been compared with :
Figaro
- No, not already compared
- Comparison operation : 
- Compare and proceed with the child: 
ArtSponsor
- Checking if the new CS has been compared with :
ArtSponsor
- No, not already compared
- Comparison operation : 
- Compare and proceed with the child: 
Karim
- Checking if the new CS has been compared with :
Karim
- No, not already compared
- Comparison operation : 
- Compare and proceed with the child: 
Samir
- Checking if the new CS has been compared with :
Samir
- No, not already compared
- Comparison operation : 
- Compare and proceed with the child: 
Tom
- Checking if the new CS has been compared with :
Tom
- No, not already compared
- Comparison operation : 
- Compare and proceed with the child: 
Karl
- Checking if the new CS has been compared with :
Karl
- No, not already compared
- Comparison operation : 
- Compare and proceed with the child: 
Drinker
- Checking if the new CS has been compared with :
Drinker
- No, not already compared
- Comparison operation : 
- Integration done for:Man
- The new CS has been integrated successfully
- 
---------------------End of Integration-------------------------