Every one walking on the grass has on blue jeans and are walking arm in arm.
Everyone walking has on blue jeans.
Everyone walking is further defined as walking on grass.
exists x2 x5.(n_grass(x5) & n_grass(x2) & all x4.((n_walking(x4) & card_eq_1(x4)) -> exists e2 x6 x7.(in(e2,x7) & n_arm(x7) & Theme(e2,x6) & Actor(e2,x4) & v_walk(e2) & n_arm(x6) & on(x4,x5))) & all x1.((n_walking(x1) & card_eq_1(x1)) -> exists e1 s1 x3.(on(e1,x3) & n_jeans(x3) & a_blue(s1) & Theme(s1,x3) & Actor(e1,x1) & v_have(e1) & on(x1,x2))))
exists e1 s1 x1 x2.(on(e1,x2) & n_jeans(x2) & a_blue(s1) & Theme(s1,x2) & Actor(e1,x1) & v_have(e1) & n_walking(x1))