One girl sitting down reading and another girl standing in front of her.
A girl is standing in front of another girl.
If one girl is standing ahead of one girl sitting, she must be standing in front of her.
exists e1 s1 x1 x2 x3 x4 x5 x6 x7.(a_topic(s1) & subset_of(x5,s1) & in(x5,x7) & of(x7,x3) & n_female(x3) & n_front(x7) & n_standing(x5) & of(x5,x6) & n_girl(x6) & -(x5 = x4) & n_standing(x4) & of(x4,x1) & n_girl(x1) & n_girl(x1) & subset_of(x1,s1) & down(e1,x3) & n_reading(x3) & Actor(e1,x2) & v_sit(e1) & (x1 = x2) & card_eq_1(x1))
exists e1 x1 x2 x3.(in(e1,x2) & of(x2,x3) & n_girl(x3) & -(x3 = x1) & n_girl(x1) & n_girl(x1) & n_front(x2) & Actor(e1,x1) & v_stand(e1))