A woman painting with a roller.
A woman is painting.
Both subjects are painting
exists x1 x2 x3.(a_topic(x1) & with(x1,x3) & n_roller(x3) & n_painting(x1) & of(x1,x2) & n_woman(x2))
exists p1 x1.(exists x2.((x1 = x2) & n_painting(x2)) & n_woman(x1))