Apihelp-parse-param-generatexml
De Demostración automática de teoremas (2014-15)
Generar árbol de análisis sintáctico XML (requiere modelo de contenido $1; sustituido por $2prop=parsetree).
Generar árbol de análisis sintáctico XML (requiere modelo de contenido $1; sustituido por $2prop=parsetree).