Two teenage girls with bright colored hair, one blond with a black bow and one bright pink with white sunglasses, are waiting for the bus.
The girls are waiting.
Both subjects are waiting
exists e1 s1 s2 s3 s4 s5 s6 x1 x2 x3 x4 x5 x6 x7 x8.(n_bus(x8) & for(e1,x8) & Actor(e1,x1) & v_wait(e1) & with(x1,x2) & rel(x2,x3) & with(x3,x4) & with(x4,x7) & n_sunglass(x7) & a_white(s6) & Theme(s6,x7) & n_pink(x6) & a_bright(s5) & Theme(s5,x6) & card_eq_1(x6) & n_bow(x5) & a_black(s4) & Theme(s4,x5) & subset_of(x6,x4) & subset_of(x5,x4) & n_blond(x3) & card_eq_1(x3) & n_hair(x2) & a_colored(s3) & Theme(s3,x2) & a_bright(s2) & Theme(s2,x2) & n_girl(x1) & a_teenage(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 x1.(n_girl(x1) & Actor(e1,x1) & v_wait(e1))