| 
                  | NP.theme V |  
                     | example | "Claire skated." |  
                     | syntax | Theme  V |  
                     | semantics | motion(during(E), Theme)
                        path_rel(start(E), Theme, Initial_Location, ch_of_loc, prep)
                        path_rel(during(E), Theme, Trajectory, ch_of_loc, prep)
                        path_rel(end(E), Theme, Destination, ch_of_loc, prep) |  
                  | NP.theme V PP.location |  
                     | example | "Claire skated along the canal." |  
                     | syntax | Theme  V  {{+path}}  Trajectory |  
                     | semantics | motion(during(E), Theme)
                        path_rel(start(E), Theme, Initial_Location, ch_of_loc, prep)
                        path_rel(during(E), Theme, Trajectory, ch_of_loc, prep)
                        path_rel(end(E), Theme, Destination, ch_of_loc, prep) |  
                  | NP V NP PP.location |  
                     | example | "He skated Penny around the rink." |  
                     | syntax | Agent  V  Theme  {{+path}}  Trajectory |  
                     | semantics | motion(during(E0), Theme)
                        path_rel(during(E0), Theme, Trajectory, ch_of_loc, prep)
                        cause(Agent, E0)
                        equals(E0, E1)
                        motion(during(E1), Agent)
                        path_rel(during(E1), Agent, Trajectory, ch_of_loc, prep) |  
                  | NP V NP |  
                     | example | "He skated Penny." |  
                     | syntax | Agent  V  Theme |  
                     | semantics | 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)
                        cause(Agent, E0)
                        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) |  
                  | NP V NP ADJ |  
                     | example | "He skated Penny exhausted." |  
                     | syntax | Agent  V  Theme  Result |  
                     | semantics | motion(during(E), Theme)
                        cause(Agent, E)
                        path_rel(start(E), Theme, Source, ch_of_loc, prep)
                        path_rel(end(E), Theme, Result, ch_of_state, prep) |  
                  | NP V NP PP.result |  
                     | example | "He skated Penny to exhaustion." |  
                     | syntax | Agent  V  Theme  {to into}  Result  [+state] |  
                     | semantics | motion(during(E), Theme)
                        cause(Agent, E)
                        path_rel(start(E), Theme, Source, ch_of_state, prep)
                        path_rel(end(E), Theme, Result, ch_of_state, prep) |  |