The Chocolate Lab jumps too late to get the toy as the Black Lab captures it in the driveway.
Dogs are asleep in their beds.
You cannot jump if you are asleep.
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 s1 x1 x2.(in(s1,x2) & n_bed(x2) & of(x2,x1) & n_thing(x1) & Theme(s1,x1) & a_asleep(s1) & n_dog(x1))