IfcVertex missing abstract definition

Current version:

ENTITY IfcVertex
SUPERTYPE OF (ONEOF
(IfcVertexPoint))
SUBTYPE OF (IfcTopologicalRepresentationItem);
END_ENTITY;

Solution:

ENTITY IfcVertex
ABSTRACT SUPERTYPE OF (ONEOF
(IfcVertexPoint))
SUBTYPE OF (IfcTopologicalRepresentationItem);
END_ENTITY;

The issue provides the current and proposed EXPRESS definitions for IfcVertex, but names no repository file or test. Locate the IfcVertex definition in the specification sources, confirm how abstract entities are represented there, and verify that the definition includes ABSTRACT before SUPERTYPE as shown in the proposed solution.

Written by the indexing model from the issue text.