The Chocolate Lab jumps too late to get the toy as the Black Lab captures it in the driveway.
Two dogs are quietly laying down outside.
The dog could not jump if it were laying down.
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 s2 s3 x1.(a_quietly(s3) & Manner(e1,s3) & a_outside(s2) & Manner(e1,s2) & a_down(s1) & Manner(e1,s1) & Actor(e1,x1) & v_lay(e1) & n_dog(x1) & card_eq_2(x1))