"Agent V {to} Result" . . . . . . "PP; w/ endstate"@en . "NP V PP.result"@en . . . . . "state(start(E), ?Material, Agent) state(result(E), Result, Agent) not(state(start(E), Result, Agent)) not(state(result(E), ?Material, Agent)) cause(Agent, E)" . . . . .