(mat:free+tree:T) tree:Tmat:free+tree:Tsab:T_t