Árbol de resolución semántica