leather sofa subgroup of sofa, 4 assertions