A little girl running down a brighly lit hallway.
The girl has not yet learned to walk.
The girl cannot be running if she has not yet learned to walk.
exists e1 s1 s2 s3 x1 x2 x3.(a_topic(x1) & a_down(s3) & Manner(e1,s3) & Theme(e1,x3) & Actor(e1,x2) & v_run(e1) & n_hallway(x3) & a_lit(s2) & Theme(s2,x3) & r_brighly(x3) & (x1 = x2) & n_girl(x1) & a_little(s1) & Theme(s1,x1))
exists x1.(n_girl(x1) & -exists e1 p1 s1.(a_yet(s1) & Manner(e1,s1) & Topic(e1,p1) & Actor(e1,x1) & v_learn(e1) & exists e2.(Actor(e2,x1) & v_walk(e2))))