Three long-haired women in short dresses walk together laughing and smiling.
The women are happy.
Because the women are laughing and smiling they are perceived as Being happy.
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 s1 x1.(n_woman(x1) & Theme(s1,x1) & a_happy(s1))