Four small kids dress in black and red wedding attire play on the floor.
They are playing rummy
Kids playing on the floor aren't guaranteed to be playing rummy.
exists e1 s1 s2 s3 x1 x2 x3 x4 x5.(n_floor(x5) & on(e1,x5) & in(e1,x2) & n_play(x2) & of(x2,x4) & n_attire(x4) & of(x2,x3) & n_wedding(x3) & a_red(s3) & Theme(s3,x2) & a_black(s2) & Theme(s2,x2) & Actor(e1,x1) & v_dress(e1) & n_kid(x1) & a_small(s1) & Theme(s1,x1) & card_eq_4(x1))
exists e1 x1 x2.(n_thing(x1) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_rummy(x2))