{* should violate c0a *}

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

Element Dog with
  potency
     Animal: 0 
end

Element Susan in Dog with {* cannot instantiate potency-0 type Dog *}
  potency
     Animal: -1  
end

Susan->Dog with
  dimension dim: Animal
end