A group of pugs in a lawn.
Several dogs are outside in the grass.
Several is a group. Pugs are a type of dog. Grass is another way to say lawn
exists x1 x2 x3.(a_topic(x1) & of(x1,x2) & in(x2,x3) & n_lawn(x3) & n_pug(x2) & n_group(x1))
exists s1 s2 x1 x2.(n_grass(x2) & in(s2,x2) & Theme(s2,x1) & a_outside(s2) & n_dog(x1) & a_several(s1) & Theme(s1,x1))