> addvertex(T8,theory);

[Maple Math]

> addedge([SAS,T8],theory);

[Maple Math]

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

[Maple Math]

>