Normal Form. The term "Normal Form" of an Annuity Benefit under this Contract means (i) if the Annuitant has a living spouse at the Retirement Date, the Fixed Annuity Benefit payable on the Joint and Survivor Life Annuity Form with such spouse as the contingent annuitant (with 100% of the monthly payment amount continued to the spouse), and (ii) if the Annuitant does not have a living spouse at the Retirement Date, the Fixed Annuity Benefit payable on the Life Annuity Form.
Normal Form. In this section we develop a normal form for expressions in TSL, which we will use in the completeness proof for SF1. As − SL is a surjective function it has at least one right inverse. Let us pick one and denote it by (−)Π . We thus have (−)Π : Pn(Σ) → TSL such that − SL ◦ (−)Π is the identity on Pn(Σ). The normal form for expressions in TSL is defined as follows:
Normal Form. For all e ∈ TSL the normal form of e, )SL denoted as e, is defined as ( e )Π. Let TSL = {e : e ∈ 7SL}. × × × × × × ∈ × × Intuitively, an expression in normal form is standardised with respect to idempotence, associativity and commutativity. For instance, for a term (a a) (c b) with a, b, c Σ, the chosen normal form, dictated by the chosen right inverse, could be (a b) c, and all terms provably equivalent to (a a) (c b) will have this same normal form. Using Lemma 3.4, we can formalise this in the following two results:
Normal Form. The term “Normal Form” shall mean a single life annuity.
Normal Form. Unless a Member elects an optional form of Basic Pension under Section 9.03, payment thereof shall be in the form of monthly instalments beginning on the last day of the month in which his Retirement Date occurs and continuing thereafter up to and including the month of death, or earlier cessation of disability (as defined in paragraph 5.05(c)). Notwithstanding the foregoing, the Basic Pension payable to a Member who retires on his Normal Retirement Date and retirement income payable under Section 11.02 which is locked-in pension as defined under Applicable Pension Laws, will be payable as above, with a guarantee that not less than sixty
Normal Form. Subject to (a) and (b) below, participants who retire under the Plan on or after October 1, 2002 shall receive a monthly benefit of $40.00 for those who retire with less than 25 years of credited service: $55.00 for those who retire with 25 or more years of credited service. Reductions for optional payment methods will be actuarially determined. Years of
Normal Form. The term "Normal Form" of an Annuity Benefit under this Contract means the Fixed Annuity Benefit payable on the Life Annuity Form, as defined in Sections 3.01 and 1.16, with 10 years of payments guaranteed (10 years certain period). In addition, if the Annuitant dies before the certain period has ended, payments will continue to the beneficiary designated to receive such payments for the balance of the certain period.
Normal Form. The term "Normal Form" of an Annuity Benefit under this Contract means a Period Certain Annuity.
Normal Form. The normal form of benefit payable to an Eligible Employee under Article IV shall be a monthly benefit, payable on a single life basis commencing as of the first day of the month next following the Eligible Employee's sixty-fifth (65th) birthday or his actual retirement, (whichever is later) but in no event later than his seventieth (70th) birthday, which is Actuarially Equivalent to such Eligible Employee's Supplemental Pension Benefit.
Normal Form. Except as otherwise provided in this Section 2(b)(i) and subject to the rules regarding the potential delay in payment described in Section 20, the total deferred compensation due Employee pursuant to this Section 2(b), consisting of the total amounts credited to Employee’s Deferral Account, less any distributions, shall be paid by the Employer in five (5) substantially equal annual installments, the first installment to be due on January 15th of the year following termination of the Employment and the remaining installments to be due on January 15th in each of the succeeding four years. For purposes of Section 409A of the Internal Revenue Code of 1986, as amended (the “Code”), the series of installments is hereby designated as one payment.
