用途：帮助阅读与推理 IFC EXPRESS 模式声明，包括 ENTITY、TYPE、ENUMERATION、SELECT、WHERE 或 UNIQUE 规则以及属性，并理解 EXPRESS 声明如何映射到序列化的 IFC 实例。EXPRESS 是 ISO 10303-11:2004 标准化的声明式数据建模语言，IFC2x3、IFC4、IFC4.3 模式均以其书写；STEP 物理文件、ifcXML、ifcJSON 都是同一 EXPRESS 模型的派生编码。
主要能力：区分三类属性——显式属性（存储并序列化为位置值）、DERIVE（由表达式计算，槽位为 ）、INVERSE（反向引用，不占槽位，由读取器重建）；识别 TYPE、ENUMERATION、SELECT、ENTITY、RULE、FUNCTION 等构造；解释 STEP 文件标记（$、、.T.、.F.、.U.、#id 引用、聚合语法）；区分 LIST、SET、ARRAY、BAG 四种聚合；区分 =、:=:、:= 三种等号；判断 ONEOF 与 ANDOR 子类型约束；判断实体是否可实例化（ABSTRACT SUPERTYPE 不可实例化）；按顺序阅读 ENTITY 声明；正确应用 WHERE、UNIQUE、RULE 的作用域；理解 SELF\Supertype 路径与 EXISTS、SIZEOF、TYPEOF、HIINDEX、QUERY、NVL、USEDIN 等内置函数；遵循 USERDEFINED/NOTDEFINED 枚举约定。
使用方式：作为技能在阅读或推理 IFC EXPRESS 声明时调用，按资料中的决策树与模式逐步判断属性种类、类型构造、子类型约束与可实例化性。
适用场景：处理 IFC 模式、STEP 物理文件、ifcXML、ifcJSON 的读取与推理。
限制：EXPRESS 是声明式的，只描述有效数据形态，不描述行为或算法；WHERE 规则、RULE、函数是约束与计算，不应被当作应用行为。资料未提供具体安装命令、收费或平台信息。