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