A woman tickling a man on the floor while five other people are laughing.
The woman and man are having fun.
People who are laughing then you are having fun
exists e1 p1 x1 x2 x3 x4 x6.(n_people(x6) & n_floor(x4) & a_topic(x1) & exists e2 x5.(Actor(e2,x5) & v_laugh(e2) & -(x5 = x6) & n_people(x5) & card_eq_5(x5)) & while(e1,p1) & on(e1,x4) & Theme(e1,x3) & Actor(e1,x2) & v_tickle(e1) & n_man(x3) & (x1 = x2) & n_woman(x1))
exists e1 x1 x2 x3 x4.(n_man(x3) & n_woman(x2) & subset_of(x3,x1) & subset_of(x2,x1) & Theme(e1,x4) & Actor(e1,x1) & v_have(e1) & n_fun(x4))