The child in the red coat laid in the red mat.
A child rolls on top of the red mat.
Just because the child is laying on the mat does not mean the child rolls on top of it.
exists e1 s1 s2 x1 x2 x3 x4.(n_mat(x4) & a_red(s2) & Theme(s2,x4) & n_coat(x2) & a_red(s1) & Theme(s1,x2) & n_child(x1) & a_topic(x1) & in(x1,x2) & in(e1,x4) & Theme(e1,x3) & v_lay(e1) & (x2 = x3))
exists e1 s1 x1 x2 x3.(n_mat(x3) & a_red(s1) & Theme(s1,x3) & on(e1,x2) & of(x2,x3) & n_top(x2) & Actor(e1,x1) & v_roll(e1) & n_child(x1))