Upon retirement of a local miscellaneous member for industrial disability, he or she shall receive a disability allowance of 50 percent of his or her final compensation plus an annuity purchased with his or her accumulated additional contributions, if any, or, if qualified for service retirement, he or she shall receive his or her service retirement allowance if the allowance, after deducting the annuity, is greater.