Luc a réussi à escalader la montagne successful_in(E, Agent, Theme) Max a échoué à l'examen not(successful_in(E, Agent, Theme)) Max a échoué à passer le test not(successful_in(E, Agent, Theme)) Luc a raté son examen not(successful_in(E, Agent, Theme))