Lifted Logic E