8.20.6.1 IfcBooleanChoose（布尔选择）
8.20.6.1.1 语义定义（Semantic definition）
如果为 TRUE，则返回第一个选项，否则返回第二个选项。
注意 根据 ISO/CD 10303-42:1992 的定义 此函数根据布尔输入参数的值返回两个选项之一。这两个选项也是输入参数。
注意 函数改编自 GB/T 16656.42 中定义的 boolean_choose。
8.20.6.1.2 形式化表示（Formal representation）
FUNCTION IfcBooleanChoose
(B : BOOLEAN ;
Choice1, Choice2 : GENERIC : Item) : GENERIC : Item;
IF B THEN
RETURN (Choice1);
ELSE
RETURN (Choice2);
END_IF;
END_FUNCTION;