There are handprints all over this mat.
The mat has been touched a lot.
not every mat has handprints.
exists p1 x1 x2.(n_mat(x2) & r_all(p1) & over(p1,x2) & exists x3.((x1 = x3) & n_handprint(x3)))
exists e1 x1 x2.(n_mat(x1) & n_lot(x2) & Time(e1,x2) & Theme(e1,x1) & v_touch(e1))