多项选择题 EXPRESS语言通过一系列的说明来进行描述，这此说明主要包括（）。

多项选择题 以下符合IFC标准，并取得IFC认证的软件有（）。

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