IfcRevolvedAreaSolid.AxisStartInXY partially redundant

[aothms]

--- tmp/a/IFC.exp	2022-08-26 23:08:09.300513800 +0200
+++ tmp/b/IFC.exp	2022-09-05 20:18:40.046645700 +0200
@@ -10094,21 +10094,21 @@
  SUPERTYPE OF (ONEOF
 	(IfcRevolvedAreaSolidTapered))
  SUBTYPE OF (IfcSweptAreaSolid);
 	Axis : IfcAxis1Placement;
 	Angle : IfcPlaneAngleMeasure;
  DERIVE
 	 AxisLine : IfcLine := IfcRepresentationItem() || IfcGeometricRepresentationItem () || IfcCurve() || IfcLine(Axis.Location, 
   IfcRepresentationItem() || IfcGeometricRepresentationItem () || IfcVector(Axis.Z,1.0));
  WHERE
 	AxisDirectionInXY : Axis.Z.DirectionRatios[3] = 0.0;
-	AxisStartInXY : Axis.Location.Coordinates[3] = 0.0;
+	AxisStartInXY : ('IFC4X3_DEV.IFCCARTESIANPOINT' IN TYPEOF(Axis.Location)) AND (Axis.Location\IfcCartesianPoint.Coordinates[3] = 0.0);
 END_ENTITY;
 
 ENTITY IfcRevolvedAreaSolidTapered
  SUBTYPE OF (IfcRevolvedAreaSolid);
 	EndSweptArea : IfcProfileDef;
  WHERE
 	CorrectProfileAssignment : IfcTaperedSweptAreaProfiles(SELF\IfcSweptAreaSolid.SweptArea, SELF.EndSweptArea);
 END_ENTITY;
 
 ENTITY IfcRightCircularCone

as reported by @SergejMuhic: the first part ('IFC4X3_DEV.IFCCARTESIANPOINT' IN TYPEOF(Axis.Location)) is redundant with LocationIsCP : 'IFC4X3_DEV_de2f4c32.IFCCARTESIANPOINT' IN TYPEOF(SELF\IfcPlacement.Location); on IfcAxis1Placement.