通过扩展得到的IFC的模型文件是否为有效的IFC文件，需要通过校验来判断，校验内容主要包括（）。

通过扩展得到的IFC的模型文件是否为有效的IFC文件，需要通过校验来判断，校验内容主要包括（）。
A、校验IFC文件的几何模型是否正确表达
B、校验IFC文件的大小是否符合要求
C、校验扩展的实体属性是否存在
D、校验属性值是否符合要求
E、校验文件中扩展的IFC实体是否存在
正确答案：ACDE