A family sits around at Christmas time, some playing Jenga while others play with children.
A family sits around at Christmas, some enjoying playing Jenga while others are unhappily playing with children.
A family sits around at Christmas time, some playing Jenga while others play with children does not mean that others are unhappily playing with children.
exists e1 p1 p2 x1 x2 x3 x4 x5 x6.(exists e2 x7 x8.(with(e2,x8) & n_child(x8) & Actor(e2,x7) & v_play(e2) & -(x7 = x4) & n_person(x7)) & n_person(x4) & while(e1,p2) & at(e1,x2) & subset_of(x5,x2) & ne_geo_jenga(x5) & of(x5,x6) & n_playing(x6) & subset_of(x3,x2) & n_time(x3) & (x3 = x4) & ne_geo_christmas(x4) & exists s1.(Theme(s1,x1) & a_around(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_sit(e1) & n_family(x1))
exists e1 e2 p1 p2 x1 x2 x3 x4 x5.(n_person(x3) & ne_geo_christmas(x3) & exists e3 s2 x6 x7.(a_unhappily(s2) & Manner(e3,s2) & with(e3,x7) & n_child(x7) & Actor(e3,x6) & v_play(e3) & -(x6 = x3) & n_person(x6)) & while(e1,p2) & at(e1,x2) & subset_of(x4,x2) & ne_geo_jenga(x4) & of(x4,x5) & n_playing(x5) & Actor(e2,x4) & v_enjoy(e2) & subset_of(x3,x2) & exists s1.(Theme(s1,x1) & a_around(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_sit(e1) & n_family(x1))