Upon retirement of a patrol member for industrial disability he or she shall receive a disability retirement allowance of 50 per cent 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.