The little girl wearing a red shirt is walking through the grass.
The little girl is outside.
If the girl is walking through the grass, she must be outside.
exists e1 e2 s1 s2 x1 x2 x3 x4.(n_grass(x4) & n_girl(x1) & a_little(s1) & Theme(s1,x1) & through(e2,x4) & Actor(e2,x1) & v_walk(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_shirt(x3) & a_red(s2) & Theme(s2,x3) & (x1 = x2))
exists s1 s2 x1.(n_girl(x1) & a_little(s1) & Theme(s1,x1) & Theme(s2,x1) & a_outside(s2))