{* Antipattern 2 from 
     Applying a Multi-Level Modeling Theory to Assess Taxonomic Hierarchies in Wikidata
*}

{* Here we assign the specializations to different dimensions. If they would both be
   in BlueDim, then another axioms is violated saying that an ovject may not have multiple
   superclasses in the same dimension
*}

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

OrangeDim in Dimension with
  dimcolor col: "255,90,30"
end



Element HeavyEquipment with
end

Element Excavator in HeavyEquipment with
end

Excavator->HeavyEquipment with
  dimension dim: BlueDim
end


Element CrawlerExcavator isA Excavator,HeavyEquipment with
end


CrawlerExcavator=>Excavator with
  dimension dim: BlueDim
end

CrawlerExcavator=>HeavyEquipment with
  dimension dim: OrangeDim
end