A woman is hanging upside down suspended from two red ropes.
The woman is happy to be hanging upside down.
Just because she is hanging upside down, that doesn't mean that she is happy about it.
exists e1 e2 p1 s1 x1 x2.(for(e1,e2) & from(e2,x2) & n_rope(x2) & a_red(s1) & Theme(s1,x2) & card_eq_2(x2) & Theme(e2,x1) & v_suspend(e2) & exists s2.(r_upside(s2) & Theme(s2,x1) & a_down(s2)) & Topic(e1,p1) & Actor(e1,x1) & v_hang(e1) & n_woman(x1))
exists p1 s1 x1.(n_woman(x1) & Topic(s1,p1) & Actor(s1,x1) & a_happy(s1) & exists e1 p2.(exists s2.(r_upside(s2) & Theme(s2,x1) & a_down(s2)) & Topic(e1,p2) & Actor(e1,x1) & v_hang(e1)))