Represent Product

SCHEMA FP_REPRESENT_PRODUCT;

  TYPE IfcLabel = STRING;
  END_TYPE;

  TYPE IfcText = STRING;
  END_TYPE;

  ENTITY IfcRepresentation
    SUPERTYPE OF (ONEOF(IfcShapeRepresentation, 
IfcTopologyRepresentation, 
IfcStyledRepresentation));
      ContextOfItems           : IfcRepresentationContext;
      RepresentationIdentifier : OPTIONAL IfcLabel;
      RepresentationType       : OPTIONAL IfcLabel;
      Items                    : SET [1:?] OF IfcRepresentationItem;
    INVERSE
      LayerAssignments         : SET OF IfcPresentationLayerAssignment FOR AssignedItems;
      OfProductRepresentation  : SET [0:1] OF IfcProductRepresentation FOR Representations;
  END_ENTITY;

  ENTITY IfcShapeRepresentation
    SUBTYPE OF(IfcRepresentation);
    WHERE
      WR21 : 'IFCREPRESENTATIONRESOURCE.IFCGEOMETRICREPRESENTATIONCONTEXT' 
             IN TYPEOF(SELF\IfcRepresentation.ContextOfItems);
      WR22 : SIZEOF(QUERY(temp <* Items | 
               ('IFCTOPOLOGYRESOURCE.IFCTOPOLOGICALREPRESENTATIONITEM' IN TYPEOF(temp))
                 AND (NOT(SIZEOF(
                   ['IFCTOPOLOGYRESOURCE.IFCVERTEXPOINT',
                    'IFCTOPOLOGYRESOURCE.IFCEDGECURVE',
                    'IFCTOPOLOGYRESOURCE.IFCFACESURFACE'] * TYPEOF(temp)) = 1))
             )) = 0;
      WR23 : EXISTS(SELF\IfcRepresentation.RepresentationType);
      WR24 : IfcShapeRepresentationTypes(SELF\IfcRepresentation.RepresentationType, SELF\IfcRepresentation.Items);
  END_ENTITY;

  ENTITY IfcTopologyRepresentation
    SUBTYPE OF(IfcRepresentation);
    WHERE
      WR21 : SIZEOF(QUERY(temp <* SELF\IfcRepresentation.Items | 
               NOT('IFCTOPOLOGYRESOURCE.IFCTOPOLOGICALREPRESENTATIONITEM' IN TYPEOF(temp))
             )) = 0;
      WR22 : EXISTS(SELF\IfcRepresentation.RepresentationType);
      WR23 : IfcTopologyRepresentationTypes(SELF\IfcRepresentation.RepresentationType, 
		SELF\IfcRepresentation.Items);
  END_ENTITY;

  ENTITY IfcStyledRepresentation
    SUBTYPE OF(IfcRepresentation);
    WHERE
      WR21 : SIZEOF(QUERY(temp <* SELF\IfcRepresentation.Items | 
               (NOT('IFCPRESENTATIONAPPEARANCERESOURCE.IFCSTYLEDITEM' IN TYPEOF(temp)))
             )) = 0;
  END_ENTITY;


  ENTITY IfcProductRepresentation
    SUPERTYPE OF (IfcProductDefinitionShape);
      Name            : OPTIONAL IfcLabel;
      Description     : OPTIONAL IfcText;
      Representations : LIST [1:?] OF IfcRepresentation;
  END_ENTITY;

  ENTITY IfcProductDefinitionShape
    SUBTYPE OF(IfcProductRepresentation);
  END_ENTITY;

  ENTITY IfcRepresentationContext;
    INVERSE
      RepresentationsInContext : SET OF IfcRepresentation FOR ContextOfItems;
  -- definitions skipped
  -- see e.g. fp_set_representation_context
  END_ENTITY;

  ENTITY IfcRepresentationItem;
  -- definitions skipped
  -- see e.g. various functional parts on geometric representation items
  END_ENTITY;

  ENTITY IfcPresentationLayerAssignment;
      AssignedItems : IfcRepresentation;
  -- definitions skipped
  -- see e.g. fp_assign_presentation_layer
  END_ENTITY;

  ENTITY IfcRoot
    ABSTRACT SUPERTYPE OF (IfcObjectDefinition);
  -- definitions skipped
  END_ENTITY;

  ENTITY IfcObjectDefinition
    ABSTRACT SUPERTYPE OF (IfcObject)
    SUBTYPE OF(IfcRoot);
  -- definitions skipped
  END_ENTITY;

  ENTITY IfcObject
    ABSTRACT SUPERTYPE OF (IfcProduct)
    SUBTYPE OF(IfcObjectDefinition);
  -- definitions skipped
  END_ENTITY;

  ENTITY IfcProduct
    SUBTYPE OF(IfcObject);
      Representation : IfcProductRepresentation;
  -- definitions skipped
  END_ENTITY;

