表达系统功能的能力不够充分

• PDL may not be sufficiently expressive to express the system functionality in an understandable way