Three kids and one adult walking on a path.
there is kids and adult walking the path
Three kids and one adult is shortened to kids, because there is more than one kid and "adult,"  because there is only "one" adult.
exists s1 x1 x2 x3 x4.(a_topic(s1) & subset_of(x2,s1) & on(x2,x4) & n_path(x4) & n_walking(x2) & of(x2,x3) & n_adult(x3) & card_eq_1(x2) & subset_of(x1,s1) & n_kid(x1) & card_eq_3(x1))
exists p1 x1 x6.(n_path(x6) & exists e1 x2 x3 x4 x5.((x1 = x2) & subset_of(x4,x2) & Theme(e1,x6) & Actor(e1,x5) & v_walk(e1) & (x4 = x5) & n_adult(x4) & subset_of(x3,x2) & n_kid(x3)))