AA class that has direct instances, but whose descendants may have direct instances
BA class that has direct instances, but whose descendants may not have direct instances
CA class that has no direct instances, but whose descendants may have direct instances