a1(b1, b2(c1, c2,c3))