The man with sunglasses and a striped shirt is walking down the street with three cases of beer.
The man is pushing the beer on a dolly.
A man walking down the street with three cases of beer isn't necessarily pushing the beer on a dolly
exists e1 s1 s2 x1 x2 x3 x4 x5 x6 x7.(n_street(x5) & n_man(x1) & with(e1,x6) & of(x6,x7) & n_beer(x7) & n_case(x6) & card_eq_3(x6) & a_down(s2) & Manner(e1,s2) & Theme(e1,x5) & Actor(e1,x1) & v_walk(e1) & with(x1,x2) & subset_of(x4,x2) & n_shirt(x4) & a_striped(s1) & Theme(s1,x4) & subset_of(x3,x2) & n_sunglass(x3))
exists e1 x1 x2 x3.(n_beer(x2) & n_man(x1) & on(e1,x3) & n_dolly(x3) & Theme(e1,x2) & Actor(e1,x1) & v_push(e1))