PartialDecChoExtension DEFINITIONS IMPLICIT TAGS ::= 

BEGIN

ChoExt ::=  CHOICE 
{
  i BOOLEAN,
  ...,
  j INTEGER
}

END