(dp0 S'a' p1 I1 sS'b' p2 I2 s.