motion(during(E0), Theme) path_rel(start(E0), Theme, Initial_Location, ch_of_loc, prep) path_rel(during(E0), Theme, ?Trajectory, ch_of_loc, prep) path_rel(end(E0), Theme, ?Destination, ch_of_loc, prep) equals(E0, E1) motion(during(E1), Agent) path_rel(start(E1), Agent, Initial_Location, ch_of_loc, prep) path_rel(during(E1), Agent, ?Trajectory, ch_of_loc, prep) path_rel(end(E1), Agent, ?Destination, ch_of_loc, prep) cause(Agent, E0) 

Agent V Theme {from} Initial_Location