增广律是Armp公理系统的推理规则之一，它的含义是：设F是属性组U上的一组函数依赖，若X→Y为F所逻辑蕴含，且ZU，则（）为F所逻辑蕴含。

下列不属于免费车范围的有（）

A.无牌、无证但设有固定装置的警车；

B.有牌、有证但没有固定装置的警车；

C.持有警通证、特通证的车辆及各级别的警卫车队；

D.外省牌照警车E.持公务卡的车辆；