(mat:free+tree:P) tree:Pmat:free+tree:Psab:P_t