A young boy walking his bicycle in the early evening.
The boy is not riding his bicycle.
Someone who is walking his bicycle cannot be riding his bicycle.
exists e1 s1 s2 x1 x2 x3 x4.(n_evening(x4) & a_early(s2) & Theme(s2,x4) & a_topic(x1) & in(e1,x4) & Theme(e1,x3) & Actor(e1,x2) & v_walk(e1) & n_bicycle(x3) & of(x3,x1) & n_male(x1) & (x1 = x2) & n_boy(x1) & a_young(s1) & Theme(s1,x1))
exists x1 x2.(n_bicycle(x2) & of(x2,x1) & n_male(x1) & n_boy(x1) & -exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_ride(e1)))