KERML — Textual Syntax allows multiple ConjugationParts on a Type

TypeDeclaration : Type =
( isSufficient ?= 'all' )? Identification
( ownedRelationship += OwnedMultiplicity )?
( SpecializationPart | ConjugationPart )+
TypeRelationshipPart*

Specifically the "( SpecializationPart | ConjugationPart )+" I don't think should be 1 or more, aka it should not have the "+" at the end.
This allows legal syntactic constructs that do have multiple ConjugationParts or ConjugationParts and SpecializationParts.
Multiple ConjugationParts or ConjugationParts and SpecializationParts appears to be against the Abstract Syntax.

A better syntax may be "( SpecializationPart+ | ConjugationPart )" if you really want to keep multiple SpecializationParts

Correct TypeDeclaration production

The intent is that a TypeDeclaration have a single one of either a SpecializationPart or a ConjugationPart. So the "+" should be removed, as suggested.