Lógica computacional y teoría de modelos (2019-20) Lógica computacional y teoría de modelos (2019-20)

Generar árbol de análisis sintáctico XML (requiere modelo de contenido $1; sustituido por $2prop=parsetree).