derived class subgroup of class, 5 assertions