Marie réside chez Luc not(location(start(E), Theme, Location)) location(during(E), Theme, Location)