8.13.2.1 IfcBoxAlignment（框对齐）
8.13.2.1.1 语义定义（Semantic definition）
框对齐指定了文本框相对于其位置的对齐方式。应使用以下字符串值：
- top-left
- top-middle
- top-right
- middle-left
- center
- middle-right
- bottom-left
- bottom-middle
- bottom-right
图1展示了对齐值。图2展示了对齐值与位置和平面范围一起使用的情况。
8.13.2.1.2 形式化命题（Formal propositions）
| WR1 | SELF IN ['top-left', 'top-middle', 'top-right', 'middle-left', 'center', 'middle-right', 'bottom-left', 'bottom-middle', 'bottom-right'] |
8.13.2.1.3 形式化表示（Formal representation）
TYPE IfcBoxAlignment = IfcLabel;
WHERE
WR1 : SELF IN ['top-left', 'top-middle', 'top-right', 'middle-left', 'center', 'middle-right', 'bottom-left', 'bottom-middle', 'bottom-right'];
END_TYPE;