This woman is having some kind of techno disco fun.
They are dancing to disco.
THERE CAN BE EITHER ONE WOMAN OR MORE DANCING TO DISCO.
exists e1 x1 x2 x3 x4 x5.(n_woman(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & of(x2,x3) & n_fun(x3) & of(x3,x5) & n_disco(x5) & of(x3,x4) & n_techno(x4) & n_kind(x2))
exists e1 x1.(to(e1,x1) & n_disco(x1) & Actor(e1,x1) & v_dance(e1) & n_thing(x1))