A brown dog is up to its knees in snow.
THe height of the snow is level with the dogs knees.
If height of the snow is level with the dogs knees then the dog is up to its knees in snow.
exists s1 s2 x1 x2 x3.(to(s2,x2) & in(x2,x3) & n_snow(x3) & n_knee(x2) & of(x2,x1) & n_thing(x1) & Theme(s2,x1) & a_up(s2) & n_dog(x1) & a_brown(s1) & Theme(s1,x1))
exists p1 x1 x2 x3 x5 x6.(n_knee(x5) & of(x5,x6) & n_dog(x6) & n_snow(x3) & exists x4.((x1 = x4) & with(x4,x5) & n_level(x4)) & of(x1,x3) & n_height(x1) & (x1 = x2) & ne_nam_the(x2))