Generic model of base logic. The base logic including equality, later, always, and a notion of ownership is defined on UPred(M ) for any CMRA M . Γ ▶ t : Prop re thus going to define the assertions Γ −→ UPred( ) ne
Generic model of base logic Sample Clauses
Related to Generic model of base logic
Product Changes Vocera shall have the right, in its absolute discretion, without liability to End User, to update to provide new functionality or otherwise change the design of any Product or to discontinue the manufacture or sale of any Product. Vocera shall notify End User at least 90 days prior to the delivery of any Product which incorporates a change that adversely affects form, fit or function (“Material Change”). Vocera shall also notify End User at least 90 days prior to the discontinuance of manufacture of any Product. Notification will be made as soon as reasonably practical for changes associated with regulatory or health and safety issues.
SINGLE-USE PRODUCTS The Board of County Commissioners has established a single-use products and plastic bags policy intended to reduce the use of products which have become globally recognized as having lasting negative impacts on the environment. Neither single-use products nor plastic bags may be sold or disbursed on County property by staff or contracted vendors, except as set forth in Orange County Administrative Regulation 9.01.03. Failure to comply with the Regulation may result in termination of the contract or other contractual remedies, and may affect future contracting with the County. The use of reusable, recyclable, biodegradable, or compostable materials is encouraged.
Loss Leader; Recycled Products Contractor shall not sell or use any article or product as a “loss leader” as defined in Section 17030 of the Business and Professions Code. If Contractor will sell to the Judicial Council, or use in the performance of this Agreement, goods specified in PCC 12207 (for example, certain paper products, office supplies, mulch, glass products, lubricating oils, plastic products, paint, antifreeze, tires and tire-derived products, and metal products), then with respect to those goods: (i) Contractor shall use recycled products in the performance of this Agreement to the maximum extent doing so is economically feasible, and (ii) upon request, Contractor shall certify in writing under penalty of perjury, the minimum, if not exact, percentage of post consumer material as defined in the PCC 12200, in such goods regardless of whether the goods meet the requirements of PCC 12209.
Product Quality (a) Tesoro warrants that all Products delivered under this Agreement or any Purchaser Order shall meet the latest applicable pipeline specifications or otherwise mutually agreed upon specifications for that Product upon receipt at the applicable Terminal and contain no deleterious substances or concentrations of any contaminants that may make it or its components commercially unacceptable in general industry application. Tesoro shall not deliver to any of the Terminals any Products which: (i) would in any way be injurious to any of the Terminals; (ii) would render any of the Terminals unfit for the proper storage of similar Products; (iii) would contaminate or otherwise downgrade the quality of the Products stored in commingled storage; (iv) may not be lawfully stored at the Terminals; or (v) otherwise do not meet applicable Product specifications for such Product that are customary in the location of the Terminal. If, however, there are Products that do not have such applicable specifications, the specifications shall be mutually agreed upon by the Parties. Should Tesoro’s commingled Products not meet or exceed the minimum quality standards set forth in this Agreement or any applicable Terminal Service Order, Tesoro shall be liable for all loss, damage and cost incurred thereby, including damage to Products of third parties commingled with Tesoro’s unfit Products. (b) TLO shall have the right to store compatible Products received for Tesoro’s account with Products belonging to TLO or third parties in TLO’s commingled storage tanks. TLO shall handle Tesoro’s fungible Products in accordance with TLO’s prevailing practices and procedures for handling such Products. The quality of all Products tendered into commingled storage for Tesoro’s account shall be verified either by Tesoro’s refinery analysis or supplier’s certification, such that Products so tendered shall meet TLO’s Product specifications. All costs for such analysis shall be borne solely by Tesoro. TLO shall have the right to sample any Product tendered to the Terminals hereunder. The cost of such sampling shall be borne solely by TLO. All Products returned to Tesoro shall meet or exceed Product specifications in effect on the date the Products are delivered to Tesoro. Notwithstanding any other provision herein, any and all Products that leave the Terminals shall meet all relevant ASTM, EPA, federal and state specifications, and shall not leave the Terminals in the form of a sub-octane grade Product. (c) TLO shall exercise reasonable care to ensure that all Products delivered by third parties into commingled storage with Tesoro’s Products meet applicable Product specifications for such Product that are customary in the location of the Terminal. In the event that Tesoro’s Products are commingled with third-party Products that do not meet or exceed the minimum quality standards set forth in this Agreement or any Terminal Service Order, TLO shall be liable for all loss, damage and cost incurred thereby.
Program Location A. Unless otherwise agreed upon in writing, the parties acknowledge and agree that the Work of this Agreement will be performed at the following Property address: Ktr Address1 Address2
Computer Equipment Recycling Program If this Contract is for the purchase or lease of computer equipment, then Contractor certifies that it is in compliance with Subchapter Y, Chapter 361 of the Texas Health and Safety Code related to the Computer Equipment Recycling Program and the Texas Commission on Environmental Quality rules in 30 TAC Chapter 328.
Additional Acceptable Uses of Student Data Contractor is prohibited from using Student Data for any secondary use not described in this agreement except: a. for adaptive learning or customized student learning purposes; b. to market an educational application or product to a parent or legal guardian of a student if Contractor did not use Data, shared by or collected per this Contract, to market the educational application or product; c. to use a recommendation engine to recommend to a student i. content that relates to learning or employment, within the third-party contractor's internal application, if the recommendation is not motivated by payment or other consideration from another party; or
Program Changes Contractor agrees to inform the County of any alteration in program or service delivery at least thirty (30) days prior to the implementation of the change, or as soon as reasonably feasible.
Loop Provisioning Involving Integrated Digital Loop Carriers 2.6.1 Where Xxxx has requested an Unbundled Loop and BellSouth uses IDLC systems to provide the local service to the End User and BellSouth has a suitable alternate facility available, BellSouth will make such alternative facilities available to Xxxx. If a suitable alternative facility is not available, then to the extent it is technically feasible, BellSouth will implement one of the following alternative arrangements for Xxxx (e.g. hairpinning): 1. Roll the circuit(s) from the IDLC to any spare copper that exists to the customer premises. 2. Roll the circuit(s) from the IDLC to an existing DLC that is not integrated. 3. If capacity exists, provide "side-door" porting through the switch. 4. If capacity exists, provide "Digital Access Cross Connect System (DACS)- door" porting (if the IDLC routes through a DACS prior to integration into the switch). 2.6.2 Arrangements 3 and 4 above require the use of a designed circuit. Therefore, non- designed Loops such as the SL1 voice grade and UCL-ND may not be ordered in these cases. 2.6.3 If no alternate facility is available, and upon request from Xxxx, and if agreed to by both Parties, BellSouth may utilize its Special Construction (SC) process to determine the additional costs required to provision facilities. Xxxx will then have the option of paying the one-time SC rates to place the Loop.
Project Specific Milestones In addition to the milestones stated in Section 212.5 of the Tariff, as applicable, during the term of this ISA, Interconnection Customer shall ensure that it meets each of the following development milestones: 6.1 Substantial Site work completed. On or before December 31, 2020 Interconnection Customer must demonstrate completion of at least 20% of project site construction. At this time, Interconnection Customer must submit to Interconnected Transmission Owner and Transmission Provider initial drawings, certified by a professional engineer, of the Customer Interconnection Facilities. 6.2 Delivery of major electrical equipment. On or before December 31, 2021, Interconnection Customer must demonstrate that all generating units have been delivered to Interconnection Customer’s project site.
