A group of dogs racing.
A St. Bernard with a keg around his neck.
not all the dogs are St. Bernard
exists e1 x1 x2 x3.(a_topic(x1) & Actor(e1,x3) & v_race(e1) & (x1 = x3) & of(x1,x2) & n_dog(x2) & n_group(x1))
exists s1 x1 x2 x3.(a_topic(s1) & with(s1,x2) & around(x2,x3) & n_neck(x3) & of(x3,x2) & n_male(x2) & n_keg(x2) & ne_geo_bernard(s1) & (s1 = x1) & ne_geo_st.(x1))