subtype A is B (1 .. 12)