Max a préparé un sandwich pour moi not(exist(start(E), Product)) exist(result(E), Product) cause(Agent, E) benefit(E, Beneficiary) Max a grillé des steaks pour Léa not(state(start(E), Endstate, Patient)) state(result(E), Endstate, Patient) cause(Agent, E) benefit(E, Beneficiary)