A person swimming in a pool with black goggles on.
A person is swimming.
A person swimming is same as person swimming
exists s1 s2 x1 x2 x3 x4 x5.(a_topic(x1) & Theme(s2,x5) & a_on(s2) & (x1 = x5) & in(x1,x3) & with(x3,x4) & n_goggles(x4) & a_black(s1) & Theme(s1,x4) & n_pool(x3) & Time(x1,x2) & n_swimming(x2) & n_person(x1))
exists p1 x1.(exists x2.((x1 = x2) & n_swimming(x2)) & n_person(x1))