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