Six young adults hold their hands above their heads.
They are tying their shoes.
Hold their hands above their heads is not tying their shoes.
exists e1 s1 x1 x2 x3.(above(e1,x3) & n_head(x3) & of(x3,x1) & n_thing(x1) & n_thing(x1) & Theme(e1,x2) & Actor(e1,x1) & v_hold(e1) & n_hand(x2) & of(x2,x1) & n_adult(x1) & a_young(s1) & Theme(s1,x1) & card_eq_6(x1))
exists e1 x1 x2.(n_shoe(x2) & of(x2,x1) & n_thing(x1) & n_thing(x1) & Theme(e1,x2) & Actor(e1,x1) & v_tie(e1))