A man and a woman are dancing with their hair up.
The man and woman are ballroom dancing.
Just because their hair is up doesn't mean they are ballroom danicing
exists e1 s1 x1 x2 x3 x4.(a_up(s1) & Manner(e1,s1) & with(e1,x4) & n_hair(x4) & of(x4,x2) & n_thing(x2) & Actor(e1,x1) & v_dance(e1) & subset_of(x3,x1) & n_woman(x3) & subset_of(x2,x1) & n_man(x2))
exists p1 x1 x2 x3.(n_woman(x3) & n_man(x2) & subset_of(x3,x1) & subset_of(x2,x1) & exists x4 x5.((x1 = x4) & n_dancing(x4) & of(x4,x5) & n_ballroom(x5)))