> addvertex(T14,theory);

T14

> addedge([T8,T14],theory);
addedge([RA,T14],theory);
addedge([T11,T14],theory);
addedge([AAA,T14],theory);

e36

e37

e38

e39

> edges(theory);

{e10, e21, e22, e23, e24, e25, e26, e27, e28, e18, ...
{e10, e21, e22, e23, e24, e25, e26, e27, e28, e18, ...

> 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]];

partition := [[I1, I2, RA, PS, Pra, AAA, SAS], [T1,...
partition := [[I1, I2, RA, PS, Pra, AAA, SAS], [T1,...