{"component": "clause", "props": {"groups": [{"snippet": "If the vehicle has different modes according to the definition 2.", "size": 17, "snippet_links": [{"key": "the-vehicle", "type": "clause", "offset": [3, 14]}, {"key": "according-to", "type": "definition", "offset": [35, 47]}, {"key": "definition-2", "type": "clause", "offset": [52, 64]}], "samples": [{"hash": "3BueUnOEnKR", "uri": "/contracts/3BueUnOEnKR#modes", "label": "Agreement Concerning the Adoption of Uniform Technical Prescriptions for Wheeled Vehicles", "score": 35.3197860718, "published": true}, {"hash": "9tPmMHzB1tb", "uri": "/contracts/9tPmMHzB1tb#modes", "label": "Agreement Concerning the Adoption of Uniform Technical Prescriptions for Wheeled Vehicles", "score": 32.5739250183, "published": true}, {"hash": "8CU78mySLGk", "uri": "/contracts/8CU78mySLGk#modes", "label": "Agreement Concerning the Adoption of Uniform Technical Prescriptions for Wheeled Vehicles", "score": 32.2419013977, "published": true}], "hash": "da0100099c5af744b41d4c587b7c0519", "id": 1}, {"snippet": "If the vehicle has different modes according to the definition 2.\n25.1. the stationary sound of the vehicle shall be determined for each mode, following the measurement and calculation principles above.\n2.6.1. in case the vehicle has only a single test position (outlet) and according to 3.2.6.2. in case of multiple test positions (outlets).", "size": 6, "snippet_links": [{"key": "the-vehicle", "type": "clause", "offset": [3, 14]}, {"key": "according-to", "type": "definition", "offset": [35, 47]}, {"key": "definition-2", "type": "clause", "offset": [52, 64]}, {"key": "following-the", "type": "definition", "offset": [143, 156]}, {"key": "calculation-principles", "type": "definition", "offset": [173, 195]}, {"key": "single-test", "type": "clause", "offset": [241, 252]}, {"key": "in-case-of", "type": "clause", "offset": [297, 307]}], "samples": [{"hash": "kmXFMeNcp6v", "uri": "/contracts/kmXFMeNcp6v#modes", "label": "Agreement Concerning the Adoption of Uniform Technical Prescriptions for Wheeled Vehicles", "score": 35.8276596069, "published": true}, {"hash": "1bWUbW8R750", "uri": "/contracts/1bWUbW8R750#modes", "label": "Agreement Concerning the Adoption of Uniform Technical Prescriptions for Wheeled Vehicles", "score": 26.7453804016, "published": true}, {"hash": "1BYEEwChHur", "uri": "/contracts/1BYEEwChHur#modes", "label": "Agreement Concerning the Adoption of Harmonized Technical United Nations Regulations for Wheeled Vehicles", "score": 22.4182071686, "published": true}], "hash": "98684201a9dc11c1fb281bdfbc762276", "id": 2}, {"snippet": "The First Party shall operate in either Opt-Out Option Mode or Service Provider Mode, but not both with respect to the same Covered Transaction.", "size": 5, "snippet_links": [{"key": "the-first-party", "type": "definition", "offset": [0, 15]}, {"key": "service-provider-mode", "type": "definition", "offset": [63, 84]}, {"key": "with-respect-to", "type": "clause", "offset": [99, 114]}, {"key": "covered-transaction", "type": "definition", "offset": [124, 143]}], "samples": [{"hash": "f13RYCt7UJq", "uri": "/contracts/f13RYCt7UJq#modes", "label": "Multi State Privacy Agreement", "score": 35.4319725037, "published": true}, {"hash": "ain4IFlW1zV", "uri": "/contracts/ain4IFlW1zV#modes", "label": "Multi State Privacy Agreement", "score": 35.0317459106, "published": true}, {"hash": "9wle44ulAkU", "uri": "/contracts/9wle44ulAkU#modes", "label": "Multi State Privacy Agreement", "score": 35.0317459106, "published": true}], "hash": "9aa56f201030beb7c0e27de8c0c5883f", "id": 3}, {"snippet": "We have conducted a study of approaches to complex critical systems development, and the requirements documents within DEPLOY, and arrived at the following: \u2022 Separation of concerns is a major approach to tackle the complexity of the systems development. \u2022 A large amount of critical systems are developed using a notion of operation modes. \u2022 All critical systems involve operations with important aspects of human activity (e.g. lives, finance) hence critical. And all of them inevitably have faults due to changing environmental conditions, hardware failures etc. A high percentage of requirements to such systems (up to 40% according to our study within DEPLOY) include fault tolerance as a way to mitigate the consequences of errors. \u2022 Requirements evolve, including FT. There were neither mode nor fault tolerance viewpoints in the state of the art Event-B development. The UML-B approach of statecharts is closely related to modal views. However, the statecharts drive the development by generating Event-B models as opposed to the mode views which facilitate the development by leaving the Event-B modelling activity with the user. On the fault tolerance side, we are aware of the work on ProR framework for tracing requirements, and we plan to integrate the tracing framework with our modelling approach. The Mode/FT Views approach is to assist the main Event-B development by an additional set of abstractions and a toolset to facilitate modal and fault tolerance development. We were motivated by the following stimuli: \u2022 Facilitate the modal and fault tolerance development in Event-B with a comprehensible modelling approach. \u2022 Stimulate the consideration of fault tolerance at the very first phases of development. \u2022 Explicitly covering mode and fault tolerance concerns, we wanted to improve the requirement traceability and fulfilment. \u2022 Help make planning decisions. Focusing the developer attention on specific aspects of development leads to better understanding of the problem and planning of the solution. \u2022 Provide consistent way of stepwise development of mode and FT aspects by a notion of views refinement.", "size": 2, "snippet_links": [{"key": "systems-development", "type": "definition", "offset": [60, 79]}, {"key": "requirements-documents", "type": "definition", "offset": [89, 111]}, {"key": "the-systems", "type": "clause", "offset": [230, 241]}, {"key": "large-amount", "type": "definition", "offset": [259, 271]}, {"key": "operation-modes", "type": "clause", "offset": [324, 339]}, {"key": "environmental-conditions", "type": "clause", "offset": [517, 541]}, {"key": "hardware-failures", "type": "clause", "offset": [543, 560]}, {"key": "according-to", "type": "definition", "offset": [627, 639]}, {"key": "fault-tolerance", "type": "clause", "offset": [673, 688]}, {"key": "to-mitigate", "type": "definition", "offset": [698, 709]}, {"key": "consequences-of", "type": "definition", "offset": [714, 729]}, {"key": "state-of-the-art", "type": "clause", "offset": [837, 853]}, {"key": "related-to", "type": "definition", "offset": [920, 930]}, {"key": "the-development", "type": "clause", "offset": [975, 990]}, {"key": "the-event", "type": "clause", "offset": [1093, 1102]}, {"key": "the-user", "type": "clause", "offset": [1129, 1137]}, {"key": "work-on", "type": "clause", "offset": [1188, 1195]}, {"key": "assist-the", "type": "clause", "offset": [1346, 1356]}, {"key": "main-event", "type": "definition", "offset": [1357, 1367]}, {"key": "an-additional", "type": "clause", "offset": [1385, 1398]}, {"key": "the-consideration", "type": "clause", "offset": [1650, 1667]}, {"key": "phases-of-development", "type": "clause", "offset": [1705, 1726]}, {"key": "planning-decisions", "type": "clause", "offset": [1863, 1881]}, {"key": "the-developer", "type": "clause", "offset": [1892, 1905]}, {"key": "specific-aspects", "type": "clause", "offset": [1919, 1935]}, {"key": "the-problem", "type": "clause", "offset": [1984, 1995]}, {"key": "the-solution", "type": "definition", "offset": [2012, 2024]}, {"key": "development-of", "type": "clause", "offset": [2063, 2077]}], "samples": [{"hash": "DtC5Wf3PsS", "uri": "/contracts/DtC5Wf3PsS#modes", "label": "Grant Agreement", "score": 26.1526355743, "published": true}, {"hash": "2kvFeFHvSK0", "uri": "/contracts/2kvFeFHvSK0#modes", "label": "Grant Agreement", "score": 19.5352497101, "published": true}], "hash": "ed1ab5474a0f4fe0fe6d3616dbebe958", "id": 4}, {"snippet": "Rewind arm function.", "size": 2, "snippet_links": [], "samples": [{"hash": "lLMDDGmZwlu", "uri": "/contracts/lLMDDGmZwlu#modes", "label": "Contract for Sputter Roll Coaters (Southwall Technologies Inc /De/)", "score": 16.0, "published": true}, {"hash": "dbiJkmM0ZRJ", "uri": "/contracts/dbiJkmM0ZRJ#modes", "label": "Contract for Sputter Roll Coaters (Southwall Technologies Inc /De/)", "score": 16.0, "published": true}], "hash": "030b6d8da7642aa8d531527a4c27773b", "id": 5}, {"snippet": "The main objective in the tool design was to make a simple to use environment that can be used by a non-Event-B user (e.g. requirements engineer, fault tolerance specialist), yet provides the necessary functionality for an Event-B modeller. The tool was designed to be as much an external environment to Event-B models as possible. \u2022 We decided not to extend the Rodin database with modal and fault tolerance elements and to keep them as separate models. This led to less platform dependencies and easier maintenance. \u2022 The static check is separated from the Rodin SC, and realized by the GMF validation since it does not logically belong to Rodin / Event-B. However, since the proofs are a part of the modelling process, we properly extended the Rodin proof obligation generator. \u2022 A modal/FT documents form a refinement chain that mimics the Event-B refinement. This allows our tool to be used with the existing types of decomposition / modularisation. \u2022 During the initial experiments we have identified a possible need for multiple views on a single model. The tool supports this by keeping the references to the models in the views and not the opposite.", "size": 2, "snippet_links": [{"key": "main-objective", "type": "clause", "offset": [4, 18]}, {"key": "a-non", "type": "clause", "offset": [98, 103]}, {"key": "fault-tolerance", "type": "clause", "offset": [146, 161]}, {"key": "an-event", "type": "clause", "offset": [220, 228]}, {"key": "an-external", "type": "clause", "offset": [277, 288]}, {"key": "to-extend", "type": "clause", "offset": [349, 358]}, {"key": "separated-from", "type": "definition", "offset": [540, 554]}, {"key": "form-a", "type": "definition", "offset": [804, 810]}, {"key": "the-event", "type": "clause", "offset": [840, 849]}, {"key": "types-of", "type": "clause", "offset": [914, 922]}, {"key": "references-to-the", "type": "definition", "offset": [1099, 1116]}], "samples": [{"hash": "DtC5Wf3PsS", "uri": "/contracts/DtC5Wf3PsS#modes", "label": "Grant Agreement", "score": 26.1526355743, "published": true}, {"hash": "2kvFeFHvSK0", "uri": "/contracts/2kvFeFHvSK0#modes", "label": "Grant Agreement", "score": 19.5352497101, "published": true}], "hash": "935dacaceb9a7678e3d0f267bc6ee8d1", "id": 6}, {"snippet": "There is a wiki page[10] with details of the plug-in functionality, installation guide, and a simple example. \u2022 Papers on modal specifications [11] and [12] , and fault tolerance [13] . \u2022 Also, we are working on a medium-scale case study", "size": 2, "snippet_links": [{"key": "details-of-the", "type": "clause", "offset": [30, 44]}, {"key": "installation-guide", "type": "clause", "offset": [68, 86]}, {"key": "fault-tolerance", "type": "clause", "offset": [163, 178]}, {"key": "case-study", "type": "definition", "offset": [227, 237]}], "samples": [{"hash": "DtC5Wf3PsS", "uri": "/contracts/DtC5Wf3PsS#modes", "label": "Grant Agreement", "score": 26.1526355743, "published": true}, {"hash": "2kvFeFHvSK0", "uri": "/contracts/2kvFeFHvSK0#modes", "label": "Grant Agreement", "score": 19.5352497101, "published": true}], "hash": "ad76a54715e80b6b2bb4092b4915fd31", "id": 7}, {"snippet": "Current status is version 1.0.0 for Rodin 2.0 In a long term we plan: \u2022 A few usability improvements \u2022 Integration with ProR requirements tracing framework \u2022 Event-B model generation and editing driven by FT patterns", "size": 2, "snippet_links": [{"key": "current-status", "type": "clause", "offset": [0, 14]}, {"key": "a-long-term", "type": "clause", "offset": [49, 60]}], "samples": [{"hash": "DtC5Wf3PsS", "uri": "/contracts/DtC5Wf3PsS#modes", "label": "Grant Agreement", "score": 26.1526355743, "published": true}, {"hash": "2kvFeFHvSK0", "uri": "/contracts/2kvFeFHvSK0#modes", "label": "Grant Agreement", "score": 19.5352497101, "published": true}], "hash": "a2c06e74b47b1d3bd0c92c9c6e0549f8", "id": 8}, {"snippet": "Inbound - Rail Car and Tank Truck Outbound - Tank Truck and Rail Car It is recommended that all shipments be coordinated with the Terminals \"Customer Service Department\".", "size": 1, "snippet_links": [{"key": "rail-car", "type": "definition", "offset": [10, 18]}, {"key": "coordinated-with", "type": "definition", "offset": [109, 125]}, {"key": "customer-service-department", "type": "clause", "offset": [141, 168]}], "samples": [{"hash": "evRladkr7ye", "uri": "/contracts/evRladkr7ye#modes", "label": "Terminal Agreement (Natural Solutions Corp)", "score": 16.0, "published": true}], "hash": "93f5b878c02adfc06d82cb896bcd7f4c", "id": 9}, {"snippet": "of supply: 1) Cross-border supply 2) Consumption abroad 3) Commercial presence 4) Presence of natural persons Sector or subsector Limitations on market access Limitations on national treatment Additional commitments I: Exclusive rights may be granted or maintained to newly-privatized companies. Voting rights in newly privatized companies may be restricted in some cases. For a period of five years, the acquisition of large equity stakes of companies operating in the fields of defence, transport services, telecommunications and energy may be subject to the approval of the Ministry of Treasury. F: For establishing in certain* commercial, industrial or artisanal activities, a specific authorization is needed if the managing director is not holder of a permanent residence permit. * Commercial, industrial or artisanal activities relate to sectors such as: other business services, construction, distribution and tourism services. It does not relate to telecommunications and financial services. Modes of supply: 1) Cross-border supply 2) Consumption abroad 3) Commercial presence 4) Presence of natural persons Sector or subsector Limitations on market access Limitations on national treatment Additional commitments 4) Unbound except for measures concerning the entry into and temporary stay* within a Member State, without requiring compliance with an economic needs test,** of the following categories of natural persons providing services: 4) Unbound except for measures concerning the categories of natural persons referred to in the Market Access column. * The duration of \"temporary stay\" is defined by the Member States and, where they exist, Community laws and regulations regarding entry, stay and work. The precise duration can vary according to the different categories of natural persons mentioned in this schedule. ** All other requirements of Community and Member States' laws and regulations regarding entry, stay, work and social security measures shall continue to apply, including regulations concerning period of stay, minimum wages as well as collective wage agreements. Modes of supply: 1) Cross-border supply 2) Consumption abroad 3) Commercial presence 4) Presence of natural persons Sector or subsector Limitations on market access Limitations on national treatment Additional commitments i) the temporary presence, as intra-corporate transferee,* of natural persons in the following categories, provided that the service supplier is a juridical person and that the persons concerned have been employed by it or have been partners in it (other than as majority shareholders), for at least the year immediately preceding such movement: a) Persons working in a senior position within a juridical person, who primarily direct the management of the establishment, receiving general supervision or direction principally from the board of directors or stockholders of the business or their equivalent, including: EC directives on mutual recognition of diplomas do not apply to nationals of third countries. Recognition of the diplomas which are required in order to practise regulated professional services by non-Community nationals remains within the competence of each Member State, unless Community law provides otherwise. The right to practise a regulated professional service in one Member State does not grant the right to practise in another Member State. * An \"intra-corporate transferee\" is defined as a natural person working within a juridical person, other than a non-profit making organisation, established in the territory of an WTO Member, and being temporarily transferred in the context of the provision of a service through commercial presence in the territory of a Community Member State; the juridical persons concerned must have their principal place of business in the territory of a WTO Member other than the Communities and their Member States and the transfer must be to an establishment (office, branch or subsidiary) of that juridical person, effectively providing like services in the territory of a Member State to which the EEC Treaty applies. In ITALY \"intra-corporate transferee\" is defined as a natural person working within a juridical person constituted as a SPA (joint stock company) or a SRL (capital stock company with limited responsibility). Modes of supply: 1) Cross-border supply 2) Consumption abroad 3) Commercial presence 4) Presence of natural persons", "size": 1, "snippet_links": [{"key": "consumption-abroad", "type": "clause", "offset": [37, 55]}, {"key": "commercial-presence", "type": "clause", "offset": [59, 78]}, {"key": "natural-persons", "type": "clause", "offset": [94, 109]}, {"key": "limitations-on-market-access-limitations-on-national-treatment-additional-commitments", "type": "clause", "offset": [130, 215]}, {"key": "exclusive-rights", "type": "clause", "offset": [219, 235]}, {"key": "voting-rights", "type": "definition", "offset": [296, 309]}, {"key": "for-a-period-of-five-years", "type": "definition", "offset": [373, 399]}, {"key": "the-acquisition", "type": "clause", "offset": [401, 416]}, {"key": "transport-services", "type": "definition", "offset": [489, 507]}, {"key": "approval-of", "type": "clause", "offset": [561, 572]}, {"key": "ministry-of", "type": "definition", "offset": [577, 588]}, {"key": "specific-authorization", "type": "clause", "offset": [681, 703]}, {"key": "the-managing-director", "type": "definition", "offset": [717, 738]}, {"key": "permanent-residence", "type": "definition", "offset": [758, 777]}, {"key": "relate-to", "type": "definition", "offset": [835, 844]}, {"key": "other-business-services", "type": "clause", "offset": [862, 885]}, {"key": "tourism-services", "type": "definition", "offset": [918, 934]}, {"key": "financial-services", "type": "clause", "offset": [981, 999]}, {"key": "modes-of-supply", "type": "clause", "offset": [1001, 1016]}, {"key": "concerning-the", "type": "clause", "offset": [1254, 1268]}, {"key": "a-member", "type": "definition", "offset": [1307, 1315]}, {"key": "compliance-with", "type": "clause", "offset": [1341, 1356]}, {"key": "persons-providing-services", "type": "clause", "offset": [1422, 1448]}, {"key": "the-market", "type": "clause", "offset": [1541, 1551]}, {"key": "duration-of", "type": "definition", "offset": [1573, 1584]}, {"key": "the-member-states", "type": "clause", "offset": [1616, 1633]}, {"key": "laws-and-regulations", "type": "definition", "offset": [1667, 1687]}, {"key": "according-to", "type": "definition", "offset": [1750, 1762]}, {"key": "other-requirements", "type": "definition", "offset": [1842, 1860]}, {"key": "work-and", "type": "clause", "offset": [1937, 1945]}, {"key": "security-measures", "type": "definition", "offset": [1953, 1970]}, {"key": "to-apply", "type": "clause", "offset": [1986, 1994]}, {"key": "period-of-stay", "type": "definition", "offset": [2029, 2043]}, {"key": "minimum-wages", "type": "definition", "offset": [2045, 2058]}, {"key": "provided-that", "type": "clause", "offset": [2427, 2440]}, {"key": "the-service", "type": "definition", "offset": [2441, 2452]}, {"key": "the-persons", "type": "clause", "offset": [2493, 2504]}, {"key": "employed-by", "type": "definition", "offset": [2525, 2536]}, {"key": "majority-shareholders", "type": "definition", "offset": [2583, 2604]}, {"key": "the-year", "type": "definition", "offset": [2620, 2628]}, {"key": "senior-position", "type": "clause", "offset": [2690, 2705]}, {"key": "management-of-the", "type": "clause", "offset": [2758, 2775]}, {"key": "general-supervision", "type": "definition", "offset": [2801, 2820]}, {"key": "the-board-of-directors", "type": "definition", "offset": [2851, 2873]}, {"key": "the-business", "type": "clause", "offset": [2893, 2905]}, {"key": "recognition-of", "type": "clause", "offset": [2962, 2976]}, {"key": "third-countries", "type": "clause", "offset": [3015, 3030]}, {"key": "in-order-to", "type": "clause", "offset": [3079, 3090]}, {"key": "professional-services", "type": "definition", "offset": [3110, 3131]}, {"key": "by-non", "type": "clause", "offset": [3132, 3138]}, {"key": "each-member", "type": "definition", "offset": [3192, 3203]}, {"key": "community-law", "type": "definition", "offset": [3218, 3231]}, {"key": "right-to", "type": "definition", "offset": [3256, 3264]}, {"key": "a-non", "type": "clause", "offset": [3500, 3505]}, {"key": "making-organisation", "type": "definition", "offset": [3513, 3532]}, {"key": "in-the-territory", "type": "clause", "offset": [3546, 3562]}, {"key": "wto-member", "type": "definition", "offset": [3569, 3579]}, {"key": "temporarily-transferred", "type": "clause", "offset": [3591, 3614]}, {"key": "context-of-the", "type": "clause", "offset": [3622, 3636]}, {"key": "provision-of-a", "type": "clause", "offset": [3637, 3651]}, {"key": "community-member", "type": "clause", "offset": [3710, 3726]}, {"key": "principal-place-of-business", "type": "definition", "offset": [3782, 3809]}, {"key": "the-transfer", "type": "clause", "offset": [3898, 3910]}, {"key": "services-in-the", "type": "clause", "offset": [4023, 4038]}, {"key": "joint-stock-company", "type": "definition", "offset": [4225, 4244]}, {"key": "capital-stock", "type": "definition", "offset": [4256, 4269]}, {"key": "limited-responsibility", "type": "clause", "offset": [4283, 4305]}], "samples": [{"hash": "eAOfOOTGUu1", "uri": "/contracts/eAOfOOTGUu1#modes", "label": "General Agreement on Trade in Services (Gats)", "score": 14.0, "published": true}], "hash": "c7f6d9de38117a6eb17d663390f4c0c0", "id": 10}], "next_curs": "Ck4SSGoVc35sYXdpbnNpZGVyY29udHJhY3RzcioLEhZDbGF1c2VTbmlwcGV0R3JvdXBfdjU2Ig5tb2RlcyMwMDAwMDAwYQyiAQJlbhgAIAA=", "clause": {"size": 41, "title": "Modes", "parents": [["general-obligations-of-first-parties", "General Obligations of First Parties"], ["meteorological-instrumentation", "Meteorological instrumentation"], ["planning", "Planning"], ["motivations", "Motivations"], ["choices-decisions", "Choices / Decisions"]], "children": [["", ""], ["of-annex-3", "of Annex 3"]], "id": "modes", "related": [["cryptography", "Cryptography", "Cryptography"], ["devices", "Devices", "Devices"], ["capabilities", "Capabilities", "Capabilities"], ["trainings", "Trainings", "Trainings"], ["trunk-types", "Trunk Types", "Trunk Types"]], "related_snippets": [], "updated": "2025-07-23T06:00:50+00:00"}, "json": true, "cursor": ""}}