Three long-haired women in short dresses walk together laughing and smiling.
The women are sitting around bored.
The women can't be both walking and sitting at the same time.
exists e1 p1 s1 s2 x1 x2.(exists e2 e3 s3.(Actor(e3,x1) & v_smile(e3) & a_together(s3) & Manner(e2,s3) & Actor(e2,x1) & v_laugh(e2)) & Topic(e1,p1) & Actor(e1,x1) & v_walk(e1) & in(x1,x2) & n_dress(x2) & a_short(s2) & Theme(s2,x2) & n_woman(x1) & a_long-haired(s1) & Theme(s1,x1) & card_eq_3(x1))
exists e1 x1 x2.(n_woman(x1) & around(e1,x2) & n_bore(x2) & Actor(e1,x1) & v_sit(e1))