Lifted Logic 3