{* should violate ac5 *} Animals in Dimension with dimcolor col: "0,0,210" end Element Dog with potency Animals: 0 end Element Susan in Dog with {* cannot instantiate potency-0 type Dog *} potency Animals: -1 {* would satisfy current version of ac2 *} end Susan->Dog with dimension dim: Animals end