5.1.2.10 IfcStrippedOptional（精简可选）
5.1.2.10.1 语义定义（Semantic definition）
IfcStrippedOptional 是一种永远不会在填充模型中实例化的类型，但它对交换模型的兼容性有意义。
IFC-SPF (Step Physical File; ISO 10303 part 21) 依赖于模式中定义的属性的固定顺序，而不是模型文件中定义的属性。这在两种情况下会产生影响：
-
部分模式生成 - 当某些实体树在特定交换中超出范围时，并且此交换被形式化为 EXPRESS 模式时，指向超出范围类型的实体属性可以更改为 OPTIONAL IfcStrippedOptional 类型，以在填充模型中维护与完整 EXPRESS 模式一致的属性顺序和计数。
-
从模式中删除类型 - 在极少数情况下，类型会从模式中删除，而其他实体仍然指向该类型。在这些情况下，指向已删除类型的实体属性可以更改为 OPTIONAL IfcStrippedOptional 类型，以在填充模型中维护向后兼容的属性顺序和计数。
5.1.2.10.2 形式化表示（Formal representation）
TYPE IfcStrippedOptional = BOOLEAN;
END_TYPE;