Given a sentence in Chinese, provide an equivalent paraphrased translation in Korean that retains the same meaning both through the translation and the paraphrase.

Input: Consider Input: WORHP，也称为eNLP（欧洲NLP解算器），是一个数学软件库，用于在数值上大规模地解决连续的非线性优化问题。

Output: ESA의 eNLP (European NLP solver)라고도하는 WORHP는 지속적으로 대규모의 비선형 최적화 문제를 수치 적으로 풀기위한 수학 소프트웨어 라이브러리입니다.


Input: Consider Input: 今天（从2013年到2017年），市长是费尔南多·诺盖拉，由PenCe（独立运动）选举产生。市政假日是10月1日。

Output: 현재 (2013 년부터 2017 년까지) 시장은 PenCe (독립 운동)에 의해 선출 된 Fernando Nogueira입니다. 시립 공휴일은 10 월 1 일입니다.


Input: Consider Input: 女主角扮演的角色是科尔特斯在“阿里巴巴和神圣的王冠”中扮演的角色，由Erminio Salvi执导。


Output: Cortez는 Erminio Salvi가 감독 한 "Ali Baba and the Sacred Crown"에서 여성 리드를 맡았습니다.