A navy wearing a gray sweatshirt and blue jeans is laying on a full build bid with another girl who is wearing a black sweater white belts with studs and black jeans
A girl joins the navy and is signing the papers.
A girl is unlikely to be laying down with another girl while joining the navy and signing papers. There can either be one or two girls.
exists e3 e2 e1 s1 s2 s3 s4 s5 s6 s7 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14.(n_girl(x7) & on(e2,x6) & with(x6,x8) & with(e3,x12) & subset_of(x14,x12) & n_jeans(x14) & a_black(s7) & Theme(s7,x14) & subset_of(x13,x12) & n_stud(x13) & Theme(e3,x10) & Actor(e3,x9) & v_wear(e3) & n_belt(x10) & a_white(s6) & Theme(s6,x10) & of(x10,x11) & n_sweater(x11) & a_black(s5) & Theme(s5,x10) & (x8 = x9) & n_girl(x8) & -(x8 = x7) & n_bid(x6) & a_build(s4) & Theme(s4,x6) & a_full(s3) & Theme(s3,x6) & Actor(e2,x1) & v_lay(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & subset_of(x5,x3) & n_jeans(x5) & a_blue(s2) & Theme(s2,x5) & subset_of(x4,x3) & n_sweatshirt(x4) & a_gray(s1) & Theme(s1,x4) & (x1 = x2) & n_navy(x1))
exists e1 e2 x1 x2 x3 x4.(n_papers(x4) & n_navy(x2) & Theme(e2,x4) & Actor(e2,x3) & v_sign(e2) & n_girl(x3) & Theme(e1,x2) & Actor(e1,x1) & v_join(e1) & n_girl(x1))