bedroom penthouse subgroup of penthouse, 5 assertions