2[[A2[[A],[θ[[A1[[A],[B]]],G>z.,eGic`3[[A],[B],[C]]]