The Chocolate Lab jumps too late to get the toy as the Black Lab captures it in the driveway.
Two dogs are fighting over the same toy in the yard.
You cannot be in the yard and on the driveway at the same time.
exists e1 p1 x1 x2 x4 x5 x6.(n_driveway(x6) & n_thing(x4) & ne_org_lab(x1) & ne_org_lab(x1) & (x1 = x5) & ne_org_black(x5) & n_toy(x4) & (x1 = x2) & ne_org_chocolate(x2) & exists p2 s1.(Topic(s1,p2) & exists e2 p3 x3.(exists e3.(in(e3,x6) & Theme(e3,x4) & Actor(e3,x1) & v_capture(e3)) & as(e2,p3) & Theme(e2,x4) & Actor(e2,x3) & v_get(e2)) & Theme(s1,x1) & a_late(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_jump(e1))
exists e1 s1 x1 x2 x3.(n_yard(x3) & n_toy(x2) & a_same(s1) & Theme(s1,x2) & over(e1,x2) & in(x2,x3) & Actor(e1,x1) & v_fight(e1) & n_dog(x1) & card_eq_2(x1))