software application subgroup of application, 30 assertions