Human in Dimension with
  dimcolor col: "20,130,20"
  gproperty bgcolor: "230,255,230"
end

Animal in Dimension with
  dimcolor col: "0,0,210"
  gproperty bgcolor: "240,240,255"
end

Favorite in Dimension with
  dimcolor col: "230,90,30"
  gproperty bgcolor: "255,240,220"
end


Element Person with
  potency
     Human: 1
end

Element Royal isA Person with
  potency
     Human: 1
end

Royal=>Person 
with
  dimension dim: Human
end

Element Queen in Royal with
  potency
    Human: 0
end

Queen->Royal with
  dimension dim: Human
end

Element FavoriteThing with
  potency
     Favorite: 1
end

Element Blue with
end

Element RoyalBlue in FavoriteThing isA Blue with
  potency
     Favorite: 0
end

RoyalBlue->FavoriteThing with
  dimension dim: Favorite
end

RoyalBlue=>Blue
with
  dimension dim: Favorite
end

Element DeepRoyalBlue isA RoyalBlue with
end

DeepRoyalBlue=>RoyalBlue 
with
  dimension dim: Favorite
end

Element EarlGrey in FavoriteThing with
  potency
     Favorite: 0
end

EarlGrey->FavoriteThing with
  dimension dim: Favorite
end

Element Breed with
  potency
     Animal: 2
end

Element DogBreed isA Breed with
  potency
     Animal: 2
end

DogBreed=>Breed
with
  dimension dim: Animal
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: Animal
end

Element WelshCorgi in DogBreed isA Corgi with
  potency
     Animal: 1
end

WelshCorgi->DogBreed
with
  dimension dim: Animal
end

WelshCorgi=>Corgi
with
  dimension dim: Animal
end


Corgi->FavoriteThing with
  dimension dim: Favorite
end

Element Susan in FavoriteThing,Corgi with
  potency
     Animal: 0;
     Favorite: 0
end

Susan->Corgi with
  dimension dim: Animal
end

Susan->FavoriteThing with
  dimension dim: Favorite
end