Is there a need for a more specific name for IfcBorehole?

Got this comment:

BTW - In `IFC4::SteelFabricationView` the bolt holes are 'defined' as boreholes by using `IfcVoidingFeature::HOLE`.

Example:

#81= IFCVOIDINGFEATURE('39i5cXi_z1Ag3MIaNqA1_E',#16,'Bolt Hole',$,$,#69,#73,$,.HOLE.);
#118= IFCRELDEFINESBYPROPERTIES('0QuH1VhJ92e8iWtIebyzQo',#16,$,$,(#81),#80);
#80= IFCPROPERTYSET('2GgprGuzT8t9JKE$FIC2co',#16,'Fabrication_Pset_BoreHole',$,(#78,#79));
#78= IFCPROPERTYSINGLEVALUE('Diameter',$,IFCPOSITIVELENGTHMEASURE(10.),$);
#79= IFCPROPERTYSINGLEVALUE('Quality',$,IFCLABEL('drill'),$);

Now there is a new entity type `IfcBoreHole` in IFC4X4, but it's *not* inherited from `IfcFeatureElementSubtraction` but `IfcGeoScienceElement`. So, In order to avoid confusion about the semantic meaning of `IfcBoreHole` from IFC4X4 onwards, I really hope that `IfcBoreHole` is inherited from `IfcFeatureElementSubtraction`.

EDIT: Markdown syntax.