class diagram subgroup of diagram, 3 assertions