The Irish setter with the safety vest is running ahead of the Rottwieler and the Dalmation.
Three dogs are running.
All three dogs are running no matter the distance between.
exists e1 s1 x1 x2 x3 x4 x5 x6.(n_dalmation(x6) & ne_org_rottwieler(x5) & n_vest(x2) & of(x2,x3) & n_safety(x3) & n_setter(x1) & a_irish(s1) & Theme(s1,x1) & of(e1,x4) & subset_of(x6,x4) & subset_of(x5,x4) & r_ahead(e1) & Actor(e1,x1) & v_run(e1) & with(x1,x2))
exists e1 x1.(Actor(e1,x1) & v_run(e1) & n_dog(x1) & card_eq_3(x1))