KERML — Link participant feature called an association end

Clause 9.2.3.1 (Links Overview) says

The participant Feature of Link is the most general associationEnd, identifying the things being linked by (at the "ends" of) each Link (exactly one thing per end, which might be the same things).

but the two places it appears in the Links model library

  readonly feature participant: Anything[2..*] nonunique ordered;

  feature participant: Anything[2] nonunique ordered redefines Link::participant;

do not include the "end" keyword (are not end features), to prevent the semantics of end features from applying to the participant feature (see KERML-37).

Link::participant generalizes association ends

Modify Clause 9.2.3.1 (Links Overview) to say Link::participant (indirectly) generalizes all association ends.