| 
                  | NP V NP.theme |  
                     | example | "The pirates drowned the sailor." |  
                     | syntax | Agent  V  Patient |  
                     | semantics | path_rel(start(E), Initial_State, Patient, ch_of_state, prep)
                        path_rel(result(E), Result, Patient, ch_of_state, prep)
                        cause(Agent, E)
                        not(suffocate(start(E), Patient))
                        suffocate(result(E), Patient) |  
                  | NP.theme V |  
                     | example | "The sailor drowned." |  
                     | syntax | Patient  V |  
                     | semantics | path_rel(start(E), Initial_State, Patient, ch_of_state, prep)
                        path_rel(result(E), Result, Patient, ch_of_state, prep)
                        not(suffocate(start(E), Patient))
                        suffocate(result(E), Patient) |  
                  | NP V PP.result |  
                     | example | "He choked/suffocated to death." |  
                     | syntax | Patient  V  {to}  Result  [+state] |  
                     | semantics | path_rel(start(E), Initial_State, Patient, ch_of_state, prep)
                        path_rel(result(E), Result, Patient, ch_of_state, prep)
                        not(suffocate(start(E), Patient))
                        suffocate(result(E), Patient) |  
                  | NP V NP PP.result |  
                     | example | "The pirate choked the sailor to death." |  
                     | syntax | Agent  V  Patient  {to}  Result  [+state] |  
                     | semantics | path_rel(start(E), Initial_State, Patient, ch_of_state, prep)
                        path_rel(result(E), Result, Patient, ch_of_state, prep)
                        cause(Agent, E)
                        not(suffocate(start(E), Patient))
                        suffocate(result(E), Patient) |  |