什么叫a型陈述