Luc possède deux voitures. has_possession(E, Pivot, Theme)