Luc a quitté la pièce motion(during(E), Theme) location(start(E), Theme, Initial_Location) not(location(end(E), Theme, Initial_Location)) direction(during(E), from, Theme, Initial_Location)