A group of college students walk in nice weather.
College students are outside
The students can only be walking in nice weather if they are outside.
exists e1 s1 x1 x2 x3 x4.(in(e1,x4) & n_weather(x4) & a_nice(s1) & Theme(s1,x4) & Actor(e1,x1) & v_walk(e1) & of(x1,x2) & n_student(x2) & of(x2,x3) & n_college(x3) & n_group(x1))
exists s1 x1 x2.(Theme(s1,x1) & a_outside(s1) & n_student(x1) & (x1 = x2) & ne_nam_college(x2))