Terminado eskolemizador, iniciado parseo de arboles and/or