> addvertex(T16,theory);

T16

> addedge([T15,T16],theory);

e41

> addvertex(PA,theory);

PA

> addedge([PA,T16],theory); 

`]` unexpected

>

> 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,PA],[T16]];

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

>