{"component": "clause", "props": {"groups": [{"snippet": "4 Partially synchronous Byzantine agreement is unsolvable even with numerate processes if \u2113 \u2264 n+3t .", "size": 7, "samples": [{"hash": "9MqwUrVh8uP", "uri": "/contracts/9MqwUrVh8uP#proposition", "label": "Byzantine Agreement With Homonyms", "score": 26.0732375086, "published": true}, {"hash": "ghPjMfvz1Hp", "uri": "/contracts/ghPjMfvz1Hp#proposition", "label": "Byzantine Agreement With Homonyms", "score": 26.0321697467, "published": true}, {"hash": "jyFoCxjvvUb", "uri": "/contracts/jyFoCxjvvUb#proposition", "label": "Byzantine Agreement With Homonyms", "score": 25.6187542779, "published": true}], "snippet_links": [{"key": "byzantine-agreement", "type": "clause", "offset": [24, 43]}, {"key": "numerate-processes", "type": "clause", "offset": [68, 86]}], "hash": "f4e9318ec58c04bf2cfc44baecbd23cb", "id": 1}, {"snippet": "THE STATES are asked to decide whether they are of opinion -", "size": 5, "samples": [{"hash": "3iCymgzMnRh", "uri": "/contracts/3iCymgzMnRh#proposition", "label": "Tax Information Exchange Agreement", "score": 24.1704312115, "published": true}, {"hash": "jlZoIbz1KP4", "uri": "/contracts/jlZoIbz1KP4#proposition", "label": "Lease", "score": 19.9097961277, "published": true}, {"hash": "eS6D8PK0Nr9", "uri": "/contracts/eS6D8PK0Nr9#proposition", "label": "Development Agreement and Lease", "score": 13.4640657084, "published": true}], "snippet_links": [], "hash": "cda3814911f48e5e1c98266396e617e5", "id": 2}, {"snippet": "65 WARNING: Entering the Premises as well as the common areas in and around the Apartment Community can expose individuals to chemicals known to the State of California to cause cancer and birth defects or other reproductive harm, to which warnings are now required. These chemicals include, but are not limited to: tobacco, smoke, lead and lead components, asbestos, carbon monoxide and gasoline components from [cigarettes, building materials and products, vehicle exhaust pipes, (name sources of exposure)]. California Health & Safety Code Section 25249. For more information, go to \u2587\u2587\u2587\u2587://\u2587\u2587\u2587\u2587\u2587\u2587\u2587\u2587\u2587\u2587\u2587.\u2587\u2587.\u2587\u2587\u2587.", "size": 4, "samples": [{"hash": "aypAwPcNHkr", "uri": "/contracts/aypAwPcNHkr#proposition", "label": "Residential Rental Agreement", "score": 30.1273992133, "published": true}, {"hash": "3fq4ombTyQY", "uri": "/contracts/3fq4ombTyQY#proposition", "label": "Residential Rental Agreement", "score": 25.4982888433, "published": true}, {"hash": "cT3WT3LDmRG", "uri": "/contracts/cT3WT3LDmRG#proposition", "label": "Lease Agreement", "score": 24.568788501, "published": true}], "snippet_links": [{"key": "entering-the-premises", "type": "clause", "offset": [12, 33]}, {"key": "the-common-areas", "type": "clause", "offset": [45, 61]}, {"key": "apartment-community", "type": "definition", "offset": [80, 99]}, {"key": "the-state-of-california", "type": "clause", "offset": [145, 168]}, {"key": "defects-or-other-reproductive-harm", "type": "clause", "offset": [195, 229]}, {"key": "not-limited", "type": "clause", "offset": [300, 311]}, {"key": "carbon-monoxide", "type": "definition", "offset": [368, 383]}, {"key": "materials-and-products", "type": "clause", "offset": [435, 457]}, {"key": "code-section", "type": "definition", "offset": [538, 550]}, {"key": "for-more-information", "type": "clause", "offset": [558, 578]}], "hash": "c7546cb3f80c3d23e38e3421b595d114", "id": 3}, {"snippet": "For any two consecutive periods, we have: b \u2014 e \u2014 a (2 \u2014 w ) xt + a \u2211 y 0 = \u03b4 b \u2014 e \u2014 a (2 \u2014 w ) xt+1 i =1 The marginal social surplus increases more than exponentially in time. The speed is particularly large when \u2211i\u20141 y 0 is large i =1 i", "size": 3, "samples": [{"hash": "29lopj1JL7r", "uri": "/contracts/29lopj1JL7r#proposition", "label": "Conservation Contracts for Exhaustible Resources", "score": 24.0049236376, "published": true}], "snippet_links": [{"key": "the-marginal", "type": "clause", "offset": [107, 119]}, {"key": "in-time", "type": "definition", "offset": [169, 176]}], "hash": "875d88b1bb1058e5f77e560496c874e0", "id": 4}, {"snippet": "Donegal ETB is currently investigating all options to identify where the FET College of the Future can be progressed. The decoupling of a number of PLC courses from the post-primary provision, along with the relocation of provision to a fully integrated site, is also being explored in at least two areas. Over the period of this agreement, Donegal ETB will seek to move away from the remaining PLC provision in dual (FET/school) settings and look to integrate this within a consolidated FET College of the Future in Letterkenny in the first instance. This FET College will offer a Level 5/6 proposition which will offer pathways either directly into careers or into further study in higher education, and it should also include apprenticeship training onsite. It will include both classroom-based and technical courses in one single site. This will further build on Donegal ETB\u2019s recent success in maintaining employment outcomes and focusing on key skills needs. The future world of work and the rapid pace of economic and societal change will require upskilling throughout lifetimes and careers. Donegal ETB has driven significant efforts around workforce upskilling and is contributing to Skills to Advance outcomes. Donegal ETB has led out innovative upskilling initiatives around fibre optic installation with the introduction of a traineeship and has further plans to develop a network planning traineeship with the same company. A Level 5 \u2018Public Works\u2019 traineeship is also being created with Donegal County Council which could have more relevance for other ETBs. One last example of innovation in the area of upskilling is the Marine Engineering traineeship, which is planned in conjunction with Killybegs Harbour Generation. The enterprise engagement infrastructure built up by \u2587\u2587\u2587\u2587\u2587\u2587\u2587 ETB will be a key resource, and it will build on this by using the sectoral CRM tool to strategically manage this activity. Donegal ETB will increase upskilling and reskilling opportunities for small and medium companies in the region using a targeted strategic approach to enterprise engagement. Donegal ETB is of the view that industry requires a different suite of offerings at present, options that are more agile and flexible, and a mix of short and medium course durations will ensure a range of relevant upskilling opportunities for employers and provide labour market currency for employees. Skills to Compete was launched as an initiative to cope with the structural labour market change brought about by the pandemic, building on the programme infrastructure that exists to offer the employability, digital and sector-specific skills required by thosewho lost their jobs to find a pathway back into sustainable work. While the labour market impact has not yet arisen in the way envisaged, SOLAS and Donegal ETB will work together to ensure that the legacy of a single initiative to support skills for employment is preserved, with Skills to Compete becoming the mainstream offering for those who need upskilling to find sustainable work. This will include targeting of long-term unemployed in line with FET Pathways to Work commitments. \u2587\u2587\u2587\u2587\u2587\u2587\u2587 ETB has evidenced real leadership in apprenticeship throughout the pandemic, demonstrating considerable flexibility in adapting and responding to the emergency environment through the use of blended learning, as well as showing expansion of numbers by some 50%, in Electrical, Plumbing and Carpentry and Joinery. Significant expansion was highlighted in Plumbing, which has increased from 28 to 63 places and also increased provision within the Motor Mechanic Phase 2 delivery. Over the course of this agreement Donegal ETB will aim to progress further expansion in Phase 2 delivery. In addition, Donegal ETB has developed a joint proposal with Atlantic TU for a new facility on a new site to jointly provide for Metal Fabrication and Electrical Apprenticeships. This initiative will also be progressed further in collaboration with SOLAS and the HEA. One key area for development for Donegal ETB is around greater collaboration and integration with all elements of FET in this ETB. The siloed nature of further education and training needs to be explored and unpacked to result in the maximisation of resources and widespread use of the innovative and creative approaches used in some specific areas. The development of a FET estates strategy will be a key driver of change in this area and should be a priority focus in driving the integration agenda.", "size": 3, "samples": [{"hash": "aWyoYw04A0p", "uri": "/contracts/aWyoYw04A0p#proposition", "label": "Strategic Performance Agreement", "score": 25.46954141, "published": true}], "snippet_links": [{"key": "the-future", "type": "clause", "offset": [88, 98]}, {"key": "number-of", "type": "clause", "offset": [138, 147]}, {"key": "the-post", "type": "clause", "offset": [165, 173]}, {"key": "integrated-site", "type": "definition", "offset": [243, 258]}, {"key": "period-of-this-agreement", "type": "clause", "offset": [315, 339]}, {"key": "first-instance", "type": "definition", "offset": [536, 550]}, {"key": "level-5", "type": "definition", "offset": [582, 589]}, {"key": "further-study", "type": "clause", "offset": [667, 680]}, {"key": "higher-education", "type": "clause", "offset": [684, 700]}, {"key": "apprenticeship-training", "type": "clause", "offset": [729, 752]}, {"key": "single-site", "type": "definition", "offset": [827, 838]}, {"key": "employment-outcomes", "type": "clause", "offset": [911, 930]}, {"key": "work-and", "type": "clause", "offset": [985, 993]}, {"key": "to-advance", "type": "definition", "offset": [1200, 1210]}, {"key": "to-develop", "type": "definition", "offset": [1372, 1382]}, {"key": "network-planning", "type": "clause", "offset": [1385, 1401]}, {"key": "public-works", "type": "clause", "offset": [1448, 1460]}, {"key": "county-council", "type": "definition", "offset": [1509, 1523]}, {"key": "the-area", "type": "clause", "offset": [1606, 1614]}, {"key": "the-enterprise", "type": "clause", "offset": [1735, 1749]}, {"key": "built-up", "type": "clause", "offset": [1776, 1784]}, {"key": "key-resource", "type": "clause", "offset": [1810, 1822]}, {"key": "small-and-medium", "type": "clause", "offset": [1990, 2006]}, {"key": "in-the-region", "type": "definition", "offset": [2017, 2030]}, {"key": "strategic-approach", "type": "clause", "offset": [2048, 2066]}, {"key": "at-present", "type": "definition", "offset": [2174, 2184]}, {"key": "for-employers", "type": "definition", "offset": [2332, 2345]}, {"key": "for-employees", "type": "clause", "offset": [2381, 2394]}, {"key": "to-compete", "type": "definition", "offset": [2403, 2413]}, {"key": "market-change", "type": "definition", "offset": [2479, 2492]}, {"key": "the-programme", "type": "clause", "offset": [2536, 2549]}, {"key": "to-offer", "type": "definition", "offset": [2577, 2585]}, {"key": "required-by", "type": "definition", "offset": [2640, 2651]}, {"key": "market-impact", "type": "clause", "offset": [2740, 2753]}, {"key": "will-work", "type": "clause", "offset": [2817, 2826]}, {"key": "to-ensure", "type": "clause", "offset": [2836, 2845]}, {"key": "work-commitments", "type": "clause", "offset": [3125, 3141]}, {"key": "responding-to-the", "type": "clause", "offset": [3283, 3300]}, {"key": "blended-learning", "type": "definition", "offset": [3342, 3358]}, {"key": "carpentry-and-joinery", "type": "clause", "offset": [3441, 3462]}, {"key": "significant-expansion", "type": "definition", "offset": [3464, 3485]}, {"key": "motor-mechanic", "type": "definition", "offset": [3596, 3610]}, {"key": "phase-2", "type": "definition", "offset": [3611, 3618]}, {"key": "in-addition", "type": "clause", "offset": [3735, 3746]}, {"key": "joint-proposal", "type": "clause", "offset": [3776, 3790]}, {"key": "new-facility", "type": "definition", "offset": [3814, 3826]}, {"key": "new-site", "type": "clause", "offset": [3832, 3840]}, {"key": "provide-for", "type": "clause", "offset": [3852, 3863]}, {"key": "for-development", "type": "clause", "offset": [4016, 4031]}, {"key": "nature-of", "type": "clause", "offset": [4145, 4154]}, {"key": "training-needs", "type": "clause", "offset": [4177, 4191]}, {"key": "specific-areas", "type": "clause", "offset": [4337, 4351]}, {"key": "development-of-a", "type": "clause", "offset": [4357, 4373]}, {"key": "change-in", "type": "clause", "offset": [4419, 4428]}], "hash": "fa4d9e84442f7d2e4530187548c688a9", "id": 5}, {"snippet": "The determinant \u2587\u2587\u2587\u2587 R\u0393W,c(X, Z(n)) is well-defined up to a canonical isomorphism.", "size": 2, "samples": [{"hash": "2JXXBjTCjdS", "uri": "/contracts/2JXXBjTCjdS#proposition", "label": "Not Applicable", "score": 27.8442002961, "published": true}, {"hash": "2AXK3i5unHv", "uri": "/contracts/2AXK3i5unHv#proposition", "label": "Not Applicable", "score": 27.8198512544, "published": true}], "snippet_links": [], "hash": "4f698a2452401653e4dc435cd3ca1e33", "id": 6}, {"snippet": "Consider the morphism \u2212\u2192 r r p \u00b5\u2297p n \u223c \u2212\u2192 r p r j\u2217p r r", "size": 2, "samples": [{"hash": "2JXXBjTCjdS", "uri": "/contracts/2JXXBjTCjdS#proposition", "label": "Not Applicable", "score": 27.8442002961, "published": true}, {"hash": "2AXK3i5unHv", "uri": "/contracts/2AXK3i5unHv#proposition", "label": "Not Applicable", "score": 27.8198512544, "published": true}], "snippet_links": [{"key": "p-r", "type": "definition", "offset": [44, 47]}], "hash": "e2bd12709ff405edf493da27e16a4083", "id": 7}, {"snippet": "65. Seller shall not include in the Products any substance regulated by The Safe Drinking Water and Toxic Enforcement Act of 1986 (\"Proposition 65\") unless adequate warning, as required by Proposition 65, is provided.", "size": 2, "samples": [{"hash": "l2SpiibXT5L", "uri": "/contracts/l2SpiibXT5L#proposition", "label": "Private Label/Distribution Agreement (Memry Corp)", "score": 18.0, "published": true}, {"hash": "1FOukvFPMR0", "uri": "/contracts/1FOukvFPMR0#proposition", "label": "Private Label/Distribution Agreement (Memry Corp)", "score": 18.0, "published": true}], "snippet_links": [{"key": "seller-shall", "type": "clause", "offset": [4, 16]}, {"key": "the-products", "type": "clause", "offset": [32, 44]}, {"key": "safe-drinking-water", "type": "definition", "offset": [76, 95]}, {"key": "act-of-1986", "type": "clause", "offset": [118, 129]}, {"key": "proposition-65", "type": "definition", "offset": [132, 146]}, {"key": "as-required-by", "type": "clause", "offset": [174, 188]}], "hash": "9147010533a4db22120381917b2a3927", "id": 8}, {"snippet": "The conjecture Lc (X\u00e9t, n) implies that R\u0393W,c(X, Z(n)) is a perfect complex.", "size": 2, "samples": [{"hash": "2JXXBjTCjdS", "uri": "/contracts/2JXXBjTCjdS#proposition", "label": "Not Applicable", "score": 27.8442002961, "published": true}, {"hash": "2AXK3i5unHv", "uri": "/contracts/2AXK3i5unHv#proposition", "label": "Not Applicable", "score": 27.8198512544, "published": true}], "snippet_links": [], "hash": "61bfacefc0ff0f9b5e295ff8f1754446", "id": 9}, {"snippet": "For an open-closed decomposition", "size": 2, "samples": [{"hash": "2JXXBjTCjdS", "uri": "/contracts/2JXXBjTCjdS#proposition", "label": "Not Applicable", "score": 27.8442002961, "published": true}, {"hash": "2AXK3i5unHv", "uri": "/contracts/2AXK3i5unHv#proposition", "label": "Not Applicable", "score": 27.8198512544, "published": true}], "snippet_links": [{"key": "an-open", "type": "clause", "offset": [4, 11]}], "hash": "4881ef5f5e8e389c4f967dd2bcf69964", "id": 10}], "next_curs": "ClQSTmoVc35sYXdpbnNpZGVyY29udHJhY3RzcjALEhZDbGF1c2VTbmlwcGV0R3JvdXBfdjU2IhRwcm9wb3NpdGlvbiMwMDAwMDAwYQyiAQJlbhgAIAA=", "clause": {"size": 77, "parents": [["miscellaneous", "Miscellaneous"], ["proposition", "Proposition"], ["remark", "Remark"], ["topological-digression", "Topological digression"], ["an-artin", "An Artin"]], "title": "Proposition", "children": [["", ""], ["definition", "Definition"], ["proposition", "Proposition"], ["remark", "Remark"], ["example", "Example"]], "id": "proposition", "related": [["proposal", "Proposal", "Proposal"], ["preconstruction-conference", "Preconstruction Conference", "Preconstruction Conference"], ["proposed", "Proposed", "Proposed"], ["neutrality", "Neutrality", "Neutrality"], ["evaluation-conference", "Evaluation Conference", "Evaluation Conference"]], "related_snippets": [], "updated": "2025-07-07T12:37:40+00:00"}, "json": true, "cursor": ""}}