> addvertex(T22,theory);
> addedge([T18,T22],theory);
> addedge([`T8.5`,T22],theory);
> partition:=[[I1,I2,RA,PS,Pra,AAA,SAS],[T1,T2,T3,`T6.5`,T5,T6,T8,`T8.5`,`T12.5`],[T4,T7,T9],[T10,T11],[T12,T13,T14,T15,T17,PA],[ T16,T18 ],[T19,T22],[T20],[T21]];
>