Two children with a yellow and blue umbrella play in the bathtub.
Children are bathing together.
if the two children play in the bathtub, then they are bathing together.
exists s1 s2 x1 x2 x3 x4.(n_bathtub(x4) & a_topic(x1) & with(x1,x2) & in(x2,x4) & n_play(x2) & of(x2,x3) & n_umbrella(x3) & a_blue(s2) & Theme(s2,x2) & a_yellow(s1) & Theme(s1,x2) & n_child(x1) & card_eq_2(x1))
exists e1 p1 x1.(exists s1.(Theme(s1,x1) & a_together(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_bath(e1) & n_child(x1))