> addvertex(T7,theory);
> addedge([T6,T7],theory);
> addedge([T5,T7],theory);
> partition:=[[I1,I2,RA,PS,Pra,AAA],[T1,T2,T3,`T6.5`,T5,T6],[T4,T7]];
>