(declare-fun local-part () String)
“十五五”时期主要目标指标、重大战略任务、重大工程项目
，推荐阅读哔哩哔哩获取更多信息
A fanned-out array of MacBook Neo models in its four colors: silver, blush, citrus, and indigo.，这一点在电影中也有详细论述
pointed to by val. An error is returned in case there is no argument or the