large living room subgroup of living room, 2 assertions