Formalización de las oraciones propuestas