The dancing partners are enjoying their performance.
Some people dancing and being proud of themselves.
Just because dancing partners are enjoying their performance it does not mean people are proud of themselves.
exists e1 s1 x1 x2.(n_performance(x2) & of(x2,x1) & n_thing(x1) & n_partner(x1) & a_dancing(s1) & Theme(s1,x1) & Theme(e1,x2) & Actor(e1,x1) & v_enjoy(e1))
exists e1 s1 x1 x2 x3.(n_group(x3) & of(s1,x3) & Theme(s1,x2) & a_proud(s1) & n_people(x2) & Actor(e1,x1) & v_dance(e1) & n_people(x1))