In USN: traverses, which is for both crosses-over and crosses-through, for regions or parts only. Here: x crosses-through y equals to x overlaps y along at least one whole dimension (length, width or depth), say the interiors of x and y overlap. On the contrary, x crosses-over y equals to x crosses-through the region of y, without overlapping y.
(=> (Crosses-Through ?A ?B) (Exists (?C ?D) (And (Interior ?A ?C) (Overlaps ?C ?D) (Interior-Of ?D ?B))))