Any you can imagine, turing-complete smart contracts can do any logic and represent any relations between participants. The most basic 'complex' interaction is tokens and voting systems, jury.online for example is about deal making.