((A1_ott1,A3_ott3)A_ott4,(C1_ott9,C3_ott11)C_ott12)life_ott14;
