laptop computer subgroup of computer, 16 assertions