Page_35 自然語言到形式語言的無縫轉譯