mainframe computer subgroup of computer, 5 assertions