Lifted Logic CHARGE