sectional sofa subgroup of sofa, 9 assertions