Type a1 Sample Clauses

Type a1. =A a2 or I(A, a1, a2) The type of objects which prove that a1 and a2 are equal objects of A. Recall that to know a type is to know how to construct its canonical objects, and—more importantly in this context—what it means for two objects to be equal. Formation Rule (=A) The formation rule asserts that a1 =A a2 is an object of Up, if A is an object of Up, and a1 and a2 are objects of A, i.e.
AutoNDA by SimpleDocs

Related to Type a1

  • Training Sub-Type Code There are Sub-Type Categories for each of the three (3) different Training Type Codes. Select one (1) Sub-Type Category code that applies to the training type code you selected. (Select from the chart on pages 10-12.)

  • PRICING OF Regular Hours Coefficient What is your regular hours coefficient for the RS Means Price Book? Remember that this is a ceiling price proposed. You can discount lower than your proposed contract coefficient, but not higher. This is one of three pricing questions that are required for consideration for award on this solicitation. Please consider your answer carefully. An explanation of the TIPS scoring of pricing is included in the attachments for your information. The below is an Example of how pricing model works (not intended to influence your proposed coefficient, you should propose a coefficient that you determine is right for your business): To propose the exact pricing as the RS Means Unit Price Book, you would insert a 1.0 and to propose a 5% discount for the RS Means Price Book would be a .95 regular hours coefficient and so on.

  • Food Service Waste Reduction Requirements Contractor shall comply with the Food Service Waste Reduction Ordinance, as set forth in San Francisco Environment Code Chapter 16, including but not limited to the remedies for noncompliance provided therein.

  • JOC - PRICING OF Regular Hours Coefficient What is your regular hours coefficient for the RS Means Price Book? (FAILURE TO RESPOND PROHIBITS PART 2 JOC EVALUATION) Remember that this is a ceiling price proposed. You can discount lower than your proposed contract coefficient, but not higher. This is one of three pricing questions that are required for consideration for award on this solicitation. Please consider your answer carefully. An explanation of the TIPS scoring of pricing is included in the attachments for your information. The below is an Example of how pricing model works (not intended to influence your proposed coefficient, you should propose a coefficient that you determine is right for your business): To propose the exact pricing as the RS Means Unit Price Book, you would insert a 1.0 and to propose a 5% discount for the RS Means Price Book would be a .95 regular hours coefficient and so on.

  • REQUIRED FOR PART 2 JOC - PRICING OF Regular Hours Coefficient What is your regular hours coefficient for the RS Means Price Book? (FAILURE TO RESPOND PROHIBITS PART 2 JOC EVALUATION) Remember that this is a ceiling price proposed. You can discount lower than your proposed contract coefficient, but not higher. This is one of three pricing questions that are required for consideration for award on this solicitation. Please consider your answer carefully. An explanation of the TIPS scoring of pricing is included in the attachments for your information. The below is an Example of how pricing model works (not intended to influence your proposed coefficient, you should propose a coefficient that you determine is right for your business): To propose the exact pricing as the RS Means Unit Price Book, you would insert a 1.0 and to propose a 5% discount for the RS Means Price Book would be a .95 regular hours coefficient and so on.

  • Prescription Drugs and Diabetic Equipment or Supplies Biological products for allergen immunotherapy and vaccinations. • Blood fractions. • Compound prescription drugs that are not made up of at least one legend drug. • Bulk powders and chemicals used in compound prescriptions that are not FDA approved, are not covered unless listed on our formulary. • Prescription drugs prescribed or dispensed outside of our dispensing guidelines. • Prescription drugs ordered or prescribed based solely on online questionnaires, telephonic interviews, surveys, emails, or any other marketing solicitation methods, whether alone or in combination. • Prescription drugs that have not proven effective according to the FDA. • Prescription drugs used for cosmetic purposes. • Prescription drugs purchased from a non-designated pharmacy, if a pharmacy has been designated for you through the Pharmacy Home Assignment program. • Experimental prescription drugs including those placed on notice of opportunity hearing status by the Federal Drug Efficacy Study Implementation (DESI). • Prescription drugs provided to you that are not dispensed by a network pharmacy or covered under your medical plan. • Prescription drugs and diabetic equipment and supplies purchased at a non-network pharmacy unless indicated as covered in the Summary of Pharmacy Benefits. • Prescription drug related medical supplies except for diabetic, regardless of the reason prescribed, the intended use, or medical necessity. Examples include, but are not limited to, alcohol pads, bandages, wraps or pill holders. • Off-label use of prescription drugs except as described in Experimental or Investigational Services in Section 3; • Prescribed weight-loss drugs. • Replacement of prescription drugs resulting from a lost, stolen, broken or destroyed prescription order or refill. • Therapeutic devices and appliances, including hypodermic needles and syringes except when used to administer insulin. • Prescription drugs, therapeutic equivalents, or any other pharmaceuticals used to treat sexual dysfunctions. • Vitamins, unless specifically listed as a covered healthcare service. • A prescription drug refill greater than the refill number authorized by your physician, more than a year from the date of the original prescription, or limited by law. • Long acting opioids and other controlled substances, nicotine replacement therapy, and specialty prescription drugs when purchased from a mail order pharmacy. • Prescription drugs and specialty prescription drugs when the required prescription drug preauthorization is not obtained. • Certain prescription drugs that have an over-the-counter (OTC) equivalent. • Prescriptions filled through an internet pharmacy that is not a verified internet pharmacy practice site certified by the National Association of Boards of Pharmacy. • Illegal drugs, including medical marijuana, which are dispensed in violation of state and/or federal law. Private Duty Nursing Services • Services of a nurse's aide. • Services of a private duty nurse: o when the primary duties are limited to bathing, feeding, exercising, homemaking, giving oral medications or acting as companion or sitter; o after the caregiver or patient have demonstrated the ability to carry out the plan of care; o provided outside the home. Examples include at school, or in a nursing or assisted living facility; o that are duplication or overlap of services. Examples include when a person is receiving hospice care services or for the same hours of a skilled nursing home care visit; o that are for observation only; and o provided as part-time/intermittent and not continuous care. • Maintenance care when the condition has stabilized including routine ostomy care or tube feeding administration or if the anticipated need is indefinite. • Twenty-four (24) hour private duty nursing care for a person without an available caregiver in the home. • Respite care (e.g., care during a caregiver vacation) or private duty nursing so that the caregiver may attend work or school. Surgery Services • Abdominoplasty. • Brow ptosis surgery. • Cervicoplasty. • Chemical exfoliations, peels, abrasions, dermabrasions, or planing for acne, scarring, wrinkling, sun damage or other benign conditions. • Correction of variations in normal anatomy including augmentation mammoplasty, mastopexy, and correction of congenital breast asymmetry. • Dermabrasion. • Ear piercing or repair of a torn earlobe. • Excision of excess skin or subcutaneous tissue except for panniculectomy. • Genioplasty. • Hair transplants. • Hair removal including electrolysis epilation, unless in relation to gender reassignment services or skin grafting. • Inverted nipple surgery. • Laser treatment for acne and acne scars. • Osteoplasty - facial bone reduction. • Otoplasty. • Procedures to correct visual acuity including but not limited to cornea surgery or lens implants. • Removal of asymptomatic benign skin lesions. • Repeated cauterizations or electrofulguration methods used to remove growths on the skin. • Rhinoplasty.

  • Training Credit Type Code Select and insert the appropriate training credit designation type code: Code Short Description

  • What Forms of Distribution Are Available from a Xxxxxxxxx Education Savings Account Distributions may be made as a lump sum of the entire account, or distributions of a portion of the account may be made as requested.

  • Technical Characteristics The Participating Generator has provided to the CAISO in Schedule 1 the required information regarding the capacity and operating characteristics of each of the Generating Units listed in that schedule. Pursuant to Sections 8.9 and 8.10 of the CAISO Tariff, the CAISO may verify, inspect and test the capacity and operating characteristics provided in Schedule 1.

  • When Must Distributions from a Xxxxxxxxx Education Savings Account Begin? Distribution of a Xxxxxxxxx Education Savings Account must be made (or otherwise will be deemed made) no later than 30 days from the earlier of the beneficiary’s death or attainment of age 30. A distribution from a Xxxxxxxxx Education Savings Account may be rolled over to another beneficiary’s Xxxxxxxxx Education Savings Account according to the requirements of Section (4). Note that the Economic Growth and Tax Relief Reconciliation Act of 2001 waives the distribution age limitation if the beneficiary of the Xxxxxxxxx Education Savings Account is a “Special Needs” student.

Time is Money Join Law Insider Premium to draft better contracts faster.