Two women are smiling as they appear to be listening to portable music devices.
two women listening to funny comedians
The women do not have to be listening to funny comedians on their portable music devices to be smiling.
exists e1 p1 x1.(exists e2 p2.(Topic(e2,p2) & Actor(e2,x1) & v_appear(e2) & exists e3 s1 x2 x3.(to(e3,x2) & n_device(x2) & of(x2,x3) & n_music(x3) & a_portable(s1) & Theme(s1,x2) & Actor(e3,x1) & v_listen(e3))) & n_thing(x1) & as(e1,p1) & Actor(e1,x1) & v_smile(e1) & n_woman(x1) & card_eq_2(x1))
exists e1 s1 x1 x2 x3.(a_topic(x1) & to(e1,x3) & n_comedian(x3) & a_funny(s1) & Theme(s1,x3) & Actor(e1,x2) & v_listen(e1) & (x1 = x2) & n_woman(x1) & card_eq_2(x1))