2[[A2[[A],[θ[[A1[[A],[B]]],G>z.,e[[A],[B],[C]]]