predicate P whenever it is possible, instead of using a catalog of thetaroles, which are difficult to justify. The use of abduction operations is limited here to predicates already present in the core event structure. In other words, predicates from the OS introduced by the core event are tried first. In this case, the OS [:at(z, y), at(z, y)] encodes the change of location that is required by ...