END_SCHEMA;

Example 1: (Original) Definition of a proxy object with two shape representations 
(a default 3D representation, and a default 2D representation) each being assigned to 

/* Definition of the project */
#17=IFCPROJECT('02b_zn_n5BUhvEFQj1tiGU',#16,'DefaultProject','Automatically generated project',$,$,$,(#10,#11),#6);

/* Definition of the geometric representation context for the 3D model */
#10=IFCGEOMETRICREPRESENTATIONCONTEXT('Default 3D context','Model',3,1.E-009,#103,#99);
#103=IFCAXIS2PLACEMENT3D(#104,$,$);
#104=IFCCARTESIANPOINT((0.,0.,0.));
/* Definition of the geometric representation context for the 2D plan */
#11=IFCGEOMETRICREPRESENTATIONCONTEXT('Default 2D context','Plan',2,1.E-009,#105,#99);
#105=IFCAXIS2PLACEMENT2D(#106,$);
#106=IFCCARTESIANPOINT((0.,0.));
/* the north direction is along the positive x-axis */
#99=IFCDIRECTION((1.,0.,0.));

/* Definition of the proxy object */
#66=IFCBUILDINGELEMENTPROXY('3APQwNnyX6LvbGeU9NiaFv',#16,'Proxy 01','proxy for test geometry',$,#41,#50,$,$);
#82=IFCRELCONTAINEDINSPATIALSTRUCTURE('0eTrDwlj914vqU_U8amIYS',#16,$,$,(#66),#29);

/* Local placement of the proxy object */
/* - the local x axis is in direction of the parent y axis */
#41=IFCLOCALPLACEMENT(#28,#40);
#40=IFCAXIS2PLACEMENT3D(#37,#38,#39);
#37=IFCCARTESIANPOINT((5.,10.,0.));
#38=IFCDIRECTION((0.,0.,1.));
#39=IFCDIRECTION((0.,1.,0.));

/* Shape representation of the annotation object */
/* - multiple representations within the standard representation context */
#50=IFCPRODUCTDEFINITIONSHAPE($,$,(#110,#49));

/* 2D representation within default 2D representation context */
#49=IFCSHAPEREPRESENTATION(#11,'FootPrint','GeometricCurveSet',(#57));
#57=IFCGEOMETRICCURVESET((#56));
#56=IFCPOLYLINE((#51,#52,#53,#54,#51));
#51=IFCCARTESIANPOINT((0.,0.12));
#52=IFCCARTESIANPOINT((0.,-0.12));
#53=IFCCARTESIANPOINT((5.,-0.12));
#54=IFCCARTESIANPOINT((5.,0.12));

#110=IFCSHAPEREPRESENTATION(#10,'Body','SweptSolid',(#111));
#111=IFCEXTRUDEDAREASOLID(#112,#120,#122,2.8);
#112=IFCARBITRARYCLOSEDPROFILEDEF(.AREA.,$,#113);
#113=IFCPOLYLINE((#114,#115,#116,#117,#114));
#114=IFCCARTESIANPOINT((0.,0.12));
#115=IFCCARTESIANPOINT((0.,-0.12));
#116=IFCCARTESIANPOINT((5.,-0.12));
#117=IFCCARTESIANPOINT((5.,0.12));
#120=IFCAXIS2PLACEMENT3D(#121,$,$);
#121=IFCCARTESIANPOINT((0.,0.,0.));
#122=IFCDIRECTION((0.,0.,1.));