<PERM (( sa sb )) <PERM (( sc sd ))   e.1 >>;