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

• A、检验IFC文件的几何模型是否正确表达
• B、检验IFC文件的大小是否符合要求
• C、检验扩展的实体属性是否存在
• D、检验属性值是否符合要求
• E、检验文件中扩展的IFC实体是否存在