{\displaystyle (\exists e)kill(e)\land Agent(e)=Brutus\land Theme(e)=Caesar}