<PERM (('45')) <PERM (('123')) <PERM ( ('123') ('45') )  e.1 >>>;