A lack dog and a brown and white dog run on a gravel surface with something red underfoot.
Both dogs were born out of the same litter.
Different dogs were not necessarily born out of the same litter, just because they run on a gravel surface.
exists s1 s2 s3 s4 x1 x2 x3 x4 x5 x6 x7 x8 x9.(a_topic(s1) & subset_of(x3,s1) & on(x3,x5) & with(x5,x7) & Time(x7,x9) & n_underfoot(x9) & Theme(s4,x8) & a_red(s4) & (x7 = x8) & n_thing(x7) & n_surface(x5) & of(x5,x6) & n_gravel(x6) & n_run(x3) & of(x3,x4) & n_dog(x4) & a_white(s3) & Theme(s3,x3) & a_brown(s2) & Theme(s2,x3) & subset_of(x1,s1) & n_dog(x1) & of(x1,x2) & n_lack(x2))
exists e1 s1 x1 x2.(n_litter(x2) & a_same(s1) & Theme(s1,x2) & n_dog(x1) & of(e1,x2) & r_out(e1) & Theme(e1,x1) & v_bear(e1))