Текст порождён из пакета паком law.verb.ru@0.7.0, а не написан рядом с ним: рассинхронизировать изложение с нормами нельзя по построению. Пробелов тотальности нет: каждый узел пакета получил изложение.

Ревью-документ: пакет «fia.corpus.f1_sporting» 0.1.0

Дисклеймер. Это не официальный текст закона и не юридическое заключение. Документ порождён детерминированной проекцией (ступень 2: используются морфологические формы меток; нормативные позиции duty, liberty, power и immunity, толкования и изменения редакций отображаются явно; имена аргументов отношений называются русским словарём, а переменные обозначаются краткими именами по типу) формализации в контролируемый русский язык и не имеет самостоятельной силы: при расхождении этого текста и семантики программы дефектом является шаблон вербализации, а не программа.

Вербализация: law.verb.ru@0.7.0 · язык ru-KZ · semantic hash программы sha256:98c45186a883254b2ece6928b1b77a949a324a8f42c504b20c6c45a6316afce7

Источники

Спортивный регламент «Формулы-1» ФИА

Источник «Спортивный регламент «Формулы-1» ФИА».

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA_F1_SPORTING_REGULATIONS

Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года

Издание «Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года» источника «Спортивный регламент «Формулы-1» ФИА», язык en.

Состояние adopted: 2021-12-08.

