{* should violate C3b *}



BlueDim in Dimension with
  dimcolor col: "0,0,210"
end


Element Training with
  potency
   BlueDim: 1
end

Element Activity with
  potency
   BlueDim: 1
end

Element DesignCode isA Activity,Training with
  potency
   BlueDim: 1
end

DesignCode=>Training 
with
  dimension dim: BlueDim
end

DesignCode=>Activity 
with
  dimension dim: BlueDim
end