(c3) (h|vi) (h_g~|vi->) (f|ta) (h|vi) (h|vi) (,) (h|vi) (h|vi) (h|vi) (h|vi) (i|vi) (i|vi) (h|ta) (h.|ta) (::) (h) (h) (f) (h) (i) (h) (::)