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

Element Dog with
  potency
     Animal: 0
end

Element Corgi isA Dog with
  potency
     Animal: 1 
end

Corgi=>Dog with
  dimension dim: Animal
end

Element Susan in Corgi with
  potency
     Animal: 0
end

Susan->Corgi with
  dimension dim: Animal
end