subtype A is B (1 .. 12);