(mat:free+tree:V) tree:Vmat:free+tree:Vsab:V_t