Состояние in_force: с «2021-12-08» (не включая «2021-12-13»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA_SR_2021_ISS13_EN

Спортивный регламент «Формулы-1» 2022 года, выпуск 6 от 29 апреля 2022 года

Издание «Спортивный регламент «Формулы-1» 2022 года, выпуск 6 от 29 апреля 2022 года» источника «Спортивный регламент «Формулы-1» ФИА», язык en.

Состояние adopted: 2022-04-29.

Состояние in_force: с «2022-04-29» (не включая «2022-10-19»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA_SR_2022_ISS6_EN

Закреплённые публикации

FIA_SR_2021_ISS13_EN_TEXT

Закреплённая публикация издания «Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года»: https://www.fia.com/sites/default/files/2021_formula_1_sporting_regulations_-_iss_13_-_2021-12-08.pdf.

Хэш документа: sha256:28ff377864e8ae26ca434936cd289c4c3cc4df9162fd3adb8032c87b41e1e6d4; тип text/plain; charset=utf-8; получен 2026-08-30T01:15:00Z.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA_SR_2021_ISS13_EN_TEXT

FIA_SR_2022_ISS6_EN_TEXT

Закреплённая публикация издания «Спортивный регламент «Формулы-1» 2022 года, выпуск 6 от 29 апреля 2022 года»: https://www.fia.com/sites/default/files/formula_1_-_sporting_regulations_-_2022_-_iss_6_-_2022-04-29.pdf.

Хэш документа: sha256:8e141976542a17c6068ec901a3c73047d1fb4c006de3597ace30fedeeffa5afd; тип text/plain; charset=utf-8; получен 2026-08-30T01:17:00Z.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA_SR_2022_ISS6_EN_TEXT

Фрагменты источников

FIA21_ART15_3

Фрагмент article/15/paragraph/3 издания «Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года».

The clerk of the course shall work in permanent consultation with the Race Director. The Race Director shall have overriding authority in the following matters and the clerk of the course may give orders in respect of them only with his express agreement:

Хэш официального текста: sha256:ad4d5c7c1c31bdafca3164906b1017916f1f9a77ccda6da309c64f7f92a2c80f.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA21_ART15_3

FIA21_ART15_3_E

Фрагмент article/15/paragraph/3/item/e издания «Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года».

e) The use of the safety car.

Хэш официального текста: sha256:92e8d9b96b0336c1c1b788937bd4306eb8ee94952be995a8de3d177bd2530cdb.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA21_ART15_3_E

FIA21_ART48_10

Фрагмент article/48/paragraph/10 издания «Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года».

Except under Article 48.12 below, the safety car shall be used at least until the leader is behind it and all remaining cars are lined up behind him.

Хэш официального текста: sha256:1644afffe3dd370e45d76477902a1bbac629c9c6e71eebf8b0303e384a7f658b.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_10

FIA21_ART48_12_ELIGIBILITY

Фрагмент article/48/paragraph/12/sentence/2 издания «Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года».

This will only apply to cars that were lapped at the time they crossed the Line at the end of the lap during which they crossed the first Safety Car line for the second time after the safety car was deployed.

Хэш официального текста: sha256:7cf8e0b9b324fc4e37532b4320d65d4c8c2387a11bf4a25d1e44bf80a97f2107.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_ELIGIBILITY

FIA21_ART48_12_RELEASE

Фрагмент article/48/paragraph/12/sentence/1 издания «Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года».

If the clerk of the course considers it safe to do so, and the message "LAPPED CARS MAY NOW OVERTAKE" has been sent to all Competitors via the official messaging system, any cars that have been lapped by the leader will be required to pass the cars on the lead lap and the safety car.

Хэш официального текста: sha256:423b19810948827cef9058ad8e3bd7ea1e22500fc659e10e2e027267d9a3b3f0.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RELEASE

FIA21_ART48_12_RETURN

Фрагмент article/48/paragraph/12/sentence/4 издания «Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года».

Unless the clerk of the course considers the presence of the safety car is still necessary, once the last lapped car has passed the leader the safety car will return to the pits at the end of the following lap.

Хэш официального текста: sha256:5fbca5f84f1f6a6417ffe3bf5dd80dc66736f863445168b6b31acd69972c99cb.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN

FIA21_ART48_13_ENTRY

Фрагмент article/48/paragraph/13/sentence/1 издания «Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года».

When the clerk of the course decides it is safe to call in the safety car the message "SAFETY CAR IN THIS LAP" will be sent to all Competitors via the official messaging system and the car's orange lights will be extinguished. This will be the signal to the Competitors and drivers that it will be entering the pit lane at the end of that lap.

Хэш официального текста: sha256:396f5c263e1d46ebaf05b5cc48607dc67e2ea7aa697f7036cf1f3f14e77c8301.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_13_ENTRY

FIA21_ART48_15

Фрагмент article/48/paragraph/15 издания «Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года».

If the safety car is still deployed at the beginning of the last lap, or is deployed during the last lap, it will enter the pit lane at the end of the lap and the cars will take the end-of-race signal as normal without overtaking.

Хэш официального текста: sha256:16a5cd6e476135d1150224fa6a1a5766a93cf8c1b41c17f7fc131ac4aa68702d.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_15

FIA22_ART55_13_RELEASE

Фрагмент article/55/paragraph/13/sentence/1 издания «Спортивный регламент «Формулы-1» 2022 года, выпуск 6 от 29 апреля 2022 года».

55.13 If the clerk of the course considers it safe to do so, and the message “LAPPED CARS MAY NOW OVERTAKE” has been sent to all Competitors using the official messaging system, all cars that have been lapped by the leader will be required to pass the cars on the lead lap and the safety car.

Хэш официального текста: sha256:2ef743f84af4e2cd6534520676cb66ea4c109622e7ab5a84f30c9d437ad3f2ac.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA22_ART55_13_RELEASE

FIA22_ART55_13_RETURN

Фрагмент article/55/paragraph/13/sentence/4 издания «Спортивный регламент «Формулы-1» 2022 года, выпуск 6 от 29 апреля 2022 года».

Unless the clerk of the course considers the presence of the safety car is still necessary, once the message “LAPPED CARS MAY NOW OVERTAKE” has been sent to all Competitors using the official messaging system, the safety car will return to the pits at the end of the following lap.

Хэш официального текста: sha256:c4dca44088f71714bbe12df6a0eb2fcbc4aeb8e97d3c3936e6fd48e9247621f6.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA22_ART55_13_RETURN

FIA22_ART55_14_ENTRY

Фрагмент article/55/paragraph/14/sentence/1 издания «Спортивный регламент «Формулы-1» 2022 года, выпуск 6 от 29 апреля 2022 года».

55.14 When the clerk of the course decides it is safe to call in the safety car the message “SAFETY CAR IN THIS LAP” will be sent to all Competitors using the official messaging system and the car’s orange lights will be extinguished. This will be the signal to the Competitors and drivers that it will be entering the pit lane at the end of that lap.

Хэш официального текста: sha256:d8764e5fe3cb098f17118b51fd69fddffc312036d7e87917d4f9c165442fdf61.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FIA22_ART55_14_ENTRY

Толкования

AnyReadings

Группа толкований: альтернативы — ««any cars that have been lapped» в прочтении «каждый круговой» (позиция «Мерседес»)», ««any cars that have been lapped» в прочтении «те круговые, кого пропустит дирекция» (позиция «Ред Булл»)».

Выбор: любое подмножество альтернатив; какое именно — определяет контекст вычисления. Этот документ не утверждает, какие альтернативы действуют.

Идентификатор: urn:fia:corpus:clir:f1_sporting#AnyReadings

OverridingAuthorityReadings

Группа толкований: альтернативы — «Власть первенства как право отступить от процедуры (позиция «Ред Булл»)», «Власть первенства как власть только над применением сейфти-кара (позиция «Мерседес»)».

Идентификатор: urn:fia:corpus:clir:f1_sporting#OverridingAuthorityReadings

«any cars that have been lapped» в прочтении «каждый круговой» (позиция «Мерседес»)

Толкование. Статус: disputed.

Толкуются: фрагмент article/48/paragraph/12/sentence/1 издания «Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года».

Под этим толкованием принимаются: «Пункт 48.12 в прочтении «any» = «все»: обязанность проехать вперёд возникает у каждой машины, подпадающей под процедуру».

Действует ли это толкование в конкретном деле, определяет контекст вычисления. Этот документ его не утверждает.

Идентификатор: urn:fia:corpus:clir:f1_sporting#AnyMeansAllReading

«any cars that have been lapped» в прочтении «те круговые, кого пропустит дирекция» (позиция «Ред Булл»)

Толкование. Статус: disputed.

Под этим толкованием принимаются: «Пункт 48.12 в прочтении «any» = «какие-нибудь»: круговой, которого дирекция не пропустила, проезжать вперёд не обязан».

Идентификатор: urn:fia:corpus:clir:f1_sporting#AnyMeansSomeReading

Власть первенства как право отступить от процедуры (позиция «Ред Булл»)

Толкование. Статус: disputed.

Толкуются: фрагмент article/15/paragraph/3 издания «Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года».

Под этим толкованием принимаются: «Санкционированное отступление от процедуры снимает отсрочку по пункту 48.12», «Распоряжение директора гонки о применении сейфти-кара санкционирует отступление от процедуры статьи 48».

Идентификатор: urn:fia:corpus:clir:f1_sporting#AuthorityAsDispensingPower

Власть первенства как власть только над применением сейфти-кара (позиция «Мерседес»)

Толкование. Статус: disputed.

Под этим толкованием принимаются: «Распоряжение о применении сейфти-кара не санкционирует отступления от процедуры статьи 48».

Идентификатор: urn:fia:corpus:clir:f1_sporting#AuthorityOverApplicationOnly

Нижняя граница пункта 48.10 снимается только завершённой процедурой выпуска, а не запущенной

Толкование. Статус: disputed.

Толкуются: фрагмент article/48/paragraph/10 издания «Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года».

Под этим толкованием принимаются: «Запущенная, но незавершённая процедура выпуска нижнюю границу не снимает: пока остаётся машина, обязанная проехать лидера и его не проехавшая, сейфти-кар в боксы не уходит».

Идентификатор: urn:fia:corpus:clir:f1_sporting#FloorSurvivesIncompleteRelease

Решение стюардов, документ 58: пункт 48.13 перекрывает пункт 48.12

Толкование. Статус: disputed.

Толкуются: фрагмент article/48/paragraph/13/sentence/1 издания «Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года».

Под этим толкованием принимаются: «Сообщение «SAFETY CAR IN THIS LAP» снимает отсрочку по пункту 48.12».

Идентификатор: urn:fia:corpus:clir:f1_sporting#StewardsPriorityReading

Понятия

машина

Понятие «машина».

Идентификатор: urn:fia:corpus:clir:f1_sporting#Car

круг

Понятие «круг».

Идентификатор: urn:fia:corpus:clir:f1_sporting#Lap

должностное лицо, назначенное по статье 15

Понятие «должностное лицо, назначенное по статье 15».

Идентификатор: urn:fia:corpus:clir:f1_sporting#Official

гонка

Понятие «гонка».

Идентификатор: urn:fia:corpus:clir:f1_sporting#Race

SafetyCarProcedureState

Понятие «SafetyCarProcedureState».

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureState

SafetyCarProcedureTransition

Понятие «SafetyCarProcedureTransition».

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureTransition

Отношения и признаки

вызвать сейфти-кар в боксы по пункту 48.13

Отношение «вызвать сейфти-кар в боксы по пункту 48.13».

Идентификатор: urn:fia:corpus:clir:f1_sporting#CallInSafetyCar

выпустить сейфти-кар

Отношение «выпустить сейфти-кар».

Идентификатор: urn:fia:corpus:clir:f1_sporting#DeploySafetyCar

гонка приняла финишный сигнал

Отношение «гонка приняла финишный сигнал».

Идентификатор: urn:fia:corpus:clir:f1_sporting#Finished

круговые выпущены вперёд по пункту 48.12

Отношение «круговые выпущены вперёд по пункту 48.12».

Идентификатор: urn:fia:corpus:clir:f1_sporting#LappedCarsReleased

гонка идёт в обычном режиме

Отношение «гонка идёт в обычном режиме».

Идентификатор: urn:fia:corpus:clir:f1_sporting#Racing

выпустить круговых вперёд по пункту 48.12

Отношение «выпустить круговых вперёд по пункту 48.12».

Идентификатор: urn:fia:corpus:clir:f1_sporting#ReleaseLappedCars

возобновить гонку

Отношение «возобновить гонку».

Идентификатор: urn:fia:corpus:clir:f1_sporting#Restart

сейфти-кар вызван в боксы по пункту 48.13

Отношение «сейфти-кар вызван в боксы по пункту 48.13».

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarCalledIn

сейфти-кар на трассе

Отношение «сейфти-кар на трассе».

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarDeployedState

принять финишный сигнал

Отношение «принять финишный сигнал».

Идентификатор: urn:fia:corpus:clir:f1_sporting#TakeEndOfRaceSignal

машина, обязанная проехать лидера, проехала его на более позднем круге

Отношение «машина, обязанная проехать лидера, проехала его на более позднем круге».

Аргументы: race: гонка, lap: круг.

Идентификатор: urn:fia:corpus:clir:f1_sporting#a_required_car_passed_after

attempted_transition

Отношение «attempted_transition».

Аргументы: instance: гонка, transition: SafetyCarProcedureTransition.

Идентификатор: urn:fia:corpus:clir:f1_sporting#attempted_transition

машина проехала мимо лидера

Отношение «машина проехала мимо лидера».

Аргументы: car: машина.

Идентификатор: urn:fia:corpus:clir:f1_sporting#car_has_passed_the_leader

машина входит в замкнутую область лап-чарта

Отношение «машина входит в замкнутую область лап-чарта».

Аргументы: car: машина.

Идентификатор: urn:fia:corpus:clir:f1_sporting#checked_car

гонка входит в замкнутую область протокола

Отношение «гонка входит в замкнутую область протокола».

Аргументы: race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#checked_race

распорядитель гонки решает, что вызвать сейфти-кар в боксы безопасно

Отношение «распорядитель гонки решает, что вызвать сейфти-кар в боксы безопасно».

Аргументы: race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_call_in

распорядитель гонки считает безопасным выпустить круговых вперёд

Отношение «распорядитель гонки считает безопасным выпустить круговых вперёд».

Аргументы: race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_release

распорядитель гонки считает присутствие сейфти-кара всё ещё необходимым

Отношение «распорядитель гонки считает присутствие сейфти-кара всё ещё необходимым».

Аргументы: race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#clerk_considers_presence_still_necessary

должностное лицо является распорядителем гонки, назначенным НАФ на соревнование

Отношение «должностное лицо является распорядителем гонки, назначенным НАФ на соревнование».

Аргументы: race: гонка, clerk: должностное лицо, назначенное по статье 15.

Идентификатор: urn:fia:corpus:clir:f1_sporting#clerk_of_the_course_of

распоряжение распорядителя гонки о применении сейфти-кара дано с выраженного согласия директора гонки

Отношение «распоряжение распорядителя гонки о применении сейфти-кара дано с выраженного согласия директора гонки».

Аргументы: race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#clerk_order_on_safety_car_use_authorised

отступление от процедуры сейфти-кара статьи 48 санкционировано

Отношение «отступление от процедуры сейфти-кара статьи 48 санкционировано».

Аргументы: race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#departure_from_safety_car_procedure_authorised

машина относится к тем, на кого распространяется процедура выпуска по пункту 48.12

Отношение «машина относится к тем, на кого распространяется процедура выпуска по пункту 48.12».

Аргументы: race: гонка, car: машина.

Идентификатор: urn:fia:corpus:clir:f1_sporting#eligible_lapped_car

entered_state

Отношение «entered_state».

Аргументы: instance: гонка, state: SafetyCarProcedureState.

Идентификатор: urn:fia:corpus:clir:f1_sporting#entered_state

лидер идёт за сейфти-каром, и все оставшиеся машины выстроились за лидером

Отношение «лидер идёт за сейфти-каром, и все оставшиеся машины выстроились за лидером».

Аргументы: race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#field_lined_up_behind_leader

круг является последним кругом гонки

Отношение «круг является последним кругом гонки».

Аргументы: race: гонка, lap: круг.

Идентификатор: urn:fia:corpus:clir:f1_sporting#final_lap_of_race

первый круг непосредственно следует за вторым

Отношение «первый круг непосредственно следует за вторым».

Аргументы: following: круг, lap: круг.

Идентификатор: urn:fia:corpus:clir:f1_sporting#immediately_follows

первый круг предшествует второму в этой гонке

Отношение «первый круг предшествует второму в этой гонке».

Аргументы: earlier: круг, later: круг.

Идентификатор: urn:fia:corpus:clir:f1_sporting#lap_before

круг относится к этой гонке

Отношение «круг относится к этой гонке».

Аргументы: race: гонка, lap: круг.

Идентификатор: urn:fia:corpus:clir:f1_sporting#lap_of_race

машина была отставшей на круг в момент пересечения линии в конце того круга, на котором она вторично прошла первую линию сейфти-кара после его выпуска

Отношение «машина была отставшей на круг в момент пересечения линии в конце того круга, на котором она вторично прошла первую линию сейфти-кара после его выпуска».

Аргументы: race: гонка, car: машина.

Идентификатор: urn:fia:corpus:clir:f1_sporting#lapped_at_the_qualifying_line_crossing

машина отстала от лидера на круг

Отношение «машина отстала от лидера на круг».

Аргументы: race: гонка, car: машина.

Идентификатор: urn:fia:corpus:clir:f1_sporting#lapped_by_leader

всем участникам передано сообщение «LAPPED CARS MAY NOW OVERTAKE»

Отношение «всем участникам передано сообщение «LAPPED CARS MAY NOW OVERTAKE»».

Аргументы: race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#overtake_message_sent

на этом круге всем участникам передано сообщение «LAPPED CARS MAY NOW OVERTAKE»

Отношение «на этом круге всем участникам передано сообщение «LAPPED CARS MAY NOW OVERTAKE»».

Аргументы: race: гонка, lap: круг.

Идентификатор: urn:fia:corpus:clir:f1_sporting#overtake_message_sent_on

машина совершает обгон на последнем круге

Отношение «машина совершает обгон на последнем круге».

Аргументы: race: гонка, car: машина.

Идентификатор: urn:fia:corpus:clir:f1_sporting#overtakes_on_the_last_lap

машина проехала мимо лидера на этом круге

Отношение «машина проехала мимо лидера на этом круге».

Аргументы: race: гонка, car: машина, lap: круг.

Идентификатор: urn:fia:corpus:clir:f1_sporting#passed_the_leader_on

машина проезжает вперёд мимо машин на ведущем круге и сейфти-кара

Отношение «машина проезжает вперёд мимо машин на ведущем круге и сейфти-кара».

Аргументы: race: гонка, car: машина.

Идентификатор: urn:fia:corpus:clir:f1_sporting#passes_lead_lap_cars_and_safety_car

дирекция гонки пропустила машину вперёд мимо машин на ведущем круге и сейфти-кара

Отношение «дирекция гонки пропустила машину вперёд мимо машин на ведущем круге и сейфти-кара».

Аргументы: car: машина.

Идентификатор: urn:fia:corpus:clir:f1_sporting#permitted_to_overtake_by_race_control

procedure_instance

Отношение «procedure_instance».

Аргументы: instance: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#procedure_instance

должностное лицо является директором гонки, назначенным ФИА на соревнование

Отношение «должностное лицо является директором гонки, назначенным ФИА на соревнование».

Аргументы: race: гонка, director: должностное лицо, назначенное по статье 15.

Идентификатор: urn:fia:corpus:clir:f1_sporting#race_director_of

гонка приняла финишный сигнал

Отношение «гонка приняла финишный сигнал».

Аргументы: race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#race_finished

обязанная проехать лидера машина проехала его на этом круге

Отношение «обязанная проехать лидера машина проехала его на этом круге».

Аргументы: race: гонка, lap: круг.

Идентификатор: urn:fia:corpus:clir:f1_sporting#release_pass_recorded

процедура выпуска круговых по пункту 48.12 завершена

Отношение «процедура выпуска круговых по пункту 48.12 завершена».

Аргументы: race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#release_procedure_completed

последняя машина, обязанная проехать лидера, проехала его на этом круге

Отношение «последняя машина, обязанная проехать лидера, проехала его на этом круге».

Аргументы: race: гонка, lap: круг.

Идентификатор: urn:fia:corpus:clir:f1_sporting#release_procedure_completed_on

процедура выпуска круговых по пункту 48.12 запущена

Отношение «процедура выпуска круговых по пункту 48.12 запущена».

Аргументы: race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#release_procedure_invoked

машина, обязанная проехать лидера, его ещё не проехала

Отношение «машина, обязанная проехать лидера, его ещё не проехала».

Аргументы: race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#required_car_outstanding

машина обязана проехать вперёд мимо машин на ведущем круге и сейфти-кара

Отношение «машина обязана проехать вперёд мимо машин на ведущем круге и сейфти-кара».

Аргументы: race: гонка, car: машина.

Идентификатор: urn:fia:corpus:clir:f1_sporting#required_to_pass_the_leader

уход сейфти-кара отложен на круг, следующий за этим

Отношение «уход сейфти-кара отложен на круг, следующий за этим».

Аргументы: race: гонка, lap: круг.

Идентификатор: urn:fia:corpus:clir:f1_sporting#return_deferred_to_following_lap

сейфти-кар выпущен на трассу

Отношение «сейфти-кар выпущен на трассу».

Аргументы: race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#safety_car_deployed

сейфти-кар находится на трассе в начале круга

Отношение «сейфти-кар находится на трассе в начале круга».

Аргументы: race: гонка, lap: круг.

Идентификатор: urn:fia:corpus:clir:f1_sporting#safety_car_deployed_at_beginning_of

директор гонки дал распоряжение о применении сейфти-кара

Отношение «директор гонки дал распоряжение о применении сейфти-кара».

Аргументы: director: должностное лицо, назначенное по статье 15, race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#safety_car_direction_given

на этом круге всем участникам передано сообщение «SAFETY CAR IN THIS LAP»

Отношение «на этом круге всем участникам передано сообщение «SAFETY CAR IN THIS LAP»».

Аргументы: race: гонка, lap: круг.

Идентификатор: urn:fia:corpus:clir:f1_sporting#safety_car_in_this_lap_message_sent_on

сейфти-кар обязан оставаться на трассе по нижней границе пункта 48.10

Отношение «сейфти-кар обязан оставаться на трассе по нижней границе пункта 48.10».

Аргументы: race: гонка.

Идентификатор: urn:fia:corpus:clir:f1_sporting#safety_car_must_remain_deployed

сейфти-кар возвращается в боксы в конце этого круга

Отношение «сейфти-кар возвращается в боксы в конце этого круга».

Аргументы: race: гонка, lap: круг.

Идентификатор: urn:fia:corpus:clir:f1_sporting#safety_car_returns_to_pits_at_end_of

valid_transition

Отношение «valid_transition».

Аргументы: instance: гонка, transition: SafetyCarProcedureTransition.

Идентификатор: urn:fia:corpus:clir:f1_sporting#valid_transition

Внешние каналы

распорядитель гонки решает, что вызвать сейфти-кар в боксы безопасно

Вопрос «распорядитель гонки решает, что вызвать сейфти-кар в боксы безопасно» решает «ClerkOfTheCourse». До поступления решения ответ не считается ни установленным, ни опровергнутым: вычисление останавливается и запрашивает суждение.

Требуемое полномочие: «judgment:ClerkOfTheCourse».

Идентификатор: urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_call_in/external

распорядитель гонки считает безопасным выпустить круговых вперёд

Вопрос «распорядитель гонки считает безопасным выпустить круговых вперёд» решает «ClerkOfTheCourse». До поступления решения ответ не считается ни установленным, ни опровергнутым: вычисление останавливается и запрашивает суждение.

Требуемое полномочие: «judgment:ClerkOfTheCourse».

Идентификатор: urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_release/external

распорядитель гонки считает присутствие сейфти-кара всё ещё необходимым

Вопрос «распорядитель гонки считает присутствие сейфти-кара всё ещё необходимым» решает «ClerkOfTheCourse». До поступления решения ответ не считается ни установленным, ни опровергнутым: вычисление останавливается и запрашивает суждение.

Требуемое полномочие: «judgment:ClerkOfTheCourse».

Идентификатор: urn:fia:corpus:clir:f1_sporting#clerk_considers_presence_still_necessary/external

Исчерпывающие перечни

гонка, о которой не отмечено, что поле выстроилось за лидером, поля выстроенным не имеет

Перечень «лидер идёт за сейфти-каром, и все оставшиеся машины выстроились за лидером» является исчерпывающим по состоянию на 2021-12-12T00:00:00Z: всё, что не перечислено, считается не относящимся к нему.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FieldLinedUpClosure

машина, не отмеченная в лап-чарте как проехавшая лидера, лидера не проезжала

Перечень «машина проехала мимо лидера» является исчерпывающим по состоянию на 2021-12-12T00:00:00Z: всё, что не перечислено, считается не относящимся к нему.

Идентификатор: urn:fia:corpus:clir:f1_sporting#PassedTheLeaderClosure

машина, не названная в сообщении дирекции гонки, вперёд не выпускалась

Перечень «дирекция гонки пропустила машину вперёд мимо машин на ведущем круге и сейфти-кара» является исчерпывающим по состоянию на 2021-12-12T00:00:00Z: всё, что не перечислено, считается не относящимся к нему.

Идентификатор: urn:fia:corpus:clir:f1_sporting#PermittedToOvertakeClosure

Правила

обязанная машина проехала лидера позже рассматриваемого круга

Для гонка Г (v0); машина М (v1); круг К (v2); круг К2 (v3).

По общему правилу, если установлено, что «машина проехала мимо лидера на этом круге» (race: Г, car: М, lap: К2) и установлено, что «машина обязана проехать вперёд мимо машин на ведущем круге и сейфти-кара» (race: Г, car: М) и установлено, что «первый круг предшествует второму в этой гонке» (earlier: К, later: К2), то «машина, обязанная проехать лидера, проехала его на более позднем круге» (race: Г, lap: К), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#ARequiredCarPassedAfter

Пункт 48.12 в прочтении «any» = «все»: обязанность проехать вперёд возникает у каждой машины, подпадающей под процедуру

Для гонка Г (v0); машина М (v1).

По общему правилу, если установлено, что «процедура выпуска круговых по пункту 48.12 запущена» (race: Г) и установлено, что «машина относится к тем, на кого распространяется процедура выпуска по пункту 48.12» (race: Г, car: М), то «машина обязана проехать вперёд мимо машин на ведущем круге и сейфти-кара» (race: Г, car: М), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#AnyMeansAllReading/EveryEligibleLappedCarRequiredToPass

Пункт 48.12 в прочтении «any» = «какие-нибудь»: круговой, которого дирекция не пропустила, проезжать вперёд не обязан

Для гонка Г (v0); машина М (v1).

По общему правилу, если установлено, что «процедура выпуска круговых по пункту 48.12 запущена» (race: Г) и установлено, что «машина относится к тем, на кого распространяется процедура выпуска по пункту 48.12» (race: Г, car: М) и установлено, что не «дирекция гонки пропустила машину вперёд мимо машин на ведущем круге и сейфти-кара» (car: М), то не имеет места, что «машина обязана проехать вперёд мимо машин на ведущем круге и сейфти-кара» (race: Г, car: М), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#AnyMeansSomeReading/UnreleasedLappedCarIsNotRequiredToPass

Санкционированное отступление от процедуры снимает отсрочку по пункту 48.12

Для гонка Г (v0); круг К (v1).

Вывод «уход сейфти-кара отложен на круг, следующий за этим» (race: Г, lap: К) не делается, если установлено, что «последняя машина, обязанная проехать лидера, проехала его на этом круге» (race: Г, lap: К) и установлено, что «отступление от процедуры сейфти-кара статьи 48 санкционировано» (race: Г).

Идентификатор: urn:fia:corpus:clir:f1_sporting#AuthorityAsDispensingPower/AuthorisedDepartureDefeatsTheDeferredReturn

Распоряжение директора гонки о применении сейфти-кара санкционирует отступление от процедуры статьи 48

Для гонка Г (v0); должностное лицо, назначенное по статье 15 Д (v1).

По общему правилу, если установлено, что «директор гонки дал распоряжение о применении сейфти-кара» (director: Д, race: Г) и установлено, что «сейфти-кар выпущен на трассу» (race: Г) и установлено, что «должностное лицо является директором гонки, назначенным ФИА на соревнование» (race: Г, director: Д), то «отступление от процедуры сейфти-кара статьи 48 санкционировано» (race: Г), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#AuthorityAsDispensingPower/DirectionAuthorisesDepartureFromProcedure

Распоряжение о применении сейфти-кара не санкционирует отступления от процедуры статьи 48

Для гонка Г (v0); должностное лицо, назначенное по статье 15 Д (v1).

По общему правилу, если установлено, что «директор гонки дал распоряжение о применении сейфти-кара» (director: Д, race: Г) и установлено, что «сейфти-кар выпущен на трассу» (race: Г) и установлено, что «должностное лицо является директором гонки, назначенным ФИА на соревнование» (race: Г, director: Д), то не имеет места, что «отступление от процедуры сейфти-кара статьи 48 санкционировано» (race: Г), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#AuthorityOverApplicationOnly/DirectionDoesNotAuthoriseDeparture

Пункт 48.12, четвёртое предложение, в прочтении, исключающем уход в конце того круга, на котором последний круговой проехал лидера

Для гонка Г (v0); круг К (v1).

По общему правилу, если установлено, что «уход сейфти-кара отложен на круг, следующий за этим» (race: Г, lap: К), то не имеет места, что «сейфти-кар возвращается в боксы в конце этого круга» (race: Г, lap: К), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#DeferralExcludesReturnAtEndOfThisLap Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN

Пункт 48.12, четвёртое предложение. Отложенный уход приходится на конец следующего круга

Для гонка Г (v0); круг К (v1); круг К2 (v2).

По общему правилу, если установлено, что «первый круг непосредственно следует за вторым» (following: К2, lap: К) и установлено, что «уход сейфти-кара отложен на круг, следующий за этим» (race: Г, lap: К), то «сейфти-кар возвращается в боксы в конце этого круга» (race: Г, lap: К2), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#DeferredReturnFallsOnTheFollowingLap Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN

Пункт 48.10. Пока сейфти-кар обязан оставаться на трассе, он не уходит в боксы в конце ни одного круга

Для гонка Г (v0); круг К (v1).

По общему правилу, если установлено, что «сейфти-кар обязан оставаться на трассе по нижней границе пункта 48.10» (race: Г) и установлено, что «круг относится к этой гонке» (race: Г, lap: К), то не имеет места, что «сейфти-кар возвращается в боксы в конце этого круга» (race: Г, lap: К), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FloorBarsReturnWhileFieldIsNotLinedUp Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_10

Запущенная, но незавершённая процедура выпуска нижнюю границу не снимает: пока остаётся машина, обязанная проехать лидера и его не проехавшая, сейфти-кар в боксы не уходит

Для гонка Г (v0); круг К (v1).

По общему правилу, если установлено, что «сейфти-кар выпущен на трассу» (race: Г) и установлено, что «круг относится к этой гонке» (race: Г, lap: К) и установлено, что «машина, обязанная проехать лидера, его ещё не проехала» (race: Г), то не имеет места, что «сейфти-кар возвращается в боксы в конце этого круга» (race: Г, lap: К), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#FloorSurvivesIncompleteRelease/FloorSurvivesWhileReleaseIncomplete

Пункт 48.12, первое предложение. Обязанная машина должна проехать вперёд мимо машин на ведущем круге и сейфти-кара

Для гонка Г (v0); машина М (v1).

Всегда, если установлено, что «машина обязана проехать вперёд мимо машин на ведущем круге и сейфти-кара» (race: Г, car: М), то активируется нормативный шаблон «Пункт 48.12, первое предложение. Обязанная машина должна проехать вперёд мимо машин на ведущем круге и сейфти-кара».

Идентификатор: urn:fia:corpus:clir:f1_sporting#LappedCarMustPassLeadLapCarsAndSafetyCar Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RELEASE

Пункт 48.12, второе предложение. Процедура распространяется только на машины, отставшие на круг к моменту пересечения линии в конце определяющего круга

Для гонка Г (v0); машина М (v1).

Всегда, если установлено, что «машина была отставшей на круг в момент пересечения линии в конце того круга, на котором она вторично прошла первую линию сейфти-кара после его выпуска» (race: Г, car: М) и установлено, что «машина отстала от лидера на круг» (race: Г, car: М), то «машина относится к тем, на кого распространяется процедура выпуска по пункту 48.12» (race: Г, car: М).

Идентификатор: urn:fia:corpus:clir:f1_sporting#LappedCarWithinTheProcedure Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_ELIGIBILITY

Пункт 48.15. Машины принимают финишный сигнал в обычном порядке без обгонов

Для гонка Г (v0); машина М (v1); круг К (v2).

Всегда, если установлено, что «машина входит в замкнутую область лап-чарта» (car: М) и установлено, что «сейфти-кар находится на трассе в начале круга» (race: Г, lap: К) и установлено, что «круг является последним кругом гонки» (race: Г, lap: К), то активируется нормативный шаблон «Пункт 48.15. Машины принимают финишный сигнал в обычном порядке без обгонов».

Идентификатор: urn:fia:corpus:clir:f1_sporting#NoOvertakingOnTheLastLapBehindTheSafetyCar Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_15

сообщение «LAPPED CARS MAY NOW OVERTAKE» передано на каком-то круге гонки

Для гонка Г (v0); круг К (v1).

Всегда, если установлено, что «на этом круге всем участникам передано сообщение «LAPPED CARS MAY NOW OVERTAKE»» (race: Г, lap: К), то «всем участникам передано сообщение «LAPPED CARS MAY NOW OVERTAKE»» (race: Г).

Идентификатор: urn:fia:corpus:clir:f1_sporting#OvertakeMessageSent

Пункт 15.3 «e». Директор гонки обладает властью первенства в вопросе применения сейфти-кара, и распорядитель гонки вправе распоряжаться им только с выраженного согласия директора

Для гонка Г (v0); должностное лицо, назначенное по статье 15 Д (v1).

Всегда, если установлено, что «должностное лицо является директором гонки, назначенным ФИА на соревнование» (race: Г, director: Д), то активируется нормативный шаблон «Пункт 15.3 «e». Директор гонки обладает властью первенства в вопросе применения сейфти-кара, и распорядитель гонки вправе распоряжаться им только с выраженного согласия директора».

Идентификатор: urn:fia:corpus:clir:f1_sporting#RaceDirectorHasOverridingAuthorityOverSafetyCarUse Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART15_3, urn:fia:corpus:clir:f1_sporting#FIA21_ART15_3_E

обязанная проехать лидера машина проехала его на этом круге

Для гонка Г (v0); машина М (v1); круг К (v2).

По общему правилу, если установлено, что «машина проехала мимо лидера на этом круге» (race: Г, car: М, lap: К) и установлено, что «машина обязана проехать вперёд мимо машин на ведущем круге и сейфти-кара» (race: Г, car: М), то «обязанная проехать лидера машина проехала его на этом круге» (race: Г, lap: К), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#ReleasePassRecorded

процедура выпуска круговых завершена

Для гонка Г (v0); круг К (v1).

По общему правилу, если установлено, что «последняя машина, обязанная проехать лидера, проехала его на этом круге» (race: Г, lap: К), то «процедура выпуска круговых по пункту 48.12 завершена» (race: Г), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompleted

Пункт 48.12, четвёртое предложение. Последний круговой проехал лидера на этом круге

Для гонка Г (v0); круг К (v1).

По общему правилу, если установлено, что «обязанная проехать лидера машина проехала его на этом круге» (race: Г, lap: К), то «последняя машина, обязанная проехать лидера, проехала его на этом круге» (race: Г, lap: К), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompletedOn Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN

Пункт 48.12, четвёртое предложение. Последний круговой проехал лидера на этом круге

Для гонка Г (v0); круг К (v1).

По общему правилу, если установлено, что «обязанная проехать лидера машина проехала его на этом круге» (race: Г, lap: К) и установлено, что «машина, обязанная проехать лидера, его ещё не проехала» (race: Г), то не имеет места, что «последняя машина, обязанная проехать лидера, проехала его на этом круге» (race: Г, lap: К), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompletedOn/unless/0 Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN

Пункт 48.12, четвёртое предложение. Последний круговой проехал лидера на этом круге

Для гонка Г (v0); круг К (v1).

По общему правилу, если установлено, что «обязанная проехать лидера машина проехала его на этом круге» (race: Г, lap: К) и установлено, что «машина, обязанная проехать лидера, проехала его на более позднем круге» (race: Г, lap: К), то не имеет места, что «последняя машина, обязанная проехать лидера, проехала его на этом круге» (race: Г, lap: К), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompletedOn/unless/1 Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN

Пункт 48.12, первое предложение. Процедура выпуска запущена, когда распорядитель гонки счёл это безопасным и сообщение передано

Для гонка Г (v0).

Всегда, если установлено, что «всем участникам передано сообщение «LAPPED CARS MAY NOW OVERTAKE»» (race: Г) и установлено, что «сейфти-кар выпущен на трассу» (race: Г) и установлено, что «распорядитель гонки считает безопасным выпустить круговых вперёд» (race: Г), то «процедура выпуска круговых по пункту 48.12 запущена» (race: Г).

Идентификатор: urn:fia:corpus:clir:f1_sporting#ReleaseProcedureInvoked Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RELEASE

Пункт 48.12, первое предложение, в узком прочтении: круговой, пропущенный дирекцией гонки, обязан проехать вперёд мимо машин на ведущем круге и сейфти-кара

Для гонка Г (v0); машина М (v1).

По общему правилу, если установлено, что «процедура выпуска круговых по пункту 48.12 запущена» (race: Г) и установлено, что «дирекция гонки пропустила машину вперёд мимо машин на ведущем круге и сейфти-кара» (car: М) и установлено, что «машина относится к тем, на кого распространяется процедура выпуска по пункту 48.12» (race: Г, car: М), то «машина обязана проехать вперёд мимо машин на ведущем круге и сейфти-кара» (race: Г, car: М), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#ReleasedCarsRequiredToPass Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RELEASE

обязанная проехать лидера машина, его не проехавшая, оставляет процедуру выпуска незавершённой

Для гонка Г (v0); машина М (v1).

По общему правилу, если установлено, что не «машина проехала мимо лидера» (car: М) и установлено, что «машина обязана проехать вперёд мимо машин на ведущем круге и сейфти-кара» (race: Г, car: М), то «машина, обязанная проехать лидера, его ещё не проехала» (race: Г), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#RequiredCarOutstanding

Пункт 48.13. После передачи сообщения «SAFETY CAR IN THIS LAP» сейфти-кар уходит в боксы в конце этого круга

Для гонка Г (v0); круг К (v1).

По общему правилу, если установлено, что «распорядитель гонки решает, что вызвать сейфти-кар в боксы безопасно» (race: Г) и установлено, что «на этом круге всем участникам передано сообщение «SAFETY CAR IN THIS LAP»» (race: Г, lap: К), то «сейфти-кар возвращается в боксы в конце этого круга» (race: Г, lap: К), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarEntersPitLaneAtEndOfThatLap Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_13_ENTRY

вызвать сейфти-кар в боксы по пункту 48.13

Для гонка Г (v0).

Всегда, если имеются (возможно оспариваемые) основания считать, что «valid_transition» (instance: Г, transition: «вызвать сейфти-кар в боксы по пункту 48.13»), то «entered_state» (instance: Г, state: «сейфти-кар вызван в боксы по пункту 48.13»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/CallInSafetyCar/enters

вызвать сейфти-кар в боксы по пункту 48.13

Для гонка Г (v0).

Всегда, если установлено, что «attempted_transition» (instance: Г, transition: «вызвать сейфти-кар в боксы по пункту 48.13») и имеются (возможно оспариваемые) основания считать, что «entered_state» (instance: Г, state: «круговые выпущены вперёд по пункту 48.12») и установлено, что «процедура выпуска круговых по пункту 48.12 завершена» (race: Г), то «valid_transition» (instance: Г, transition: «вызвать сейфти-кар в боксы по пункту 48.13»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/CallInSafetyCar/valid

выпустить сейфти-кар

Для гонка Г (v0).

Всегда, если имеются (возможно оспариваемые) основания считать, что «valid_transition» (instance: Г, transition: «выпустить сейфти-кар»), то «entered_state» (instance: Г, state: «сейфти-кар на трассе»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/DeploySafetyCar/enters

выпустить сейфти-кар

Для гонка Г (v0).

Всегда, если установлено, что «attempted_transition» (instance: Г, transition: «выпустить сейфти-кар») и имеются (возможно оспариваемые) основания считать, что «entered_state» (instance: Г, state: «гонка идёт в обычном режиме») и установлено, что «сейфти-кар выпущен на трассу» (race: Г), то «valid_transition» (instance: Г, transition: «выпустить сейфти-кар»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/DeploySafetyCar/valid

выпустить круговых вперёд по пункту 48.12

Для гонка Г (v0).

Всегда, если имеются (возможно оспариваемые) основания считать, что «valid_transition» (instance: Г, transition: «выпустить круговых вперёд по пункту 48.12»), то «entered_state» (instance: Г, state: «круговые выпущены вперёд по пункту 48.12»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/ReleaseLappedCars/enters

выпустить круговых вперёд по пункту 48.12

Для гонка Г (v0).

Всегда, если установлено, что «attempted_transition» (instance: Г, transition: «выпустить круговых вперёд по пункту 48.12») и имеются (возможно оспариваемые) основания считать, что «entered_state» (instance: Г, state: «сейфти-кар на трассе») и установлено, что «процедура выпуска круговых по пункту 48.12 запущена» (race: Г), то «valid_transition» (instance: Г, transition: «выпустить круговых вперёд по пункту 48.12»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/ReleaseLappedCars/valid

возобновить гонку

Для гонка Г (v0).

Всегда, если имеются (возможно оспариваемые) основания считать, что «valid_transition» (instance: Г, transition: «возобновить гонку»), то «entered_state» (instance: Г, state: «гонка идёт в обычном режиме»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/Restart/enters

возобновить гонку

Для гонка Г (v0).

Всегда, если установлено, что «attempted_transition» (instance: Г, transition: «возобновить гонку») и имеются (возможно оспариваемые) основания считать, что «entered_state» (instance: Г, state: «сейфти-кар вызван в боксы по пункту 48.13») и установлено, что «процедура выпуска круговых по пункту 48.12 завершена» (race: Г), то «valid_transition» (instance: Г, transition: «возобновить гонку»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/Restart/valid

принять финишный сигнал

Для гонка Г (v0).

Всегда, если имеются (возможно оспариваемые) основания считать, что «valid_transition» (instance: Г, transition: «принять финишный сигнал»), то «entered_state» (instance: Г, state: «гонка приняла финишный сигнал»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/TakeEndOfRaceSignal/enters

принять финишный сигнал

Для гонка Г (v0).

Всегда, если установлено, что «attempted_transition» (instance: Г, transition: «принять финишный сигнал») и имеются (возможно оспариваемые) основания считать, что «entered_state» (instance: Г, state: «гонка идёт в обычном режиме») и установлено, что «гонка приняла финишный сигнал» (race: Г), то «valid_transition» (instance: Г, transition: «принять финишный сигнал»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/TakeEndOfRaceSignal/valid

гонка идёт в обычном режиме

Для гонка Г (v0).

Всегда, если установлено, что «procedure_instance» (instance: Г), то «entered_state» (instance: Г, state: «гонка идёт в обычном режиме»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/initial

Пункт 48.12, четвёртое предложение. После прохода последнего кругового уход сейфти-кара откладывается на следующий круг, если только распорядитель гонки не считает его присутствие всё ещё необходимым

Для гонка Г (v0); круг К (v1).

По общему правилу, если установлено, что «последняя машина, обязанная проехать лидера, проехала его на этом круге» (race: Г, lap: К), то «уход сейфти-кара отложен на круг, следующий за этим» (race: Г, lap: К), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarReturnIsDeferred Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN

Пункт 48.12, четвёртое предложение. После прохода последнего кругового уход сейфти-кара откладывается на следующий круг, если только распорядитель гонки не считает его присутствие всё ещё необходимым

Для гонка Г (v0); круг К (v1).

Вывод «уход сейфти-кара отложен на круг, следующий за этим» (race: Г, lap: К) не делается, если установлено, что «последняя машина, обязанная проехать лидера, проехала его на этом круге» (race: Г, lap: К) и установлено, что «распорядитель гонки считает присутствие сейфти-кара всё ещё необходимым» (race: Г).

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarReturnIsDeferred/unless/0 Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN

Пункт 48.15. Если в начале последнего круга сейфти-кар ещё на трассе, он уходит в боксы в конце этого круга

Для гонка Г (v0); круг К (v1).

По общему правилу, если установлено, что «круг является последним кругом гонки» (race: Г, lap: К) и установлено, что «сейфти-кар находится на трассе в начале круга» (race: Г, lap: К), то «сейфти-кар возвращается в боксы в конце этого круга» (race: Г, lap: К), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarStillOutOnTheLastLap Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_15

Пункт 48.10. Кроме случая по пункту 48.12, сейфти-кар применяется по меньшей мере до того, как все оставшиеся машины выстроятся за лидером

Для гонка Г (v0).

По общему правилу, если установлено, что не «лидер идёт за сейфти-каром, и все оставшиеся машины выстроились за лидером» (race: Г) и установлено, что «сейфти-кар выпущен на трассу» (race: Г), то «сейфти-кар обязан оставаться на трассе по нижней границе пункта 48.10» (race: Г), — если не установлено иное.

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarUsedUntilFieldIsLinedUp Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_10

Пункт 48.10. Кроме случая по пункту 48.12, сейфти-кар применяется по меньшей мере до того, как все оставшиеся машины выстроятся за лидером

Для гонка Г (v0).

Вывод «сейфти-кар обязан оставаться на трассе по нижней границе пункта 48.10» (race: Г) не делается, если установлено, что «процедура выпуска круговых по пункту 48.12 запущена» (race: Г) и установлено, что «сейфти-кар выпущен на трассу» (race: Г).

Идентификатор: urn:fia:corpus:clir:f1_sporting#SafetyCarUsedUntilFieldIsLinedUp/unless/0 Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_10

Сообщение «SAFETY CAR IN THIS LAP» снимает отсрочку по пункту 48.12

Для гонка Г (v0); круг К (v1); круг К2 (v2).

Вывод «уход сейфти-кара отложен на круг, следующий за этим» (race: Г, lap: К2) не делается, если установлено, что «распорядитель гонки решает, что вызвать сейфти-кар в боксы безопасно» (race: Г) и установлено, что «на этом круге всем участникам передано сообщение «SAFETY CAR IN THIS LAP»» (race: Г, lap: К) и установлено, что «последняя машина, обязанная проехать лидера, проехала его на этом круге» (race: Г, lap: К2).

Идентификатор: urn:fia:corpus:clir:f1_sporting#StewardsPriorityReading/CallInDefeatsTheDeferredReturn

Нормативные позиции

Пункт 15.3 «e». Директор гонки обладает властью первенства в вопросе применения сейфти-кара, и распорядитель гонки вправе распоряжаться им только с выраженного согласия директора

Полномочие: носитель — v1; осуществление — «директор гонки дал распоряжение о применении сейфти-кара» (v1, v0); правовой эффект — создать состояние: «распоряжение распорядителя гонки о применении сейфти-кара дано с выраженного согласия директора гонки» (race: v0).

Полномочие действительно при условии: установлено, что «сейфти-кар выпущен на трассу» (race: v0).

Идентификатор: urn:fia:corpus:clir:f1_sporting#OverridingAuthorityOverSafetyCarUse Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART15_3, urn:fia:corpus:clir:f1_sporting#FIA21_ART15_3_E

Пункт 48.12, первое предложение. Обязанная машина должна проехать вперёд мимо машин на ведущем круге и сейфти-кара

Обязанность: носитель — v1; выгодоприобретатель — не указан.

Цель достижения: установлено, что «машина проезжает вперёд мимо машин на ведущем круге и сейфти-кара» (race: v0, car: v1); окно исполнения — с «2021-12-08» (не включая «2021-12-13»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#PassLeadLapCarsAndSafetyCar Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RELEASE

Пункт 48.15. Машины принимают финишный сигнал в обычном порядке без обгонов

Обязанность: носитель — v1; выгодоприобретатель — не указан.

Цель воздержания: «машина совершает обгон на последнем круге» (v0, v1) не должно совершаться в период с «2021-12-08» (не включая «2021-12-13»).

Идентификатор: urn:fia:corpus:clir:f1_sporting#TakeEndOfRaceSignalWithoutOvertaking Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_15

Приоритеты

Пункт 48.12, четвёртое предложение. Последний круговой проехал лидера на этом круге

При расхождении приоритет имеет правило «Пункт 48.12, четвёртое предложение. Последний круговой проехал лидера на этом круге» перед правилом «Пункт 48.12, четвёртое предложение. Последний круговой проехал лидера на этом круге».

Идентификатор: urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompletedOn/unless/0/priority/0 Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN

Пункт 48.12, четвёртое предложение. Последний круговой проехал лидера на этом круге

Идентификатор: urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompletedOn/unless/1/priority/0 Анкер: urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN