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

Favorite in Dimension with
  dimcolor col: "230,90,30"
end

Element FavoriteThing with
  potency
     Favorite: 1
end



Element DogBreed with
  potency
     Animal: 2
end

Element Dog with
  potency
     Animal: 1
end

Element Corgi in DogBreed,FavoriteThing isA Dog with
  potency
     Animal: 1;
     Favorite: 0
end

Corgi->DogBreed with
  dimension dim: Animal
end

Corgi=>Dog
with
  dimension dim: Favorite {wrong dimension}
end

Corgi->FavoriteThing with
  dimension dim: Favorite
end