A man and woman smile after being wed.
The couple smiles before leaving for their honeymoon.
If you just were married you're not already on the honeymoon.
exists e1 e2 x1 x2 x3.(after(e1,e2) & Theme(e2,x1) & v_wed(e2) & Actor(e1,x1) & v_smile(e1) & n_woman(x3) & n_man(x2) & subset_of(x3,x1) & subset_of(x2,x1))
exists e2 e1 x1 x2.(n_honeymoon(x2) & of(x2,x1) & n_thing(x1) & n_couple(x1) & before(e1,e2) & for(e2,x2) & Actor(e2,x1) & v_leave(e2) & Actor(e1,x1) & v_smile(e1))