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