解树

resolution tree