portable computer subgroup of computer, 18 assertions