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