{* Unsound scenario that isn't covered by any of the anti-patterns 1--3. *}

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

Element EquipmentType  
end

Element Excavator in EquipmentType  
end

Excavator->EquipmentType with
  dimension dim: BlueDim
end

Element SlowExcavator in Excavator with
end

SlowExcavator->Excavator with
  dimension dim: BlueDim
end

Element HeavyEquipment in EquipmentType  with
  potency
   BlueDim: 1
end

HeavyEquipment->EquipmentType with
  dimension dim: BlueDim
end

Element CrawlerExcavator isA SlowExcavator,HeavyEquipment with
  potency
   BlueDim: 1
end

CrawlerExcavator=>SlowExcavator with
  dimension dim: BlueDim
end

CrawlerExcavator=>HeavyEquipment with
  dimension dim: BlueDim
end