Semantic Transformations Sample Clauses

Semantic Transformations. ‌ In this section we define a collection of semantic functions that map elements of the α-renamed VDM++ abstract syntax tree to UTP class predicates. We present these semantic functions using the Oxford-style semantic brackets. This a departure from the UTP approach to simply having elements of the language distinguished with a teletype font face. We use this approach as we sometimes also want to carry contextual information in the transformation, and we want to emphasise that this stage is technically the second stage of rewriting. Aside from the functions here explicitly defined, we also assume the following functions:
AutoNDA by SimpleDocs

Related to Semantic Transformations

  • Foreign-Owned Companies in Connection with Critical Infrastructure If Texas Government Code, Section 2274.0102(a)(1) (relating to prohibition on contracts with certain foreign-owned companies in connection with critical infrastructure) is applicable to this Contract, pursuant to Government Code Section 2274.0102, Contractor certifies that neither it nor its parent company, nor any affiliate of Contractor or its parent company, is: (1) majority owned or controlled by citizens or governmental entities of China, Iran, North Korea, Russia, or any other country designated by the Governor under Government Code Section 2274.0103, or (2) headquartered in any of those countries.

  • Access Toll Connecting Trunk Group Architecture 9.2.1 If CSTC chooses to subtend a Verizon access Tandem, CSTC’s NPA/NXX must be assigned by CSTC to subtend the same Verizon access Tandem that a Verizon NPA/NXX serving the same Rate Center Area subtends as identified in the LERG. 9.2.2 CSTC shall establish Access Toll Connecting Trunks pursuant to applicable access Tariffs by which it will provide Switched Exchange Access Services to Interexchange Carriers to enable such Interexchange Carriers to originate and terminate traffic to and from CSTC’s Customers. 9.2.3 The Access Toll Connecting Trunks shall be two-way trunks. Such trunks shall connect the End Office CSTC utilizes to provide Telephone Exchange Service and Switched Exchange Access to its Customers in a given LATA to the access Tandem(s) Verizon utilizes to provide Exchange Access in such LATA. 9.2.4 Access Toll Connecting Trunks shall be used solely for the transmission and routing of Exchange Access to allow CSTC’s Customers to connect to or be connected to the interexchange trunks of any Interexchange Carrier which is connected to a Verizon access Tandem.

  • Divestitures Except to the extent prohibited by applicable Laws, if any BTC Recipient relinquishes Control of all or part of a business unit, or a particular function or facility of any BTC Recipient after the Effective Date (each, a “Divested Entity”), then at the request of such BTC Recipient, State Street will continue to provide the Services, including Disengagement Assistance to such Divested Entity for a period of time BTC requests, which period will not extend beyond the earlier to occur of: (a) 24 months after such entity becomes a Divested Entity; or (b) the end of the period during which State Street is required to provide Disengagement Assistance under this Agreement, at the rates and in accordance with the terms and conditions set forth in the applicable Service Modules; provided, that, such Divested Entity agrees in writing with State Street to abide by the terms and conditions of the applicable Service Module and any applicable provisions of this Agreement. The applicable BTC Recipient shall remain primarily liable for the obligations of the Divested Entity under the applicable Service Modules.

  • CAPITAL CHANGES AND BUSINESS SUCCESSIONS The Plan contains provisions covering the treatment of options in a number of contingencies such as stock splits and mergers. Provisions in the Plan for adjustment with respect to stock subject to options and the related provisions with respect to successors to the business of the Company are hereby made applicable hereunder and are incorporated herein by reference.

  • Consolidations, Mergers and Sales of Assets No Loan Party will, nor will it permit any Subsidiary of a Loan Party to, consolidate or merge with or into, or sell, lease or otherwise transfer all or any substantial part of its assets to, any other Person, or discontinue or eliminate any business line or segment, provided that (a) a Loan Party may merge with another Person if (i) such Person was organized under the laws of the United States of America or one of its states, (ii) the Loan Party is the corporation surviving such merger, (iii) immediately after giving effect to such merger, no Default shall have occurred and be continuing, and (iv) if the Borrower merges with another Loan Party, the Borrower is the corporation surviving such merger, (b) Subsidiaries of a Loan Party (excluding Loan Parties) may merge with one another, (c) a Loan Party (other than the Borrower or an Eligible Guarantor) may transfer all or any part of its assets to another Loan Party, (d) a Loan Party may sell Inventory in the ordinary course of business and for fair value, and (e) the foregoing limitation on the sale, lease or other transfer of assets and on the discontinuation or elimination of a business line or segment shall not prohibit, during any Fiscal Quarter, a transfer of assets or the discontinuance or elimination of a business line or segment (in a single transaction or in a series of related transactions) unless the aggregate assets to be so transferred or utilized in a business line or segment to be so discontinued, when combined with all other assets transferred (excluding assets transferred under Sections 5.17(d)), and all other assets utilized in all other business lines or segments discontinued, during such Fiscal Quarter and the immediately preceding three Fiscal Quarters have a fair market value or book value whichever is greater (determined with respect to each such asset transferred or discontinued) of more than $20,000,000.

  • Local Health Integration Networks and Restructuring In the event of a health service integration with another service provider the Employer and the Union agree to meet. (a) The Employer shall notify affected employees and the Union as soon as a formal decision to integrate is taken. (b) The Employer and the Union shall begin discussions concerning the specifics of the integration forthwith after a decision to integrate is taken. (c) As soon as possible in the course of developing a plan for the implementation of the integration the Employer shall notify affected employees and the Union of the projected staffing needs, and their location.

  • Change of Management Not to make any substantial change in the present executive or management personnel of the Borrower.

  • Condominiums/Planned Unit Developments If the Mortgaged Property is a condominium unit or a planned unit development (other than a de minimis planned unit development) such condominium or planned unit development project such Mortgage Loan was originated in accordance with, and the Mortgaged Property meets the guidelines set forth in the Originator's Underwriting Guidelines;

  • Divestiture If Grantee’s employment with the Company or a Subsidiary terminates as the result of a divestiture, then the Common Shares covered by this Agreement and any Deferred Cash Dividends then accumulated with respect thereto shall become nonforfeitable in accordance with the terms and conditions of Section 1(a) as if Grantee had remained in the continuous employ of the Company or a Subsidiary from the Date of Grant until the fifth anniversary of the Date of Grant or the occurrence of a circumstance referenced in Section 2(a) or 2(b), whichever occurs first. For the purposes of this Agreement, the term “divestiture” shall mean a permanent disposition to a Person other than the Company or any Subsidiary of a plant or other facility or property at which Grantee performs a majority of Grantee’s services whether such disposition is effected by means of a sale of assets, a sale of Subsidiary stock or otherwise.

  • Unbundled Network Element Combinations 5.1. Unbundled Network Element Combinations shall include: 1) Enhanced Extended Links (EELs); 2) UNE Loops/Special Access Combinations; 3) Loop/Port Combinations; and 4)

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!