A couple walking down the aisle after getting married.
The couple is happy.
Even though they are getting married, it does not mean they are happy.
exists e2 e1 p1 x1 x2 x3.(n_aisle(x3) & a_topic(x1) & after(e1,e2) & exists s1.(Theme(s1,x2) & a_married(s1)) & Topic(e2,p1) & Actor(e2,x2) & v_get(e2) & down(e1,x3) & Actor(e1,x2) & v_walk(e1) & (x1 = x2) & n_couple(x1))
exists s1 x1.(n_couple(x1) & Theme(s1,x1) & a_happy(s1))