8.20.2.1 IfcShell
    8.20.2.1.1 Semantic definition
A type comprising different kinds of shell.
    8.20.2.1.2 Type values
Table 8.20.2.1.A
    8.20.2.1.3 Formal representation
TYPE IfcShell = SELECT
	(IfcClosedShell
	,IfcOpenShell);
END_TYPE;
    8.20.2.1.4 References