Two little girls share a coloring book and crayons while sitting together at the table.
they are using red crayons
Crayons can be of many colors and just because they are using crayons it does not necessarily mean red crayons.
exists e2 e3 e1 p1 s1 x1 x2 x3 x4 x5.(n_table(x5) & while(e2,e3) & at(e3,x5) & exists s2.(Theme(s2,x1) & a_together(s2)) & Topic(e3,p1) & Actor(e3,x1) & v_sit(e3) & Theme(e2,x2) & Actor(e2,x1) & v_share(e2) & subset_of(x4,x2) & n_crayon(x4) & subset_of(x3,x2) & n_book(x3) & Actor(e1,x3) & v_color(e1) & n_girl(x1) & a_little(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 s1 x1 x2.(n_thing(x1) & Theme(e1,x2) & Actor(e1,x1) & v_use(e1) & n_crayon(x2) & a_red(s1) & Theme(s1,x2))