La sorcière a transformé Paul en grenouille not(state(start(E), Result, Patient)) state(result(E), Result, Patient) cause(Agent, E)