Use of probability within event-B models. In this section, we are making a proposal for an approach to the modelling of probability classes in event-B models suitable for the purposes of the STS pilot study.
Use of probability within event-B models Sample Clauses
Related to Use of probability within event-B models
Withdrawal of Property from Market or Termination of Discussions Potential Investor acknowledges that the Property has been offered for sale subject to withdrawal of the Property from the market at any time or rejection of any offer because of the terms thereof, or for any other reason whatsoever, without notice, as well as the termination of discussions with any party at any time without notice for any reason whatsoever.
Additional Disruption Events (a) Change in Law: Applicable; provided that Section 12.9(a)(ii) of the Equity Definitions is hereby amended by adding the words “(including, for the avoidance of doubt and without limitation, adoption or promulgation of new regulations authorized or mandated by existing statute)” after the word “regulation” in the second line thereof.
Alternative Calculations and Payment on Early Termination and on Certain Extraordinary Events If (a) an Early Termination Date (whether as a result of an Event of Default or a Termination Event) occurs or is designated with respect to the Transaction or (b) the Transaction is cancelled or terminated upon the occurrence of an Extraordinary Event (except as a result of (i) a Nationalization, Insolvency or Merger Event in which the consideration to be paid to holders of Shares consists solely of cash, (ii) a Merger Event or Tender Offer that is within Counterparty’s control, or (iii) an Event of Default in which Counterparty is the Defaulting Party or a Termination Event in which Counterparty is the Affected Party other than an Event of Default of the type described in Section 5(a)(iii), (v), (vi), (vii) or (viii) of the Agreement or a Termination Event of the type described in Section 5(b) of the Agreement, in each case that resulted from an event or events outside Counterparty’s control), and if Dealer would owe any amount to Counterparty pursuant to Section 6(d)(ii) of the Agreement or any Cancellation Amount pursuant to Article 12 of the Equity Definitions (any such amount, a “Payment Obligation”), then Dealer shall satisfy the Payment Obligation by the Share Termination Alternative (as defined below), unless (a) Counterparty gives irrevocable telephonic notice to Dealer, confirmed in writing within one Scheduled Trading Day, no later than 12:00 p.m. (New York City time) on the Merger Date, Tender Offer Date, Announcement Date (in the case of a Nationalization, Insolvency or Delisting), Early Termination Date or date of cancellation, as applicable, of its election that the Share Termination Alternative shall not apply, (b) Counterparty remakes the representation set forth in Section 8(f) as of the date of such election and (c) Dealer agrees, in its sole discretion, to such election, in which case the provisions of Section 12.7 or Section 12.9 of the Equity Definitions, or the provisions of Section 6(d)(ii) of the Agreement, as the case may be, shall apply.
Reportable Events Involving the Xxxxx Law Notwithstanding the reporting requirements outlined above, any Reportable Event that involves solely a probable violation of section 1877 of the Social Security Act, 42 U.S.C. §1395nn (the Xxxxx Law) should be submitted by Practitioner to CMS through the self-referral disclosure protocol (SRDP), with a copy to the OIG. If Practitioner identifies a probable violation of the Xxxxx Law and repays the applicable Overpayment directly to the CMS contractor, then Practitioner is not required by this Section III.G to submit the Reportable Event to CMS through the SRDP.
Actions following an Event of Default On, or at any time after, the occurrence of an Event of Default:
Other ISDA Events An Announcement Date occurs in respect of any Merger Event, Tender Offer, Nationalization, Insolvency, Delisting or the occurrence of any Hedging Disruption or Change in Law; provided that, in case of a Delisting, in addition to the provisions of Section 12.6(a)(iii) of the Equity Definitions, it will also constitute a Delisting if the Exchange is located in the United States and the Shares are not immediately re-listed, re-traded or re-quoted on any of the New York Stock Exchange, The NASDAQ Global Select Market or The NASDAQ Global Market (or their respective successors); provided, further, that (i) the definition of “Change in Law” provided in Section 12.9(a)(ii) of the Equity Definitions is hereby amended by (A) replacing the phrase “the interpretation” in the third line thereof with the phrase “or announcement or statement of the formal or informal interpretation” and (B) immediately following the word “Transaction” in clause (X) thereof, adding the phrase “in the manner contemplated by Dealer on the Trade Date” and (ii) any determination as to whether (A) the adoption of or any change in any applicable law or regulation (including, without limitation, any tax law) or (B) the promulgation of or any change in or announcement or statement of the formal or informal interpretation by any court, tribunal or regulatory authority with competent jurisdiction of any applicable law or regulation (including any action taken by a taxing authority), in each case, constitutes a “Change in Law” shall be made without regard to Section 739 of the Wall Street Transparency and Accountability Act of 2010 (the “WSTAA”) or any similar provision in any legislation enacted on or after the Trade Date; or
Adjustment for Certain Events The number and kind of securities purchasable upon the exercise of this Warrant and the Warrant Price shall be subject to adjustment from time to time upon the occurrence of certain events, as follows:
Certain Events If any event occurs of the type contemplated by the adjustment provisions of this Paragraph 4 but not expressly provided for by such provisions, the Company will give notice of such event as provided in Paragraph 4(g) hereof, and the Company's Board of Directors will make an appropriate adjustment in the Exercise Price and the number of shares of Common Stock acquirable upon exercise of this Warrant so that the rights of the holder shall be neither enhanced nor diminished by such event.
Contact in Event of Unauthorized Transfer If you believe your Card or PIN has been lost or stolen or that someone has transferred or may transfer money from your Account without your permission, please contact us via calling or writing using the contact number(s) or addresses listed at the end of this Agreement and Disclosure.
Presentation of Potential Target Businesses The Company shall cause each of the Initial Shareholders to agree that, in order to minimize potential conflicts of interest which may arise from multiple affiliations, the Initial Shareholders will present to the Company for its consideration, prior to presentation to any other person or company, any suitable opportunity to acquire an operating business, until the earlier of the consummation by the Company of a Business Combination or the liquidation of the Company, subject to any pre-existing fiduciary obligations the Initial Shareholders might have.
