Lifted Logic L3