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