Мне кажется, что комбинаторные свойства S-конструкции интересны сами по себе (т.е. их следует изучать еще до перехода к гомотопическим группам). Они, например, связаны с произведениями Масси для расширений первого порядка.