Finitary Predicate Transformers. The categorical results so far for healthiness (Theorem 4.8 and 4.10) x∈X p(x) = Σ Σе (Φ)(x) = D=1ƒ (p)(y) = 1, and p(x) = 0 for all but finitely many x ∈ X}; Σ
Finitary Predicate Transformers Sample Clauses
Related to Finitary Predicate Transformers
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.
Tandem Transit Traffic 12.1 As used in this Section, Tandem Transit Traffic is Telephone Exchange Service traffic that originates on Onvoy's network, and is transported through Frontier’s Tandem to the subtending End Office or its equivalent of another carrier (CLEC, ILEC other than Frontier, Commercial Mobile Radio Service (CMRS) carrier, or other LEC (“Other Carrier”). Neither the originating nor terminating customer is a Customer of Frontier. Subtending End Offices shall be determined in accordance with and as identified in the Local Exchange Routing Guide (LERG). For the avoidance of any doubt, under no circumstances shall Frontier be required to transit traffic through a Frontier Tandem to a Central Office that the LERG does not identify as subtending that particular Frontier Tandem. Switched Exchange Access Service traffic is not Tandem Transit Traffic. 12.2 Tandem Transit Traffic Service provides Onvoy with the transport of Tandem Transit Traffic as provided below. 12.3 Tandem Transit Traffic may be routed over the Interconnection Trunks described in Sections 2 through 6 of this Attachment. Onvoy shall deliver each Tandem Transit Traffic call to Frontier’s Tandem with CCS and the appropriate Transactional Capabilities Application Part (“TCAP”) message to facilitate full interoperability of CLASS Features and billing functions. 12.4 Onvoy may use Tandem Transit Traffic Service only for traffic that originates on Onvoy’s network and only to send traffic to an Other Carrier with whom Onvoy has a reciprocal traffic exchange arrangement (either via written agreement or mutual tariffs) that provides for the Other Carrier, to terminate or complete traffic originated by Onvoy and to bill Onvoy, and not to bill Frontier, for such traffic. Onvoy agrees not to use Frontier’s Tandem Transit Traffic Service to send traffic to an Other Carrier with whom Onvoy does not have such a reciprocal traffic exchange arrangement or to send traffic that does not originate on Onvoy’s network. 12.5 Onvoy shall pay Frontier for Tandem Transit Traffic Service at the rates specified in the Pricing Attachment. Frontier will not be liable for compensation to any Other Carrier for any traffic that is transported through Frontier’s Tandem and Frontier reserves the right to assess to Onvoy any additional charges or costs any Other Carrier imposes or levies on Frontier for the delivery or termination of such traffic, including any Switched Exchange Access Service charges. If Frontier is billed by any Other Carrier for any traffic originated by Onvoy, Frontier may provide notice to Onvoy of such billing. Upon receipt of such notice, Onvoy shall immediately stop using Frontier’s Tandem Transit Traffic Service to send any traffic to such Other Carrier until it has provided to Frontier certification that the Other Carrier has removed such billed charges from its bill to Frontier and that the Other Carrier will not bill Frontier for any traffic originated by Onvoy. Such certification must be signed by an authorized officer or agent of the Other Carrier and must be in a form acceptable to Frontier. 12.6 If Onvoy uses Tandem Transit Traffic Service for traffic volumes that exceed the Centum Call Seconds (Hundred Call Seconds) busy hour equivalent of 200,000 combined minutes of use per month (a DS1 equivalent) to the subtending End Office of a particular Other Carrier for any month (the “Threshold Level”). Onvoy shall use good faith efforts to establish direct interconnection with such Other Carrier and reduce such traffic volumes below the Threshold Level. If Frontier believes that Xxxxx has not exercised good faith efforts promptly to obtain such direct interconnection, either Party may use the Dispute Resolution processes of this Agreement. 12.7 If Onvoy fails to comply with Section 12 of this Attachment, such failure shall be a material breach of a material provision of this Agreement and Frontier may exercise any and all remedies under this Agreement and Applicable Law for such breach. 12.8 If or when a third party carrier plans to subtend an Onvoy switch, then Onvoy shall provide written notice to Frontier at least ninety (90) days before such subtending service arrangement becomes effective so that Frontier may negotiate and establish direct interconnection with such third party carrier. Upon written request from Frontier, Onvoy shall offer to Frontier a service arrangement equivalent to or the same as Tandem Transit Traffic Service provided by Frontier to Onvoy as defined in this Section such that Frontier may terminate calls to a Central Office or its equivalent of a CLEC, ILEC other than Frontier, CMRS carrier, or other LEC, that subtends an Onvoy Central Office or its equivalent (“Reciprocal Tandem Transit Service”). Onvoy shall offer such Reciprocal Transit Service arrangements under terms and conditions of an amendment to this Agreement or a separate agreement no less favorable than those provided in this Section. 12.9 Neither Party shall take any actions to prevent the other Party from entering into a direct and reciprocal traffic exchange arrangement with any carrier to which it originates, or from which it terminates, traffic.
Local Circuit Switching Capability, including Tandem Switching Capability 4.1.3.1 Definition 4.1.3.2 Notwithstanding BellSouth’s general duty to unbundle local circuit switching, BellSouth shall not be required to unbundle local circuit switching for <<customer_name>> when <<customer_name>> serves end-users with four (4) or more voice-grade (DS-0) equivalents or lines in locations served by BellSouth’s local circuit switches, which are in the following MSAs: Atlanta, GA; Miami, FL; Orlando, FL; Ft. Lauderdale, FL; Charlotte-Gastonia-Rock Hill, NC; Greensboro-Winston Salem-High Point, NC; Nashville, TN; and New Orleans, LA, and BellSouth has provided non-discriminatory cost based access to the Enhanced Extended Link (EEL) throughout Density Zone 1 as determined by NECA Tariff No. 4 as in effect on January 1, 1999. 4.1.3.3 In the event that <<customer_name>> orders local circuit switching for a single end user account name at a single physical end user location with four (4) or more 2-wire voice-grade loops from a BellSouth central office in an MSA listed above, BellSouth shall charge <<customer_name>> the market based rate in Exhibit C for use of the local circuit switching functionality for the affected facilities. 4.1.3.4 A featureless port is one that has a line port, switching facilities, and an interoffice port. A featured port is a port that includes all features then capable or a number of then capable features specifically requested by <<customer_name>>. Any features that are not currently then capable but are technically feasible through the switch can be requested through the NBR/BFR process. 4.1.3.5 BellSouth will provide to <<customer_name>> customized routing of calls: (i) to a requested directory assistance services platform; (ii) to an operator services platform pursuant to Section 10 of Attachment 2; (iii) for <<customer_name>>’s PIC’ed toll traffic in a two (2) PIC environment to an alternative OS/DA platform designated by <<customer_name>>. <<customer_name>> customers may use the same dialing arrangements as BellSouth customers. 4.1.3.6 Remote Switching Module functionality is included in Switching Capability. The switching capabilities used will be based on the line side features they support. 4.1.3.7 Switching Capability will also be capable of routing local, intraLATA, interLATA, and calls to international customer’s preferred carrier; call features (e.g. call forwarding) and Centrex capabilities. 4.1.3.8 Where required to do so in order to comply with an effective Commission order, BellSouth will provide to <<customer_name>> purchasing local BellSouth switching and reselling BellSouth local exchange service under Attachment 1, selective routing of calls to a requested directory assistance services platform or operator services platform. <<customer_name>> customers may use the same dialing arrangements as BellSouth customers, but obtain a <<customer_name>> branded service.
REPAIRED OR REPLACED PARTS / COMPONENTS Where the Contractor is required to repair, replace or substitute Product or parts or components of the Product under the Contract, the repaired, replaced or substituted Products shall be subject to all terms and conditions for new parts and components set forth in the Contract including Warranties, as set forth in the Additional Warranties Clause herein. Replaced or repaired Product or parts and components of such Product shall be new and shall, if available, be replaced by the original manufacturer’s component or part. Remanufactured parts or components meeting new Product standards may be permitted by the Commissioner or Authorized User. Before installation, all proposed substitutes for the original manufacturer’s installed parts or components must be approved by the Authorized User. The part or component shall be equal to or of better quality than the original part or component being replaced.
Generators Temporary installation of generators, and permanent installation of generators that are placed inside existing non-residential buildings or that occupy an area under 50 square feet behind the building they serve.
Signaling Link Transport 9.2.1 Signaling Link Transport is a set of two or four dedicated 56 kbps transmission paths between Global Connection-designated Signaling Points of Interconnection that provide appropriate physical diversity.
Emergency Generator 1) During the Term as it applies to the 9449 Expansion Space, as extended from time to time, Tenant shall have the right to install a supplemental emergency generator (the “Generator”) to provide emergency additional electrical capacity to the 9449 Building. The Generator shall be placed at a location at the 9449 Building designated by Tenant and reasonably approved by Landlord. Notwithstanding the foregoing, Tenant’s right to install the Generator shall be subject to: (i) Landlord’s reasonable approval of the manner in which the Generator is installed, the manner in which any cables are run to and from the Generator to the Premises and the measures that will be taken to eliminate any vibrations or sound disturbances from the operation of the Generator; and (ii) the covenants, conditions and restrictions of record applicable to the Project, architectural review and any necessary approval by the local municipality and county governments or agencies having authority and jurisdiction over such matters. Landlord shall have the right to require Tenant to provide a reasonably acceptable enclosure (e.g. wood fencing and landscaping) to hide or disguise the existence of the Generator and to minimize any adverse effect that the installation of the Generator may have on the appearance of the 9449 Building and Project. Tenant shall be solely responsible for obtaining all necessary governmental and regulatory permits and approvals and for the cost of installing, operating, maintaining, repairing and removing the Generator. Tenant shall also be responsible for the cost of all utilities consumed and utility connections required in the operation of the Generator. 2) Tenant shall be responsible for assuring that the installation, maintenance, repair, operation and removal of the Generator does not damage the 9449 Building or Project and Tenant shall be responsible for any damages caused thereby. For avoidance of doubt, the installation, maintenance, operation, repair or removal of the Generator shall be subject to the indemnity provisions set forth in Section 10.3 of the Lease. 3) Tenant shall be responsible for the installation, operation, repair, cleanliness, maintenance and removal of the Generator and appurtenances, all of which shall remain the personal property of Tenant and shall be removed by Tenant at its own expense as of the 9449 Extended Expiration Date or any earlier expiration or termination of Tenant’s right to possession of the 9449 Expansion Space in accordance with the Lease and this Amendment. Tenant shall repair any damage caused by such removal, including the patching of any holes to match, as closely as possible, the color surrounding the area where the Generator and appurtenances were attached. Such maintenance and operation shall be performed in a manner to avoid any unreasonable interference with any other tenants or Landlord. Tenant agrees to maintain the Generator, including without limitation, any enclosure installed around the Generator, in good condition and repair. Tenant shall be responsible for performing any maintenance and improvements to any enclosure surrounding the Generator so as to keep such enclosure in good condition. 4) Tenant, subject to the reasonable rules and regulations enacted by Landlord, shall have unlimited access to the Generator and its surrounding area for the purpose of installing, operating, repairing, maintaining, using and removing the Generator. 5) Tenant shall only test the Generator before or after normal business hours. 6) Notwithstanding anything in this Amendment or the Lease to the contrary, Tenant may use the Generator for its intended purpose as and when needed (as reasonably determined by Tenant), without any restriction or hindrance from Landlord or any other tenant, subject only to applicable Laws and unreasonable disturbances to other tenants in the Project.
Generator Subject to the provisions of this Section 29.36, Tenant shall be entitled to install, operate and maintain a generator and any other equipment related thereto, including, without limitation, a fuel system, wiring and shaft space (“Generator”) next to the Building at Tenant’s sole cost and expense (without paying any additional fee or rental to Landlord for the use thereof). Prior to the installation of the Generator, Tenant shall inspect the proposed location to determine a suitable location for the Generator, and Tenant shall submit written plans and specifications relative to the type, size and proposed location (including any proposed screening) of the Generator to Landlord for its review and written approval. Tenant shall be solely responsible for the cost of acquisition, installation, operation, and maintenance of the Generator; and Tenant shall install, maintain and operate the Generator in accordance with all federal, state, and local laws, statutes, ordinances, rules and regulations, including without limitation, obtaining and maintaining any and all permits, approvals and licenses required to install and operate the Generator by any governmental authority having jurisdiction. Landlord and Tenant agree that, upon the expiration of earlier termination of the Lease Term, Tenant shall not be required to remove the Generator, any associated cabling, wiring and screening or other improvements. Tenant shall not be entitled to grant or assign to any third party (other than a permitted assignee of Tenant’s rights under the Lease or a permitted subtenant relative to the Premises (or a portion thereof)) the right to use the Generator without Landlord’s prior written consent (which consent may be granted or withheld in Landlord’s discretion). Upon reasonable advance notice to Tenant (and provided Landlord reasonably coordinates with Tenant and provides an alternate source of backup generator capacity during said transition), Landlord shall be entitled to cause the Generator to be moved to another location near the Building, at Landlord’s cost and expense. Tenant shall pay all personal property taxes on the Generator. Tenant shall also pay any increases in the real property taxes of the Building due to the installation of the Generator within thirty (30) days of receipt of notice from Landlord which includes proof of such increase in taxes. Tenant’s indemnity obligations under Section 5.4.1.5 of the Lease, relating to the use of Hazardous Materials, shall apply to the use and operation of the Generator. Finally, Tenant’s insurance obligations under Section 10.3 of the Lease shall apply to the Generator.
Provisioning Line Splitting and Splitter Space 3.8.1 The Data LEC, Voice CLEC or BellSouth may provide the splitter. When Southern Telecom or its authorized agent owns the splitter, Line Splitting requires the following: a non-designed analog Loop from the serving wire center to the NID at the End User’s location; a collocation cross connection connecting the Loop to the collocation space; a second collocation cross connection from the collocation space connected to a voice port; the high frequency spectrum line activation, and a splitter. The Loop and port cannot be a Loop and port combination (i.e. UNE-P), but must be individual stand-alone Network Elements. When BellSouth owns the splitter, Line Splitting requires the following: a non designed analog Loop from the serving wire center to the NID at the End User’s location with CFA and splitter port assignments, and a collocation cross connection from the collocation space connected to a voice port. 3.8.2 An unloaded 2-wire copper Loop must serve the End User. The meet point for the Voice CLEC and the Data LEC is the point of termination on the MDF for the Data LEC's cable and pairs. 3.8.3 The foregoing procedures are applicable to migration to Line Splitting Service from a UNE-P arrangement, BellSouth Retail Voice Service, BellSouth High Frequency Spectrum (CO Based) Line Sharing. 3.8.4 For other migration scenarios to line splitting, BellSouth will work cooperatively with CLECs to develop methods and procedures to develop a process whereby a Voice CLEC and a Data LEC may provide services over the same Loop.
Selection of Subcontractors, Procurement of Materials and Leasing of Equipment The contractor shall not discriminate on the grounds of race, color, religion, sex, national origin, age or disability in the selection and retention of subcontractors, including procurement of materials and leases of equipment. The contractor shall take all necessary and reasonable steps to ensure nondiscrimination in the administration of this contract. a. The contractor shall notify all potential subcontractors and suppliers and lessors of their EEO obligations under this contract. b. The contractor will use good faith efforts to ensure subcontractor compliance with their EEO obligations.
