A man in black rides a bicycle across the street while another walks holding a dog.
Two men are driving down a street.
Two man can't be driving if one rides a bicycle and the other walks holding a dog.
exists p1 p2 p3 x1 x7.(n_street(x7) & all x5.(n_bicycle(x5) -> exists s1 x6.(across(x1,x7) & in(x1,x6) & for(x6,x5) & n_ride(x6) & a_black(s1) & Theme(s1,x6))) & n_man(x1) & exists x4.n_event(x4) & exists e1 p4 x2.(exists e2 x3.(Theme(e2,x3) & Actor(e2,x2) & v_hold(e2) & n_dog(x3)) & Topic(e1,p4) & Actor(e1,x2) & v_walk(e1) & n_thing(x2)) & while(p2,p3))
exists e1 x1 x2.(down(e1,x2) & n_street(x2) & Actor(e1,x1) & v_drive(e1) & n_man(x1) & card_eq_2(x1))