sequence diagram subgroup of diagram, 1 assertions