Luc a breveté son idée. license(result(E), Theme) cause(Agent, E)