Luc a annulé le contrat de Léa. cause(Agent, E) designated(start(E), Patient) not(designated(end(E), Patient))