A woman in an art gallery works on her own version of the middle of three portraits that are shown, while an old man in a tan trench coat studies the art.
A woman is seeing a piece of art for the first time.
A woman who works on her own version of three portraits cannot also be seeing the art for the first time.
exists e2 e1 p1 s1 x1 x2 x3 x4 x5 x6 x7.(n_middle(x5) & on(e1,x4) & of(x4,x5) & of(x5,x6) & exists e3 s2 s3 x8 x9 x10.(Theme(e3,x3) & Actor(e3,x8) & v_study(e3) & in(x8,x9) & n_coat(x9) & of(x9,x10) & n_trench(x10) & a_tan(s3) & Theme(s3,x9) & n_man(x8) & a_old(s2) & Theme(s2,x8)) & n_art(x3) & n_art(x3) & while(e2,p1) & Theme(e2,x7) & v_show(e2) & (x6 = x7) & n_portrait(x6) & card_eq_3(x6) & n_version(x4) & a_own(s1) & Theme(s1,x4) & of(x4,x1) & n_female(x1) & Actor(e1,x1) & v_work(e1) & in(x1,x2) & n_gallery(x2) & of(x2,x3) & n_woman(x1))
exists e1 s1 x1 x2 x3 x4.(n_time(x4) & a_first(s1) & Theme(s1,x4) & for(e1,x4) & Theme(e1,x2) & Actor(e1,x1) & v_see(e1) & of(x2,x3) & n_art(x3) & n_piece(x2) & n_woman(x1))