(c3) (h) (h) (h_g) (f) (g') (g) (h.) (::) (h) (h_g) (f) (g') (g) (h.) (;) (h) (h) (h_g) (f) (g') (g) (h.) (::)