. . . . . . . "8.1"@en . . . . "Agent V Asset" . "NP V NP"@en . "0.2"@en . "exist(start(E), Asset) not(exist(end(E), Asset)) spend(during(E), Agent, Asset, ?Goal) do(Agent, E) path_rel(start(E), Source, Asset, ch_of_poss) path_rel(result(E), ?Goal, Asset, ch_of_poss) equals(Agent, Source)" . . . . . "Basic Transitive"@en .