In the class IfcRelReferencedInSpatialStructure the attribute RelatedElements is of type IfcProduct
SUBTYPE OF (IfcRelConnects);
RelatedElements : SET [1:?] OF IfcProduct;
But the inverse relationship is on class IfcElement
ReferencedInStructures : SET [0:?] OF IfcRelReferencedInSpatialStructure FOR RelatedElements;
Should this be relocated to IfcProduct? I can’t see any restriction on derived classes and no other derived class also has this inverse attribute.