Upon retirement of a local safety member for industrial disability he or she shall receive a disability retirement 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.