A man and a woman are dancing.
The man and woman are married.
Just because the man and woman are dancing it does not mean they are married. They may be dating or they may even be brother and sister.
exists e1 x1 x2 x3.(Actor(e1,x1) & v_dance(e1) & subset_of(x3,x1) & n_woman(x3) & subset_of(x2,x1) & n_man(x2))
exists e1 x1 x2 x3.(n_woman(x3) & n_man(x2) & subset_of(x3,x1) & subset_of(x2,x1) & Theme(e1,x1) & v_marry(e1))