A brown dog is biting a white and tan dog on the snout.
The dogs are biting each other.
If one dog is biting another, they are probably biting each other.
exists e1 s1 s2 s3 x1 x2 x3.(n_snout(x3) & Theme(e1,x2) & Actor(e1,x1) & v_bite(e1) & on(x2,x3) & n_dog(x2) & a_tan(s3) & Theme(s3,x2) & a_white(s2) & Theme(s2,x2) & n_dog(x1) & a_brown(s1) & Theme(s1,x1))
exists x1.(n_dog(x1) & all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_bite(e1))))