Lifted Logic 3/5