A man wearing a white jacket serves ice cream to several ladies from an ijs street cart.
The ladies getting ice cream all work together.
The ladies being served ice cream don't necessarily all work together just because they are being served ice cream from the same cart.
exists e1 e2 s1 s2 s3 x1 x2 x3 x4 x5 x6 x7 x8.(from(e2,x7) & n_cart(x7) & of(x7,x8) & n_street(x8) & a_ijs(s3) & Theme(s3,x7) & to(e2,x6) & n_lady(x6) & a_several(s2) & Theme(s2,x6) & Theme(e2,x4) & Actor(e2,x1) & v_serve(e2) & n_cream(x4) & of(x4,x5) & n_ice(x5) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_jacket(x3) & a_white(s1) & Theme(s1,x3) & (x1 = x2) & n_man(x1))
exists x1.(n_lady(x1) & a_topic(x1) & all x2.(n_work(x2) -> exists e1 s1 x3 x4 x5.(a_together(s1) & Manner(e1,s1) & Time(e1,x2) & Theme(e1,x4) & Actor(e1,x3) & v_get(e1) & n_cream(x4) & of(x4,x5) & n_ice(x5) & (x1 = x3))))