Three men and a woman have laptops and are standing in front of a projection screen appearing to be conversing.
The men have laptops.
Three men have laptops, therefore men have laptops.
exists e2 e3 e1 p1 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11.(in(e2,x8) & of(x8,x9) & Topic(e3,p1) & Actor(e3,x11) & v_appear(e3) & exists e4.(Actor(e4,x11) & v_converse(e4)) & (x9 = x11) & n_screen(x9) & of(x9,x10) & n_projection(x10) & n_front(x8) & Actor(e2,x5) & v_stand(e2) & subset_of(x7,x5) & n_woman(x7) & subset_of(x6,x5) & n_man(x6) & card_eq_3(x6) & Theme(e1,x4) & Actor(e1,x1) & v_have(e1) & n_laptop(x4) & subset_of(x3,x1) & n_woman(x3) & subset_of(x2,x1) & n_man(x2) & card_eq_3(x2))
exists e1 x1 x2.(n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_laptop(x2))