An African American in a red top and white and brown skirt crosses a street while a man in a blue shirt runs on it.
One man crossing the street to get to work and another man exercising.
The fact that an African American in a red top and white and brown skirt crosses a street while a man in a blue shirt runs on it does not imply that one man crossing the street to get to work and another man exercising.
exists e1 p1 s1 s2 s3 s4 x1 x2 x3 x4 x5.(exists e2 s5 x6 x7.(on(e2,x3) & Actor(e2,x6) & v_run(e2) & in(x6,x7) & n_shirt(x7) & a_blue(s5) & Theme(s5,x7) & n_man(x6)) & n_thing(x3) & while(e1,p1) & Theme(e1,x5) & Actor(e1,x1) & v_cross(e1) & n_street(x5) & in(x1,x2) & n_skirt(x4) & a_brown(s4) & Theme(s4,x4) & a_white(s3) & Theme(s3,x4) & n_top(x3) & subset_of(x4,x2) & subset_of(x3,x2) & a_red(s2) & Theme(s2,x2) & ne_nam_american(x1) & a_african(s1) & Theme(s1,x1))
exists e1 e2 p1 x1 x2 x3 x4.(n_street(x3) & Actor(e2,x4) & v_exercise(e2) & n_man(x4) & -(x4 = x1) & n_man(x1) & n_man(x1) & Topic(e1,p1) & exists e3 p2.(Topic(e3,p2) & Actor(e3,x1) & v_get(e3) & exists e4.(Actor(e4,x1) & v_work(e4))) & Theme(e1,x3) & Actor(e1,x2) & v_cross(e1) & n_man(x2) & card_eq_1(x2) & card_eq_1(x1))