{"features":["core-executable"],"imports":[],"metadata":{"localSources":{"urn:fia:corpus:clir:f1_sporting#FIA_SR_2021_ISS13_EN_TEXT":"sources/f1-sporting/en-2021-iss13.txt","urn:fia:corpus:clir:f1_sporting#FIA_SR_2022_ISS6_EN_TEXT":"sources/f1-sporting/en-2022-iss6.txt"}},"nodes":[{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"},{"kind":"var","var":"v3"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#passed_the_leader_on"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#required_to_pass_the_leader"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v2"},{"kind":"var","var":"v3"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#lap_before"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:1aca88d9adda6c3d7e653f35d5e4c0e9300f8f03df68a1ce3a2f4399f0680730","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#a_required_car_passed_after"},"id":"urn:fia:corpus:clir:f1_sporting#ARequiredCarPassedAfter","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"a car required to pass the leader passed him on a later lap than the lap in question"},{"language":"ru-KZ","status":"translation","text":"обязанная машина проехала лидера позже рассматриваемого круга"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}},{"id":"v2","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}},{"id":"v3","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"contentHash":"sha256:6acc8431a97f5611681dc8eb22dd4874075869f254cdafc1a3c5f6553d83f0de","excludes":[],"id":"urn:fia:corpus:clir:f1_sporting#AnyMeansAllReading","includes":["urn:fia:corpus:clir:f1_sporting#AnyMeansAllReading/EveryEligibleLappedCarRequiredToPass"],"kind":"interpretation","labels":[{"language":"en","status":"unofficial","text":"\"any cars that have been lapped\" read as every lapped car (Mercedes)"},{"language":"ru-KZ","status":"translation","text":"«any cars that have been lapped» в прочтении «каждый круговой» (позиция «Мерседес»)"}],"of":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RELEASE"],"package":"urn:fia:corpus:clir:f1_sporting","status":"disputed"},{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_invoked"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#eligible_lapped_car"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:d19f19bdbe21239b8e5d31b6111abc819fa0f86495b5254101e65c6545096a31","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#required_to_pass_the_leader"},"id":"urn:fia:corpus:clir:f1_sporting#AnyMeansAllReading/EveryEligibleLappedCarRequiredToPass","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.12 read with \"any\" as \"all\": every car within the procedure is required to pass"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12 в прочтении «any» = «все»: обязанность проехать вперёд возникает у каждой машины, подпадающей под процедуру"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}]},{"contentHash":"sha256:cf6c56f17b85d624d13aeba43f820255b767f860964f796750e92decb454ec61","excludes":[],"id":"urn:fia:corpus:clir:f1_sporting#AnyMeansSomeReading","includes":["urn:fia:corpus:clir:f1_sporting#AnyMeansSomeReading/UnreleasedLappedCarIsNotRequiredToPass"],"kind":"interpretation","labels":[{"language":"en","status":"unofficial","text":"\"any cars that have been lapped\" read as whichever cars race control lets past (Red Bull)"},{"language":"ru-KZ","status":"translation","text":"«any cars that have been lapped» в прочтении «те круговые, кого пропустит дирекция» (позиция «Ред Булл»)"}],"of":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RELEASE"],"package":"urn:fia:corpus:clir:f1_sporting","status":"disputed"},{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_invoked"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#eligible_lapped_car"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"}],"kind":"literal","polarity":"negative","predicate":"urn:fia:corpus:clir:f1_sporting#permitted_to_overtake_by_race_control"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:e4ed1858988d5c01f0ca158a440a31aa51a66396c05f4e56d84775cccb9b021c","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"negative","predicate":"urn:fia:corpus:clir:f1_sporting#required_to_pass_the_leader"},"id":"urn:fia:corpus:clir:f1_sporting#AnyMeansSomeReading/UnreleasedLappedCarIsNotRequiredToPass","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.12 read with \"any\" as \"some\": a lapped car that race control has not let past is not required to pass"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12 в прочтении «any» = «какие-нибудь»: круговой, которого дирекция не пропустила, проезжать вперёд не обязан"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}]},{"alternatives":["urn:fia:corpus:clir:f1_sporting#AnyMeansAllReading","urn:fia:corpus:clir:f1_sporting#AnyMeansSomeReading"],"contentHash":"sha256:1699c4a001efc0b76bf4bec8e4115eac6e2037b4132d9e13c8f020cae6a22191","id":"urn:fia:corpus:clir:f1_sporting#AnyReadings","kind":"interpretation_group","package":"urn:fia:corpus:clir:f1_sporting","selection":"any_of"},{"contentHash":"sha256:084e89ef5fadf38c77b1b6cbc3879e2685f0d83d268848176952540a35ec708b","excludes":[],"id":"urn:fia:corpus:clir:f1_sporting#AuthorityAsDispensingPower","includes":["urn:fia:corpus:clir:f1_sporting#AuthorityAsDispensingPower/AuthorisedDepartureDefeatsTheDeferredReturn","urn:fia:corpus:clir:f1_sporting#AuthorityAsDispensingPower/DirectionAuthorisesDepartureFromProcedure"],"kind":"interpretation","labels":[{"language":"en","status":"unofficial","text":"Overriding authority read as a power to depart from the procedure (Red Bull)"},{"language":"ru-KZ","status":"translation","text":"Власть первенства как право отступить от процедуры (позиция «Ред Булл»)"}],"of":["urn:fia:corpus:clir:f1_sporting#FIA21_ART15_3"],"package":"urn:fia:corpus:clir:f1_sporting","status":"disputed"},{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed_on"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#departure_from_safety_car_procedure_authorised"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:763c9682da070325413ef0f8f5dc114bd6dd958024c8682c990c723da2089531","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#return_deferred_to_following_lap"},"id":"urn:fia:corpus:clir:f1_sporting#AuthorityAsDispensingPower/AuthorisedDepartureDefeatsTheDeferredReturn","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"An authorised departure from the procedure displaces the deferral of Article 48.12"},{"language":"ru-KZ","status":"translation","text":"Санкционированное отступление от процедуры снимает отсрочку по пункту 48.12"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeater","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_direction_given"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#race_director_of"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:d79aeb26b6bddd2664d7ba96a6bb685a50c68edcbdb8717d496122dcfe71260c","head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#departure_from_safety_car_procedure_authorised"},"id":"urn:fia:corpus:clir:f1_sporting#AuthorityAsDispensingPower/DirectionAuthorisesDepartureFromProcedure","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"A direction of the Race Director in respect of the use of the safety car authorises a departure from the Article 48 procedure"},{"language":"ru-KZ","status":"translation","text":"Распоряжение директора гонки о применении сейфти-кара санкционирует отступление от процедуры статьи 48"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Official"}}]},{"contentHash":"sha256:9cdff96de595d78b80d0903efe588a37a6007915a20fcebc5aa162a1c25530b5","excludes":[],"id":"urn:fia:corpus:clir:f1_sporting#AuthorityOverApplicationOnly","includes":["urn:fia:corpus:clir:f1_sporting#AuthorityOverApplicationOnly/DirectionDoesNotAuthoriseDeparture"],"kind":"interpretation","labels":[{"language":"en","status":"unofficial","text":"Overriding authority read as authority over the application of the safety car only (Mercedes)"},{"language":"ru-KZ","status":"translation","text":"Власть первенства как власть только над применением сейфти-кара (позиция «Мерседес»)"}],"of":["urn:fia:corpus:clir:f1_sporting#FIA21_ART15_3"],"package":"urn:fia:corpus:clir:f1_sporting","status":"disputed"},{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_direction_given"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#race_director_of"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:184f809a4747bfa9f93d66d1ad4b7e4981ccab84a33eac1a218b9f744f605753","head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"negative","predicate":"urn:fia:corpus:clir:f1_sporting#departure_from_safety_car_procedure_authorised"},"id":"urn:fia:corpus:clir:f1_sporting#AuthorityOverApplicationOnly/DirectionDoesNotAuthoriseDeparture","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"A direction in respect of the use of the safety car does not authorise a departure from the Article 48 procedure"},{"language":"ru-KZ","status":"translation","text":"Распоряжение о применении сейфти-кара не санкционирует отступления от процедуры статьи 48"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Official"}}]},{"contentHash":"sha256:cbfb475f93ccb3ced69804c6a4837718544d0e7ab99444348849cac0c4bce3f2","id":"urn:fia:corpus:clir:f1_sporting#CallInSafetyCar","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"call the safety car in under Article 48.13"},{"language":"ru-KZ","status":"translation","text":"вызвать сейфти-кар в боксы по пункту 48.13"}],"name":"CallInSafetyCar","package":"urn:fia:corpus:clir:f1_sporting","parameters":[],"returnType":{"name":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureTransition"},"symbolKind":"constant","value":{"id":"urn:fia:corpus:clir:f1_sporting#CallInSafetyCar","kind":"entity_ref"}},{"contentHash":"sha256:cf71e95668f337406150ff917e3756086b3c477309210fac58616447758ebeac","id":"urn:fia:corpus:clir:f1_sporting#Car","kind":"type_decl","labels":[{"language":"en","status":"official","text":"car"},{"language":"ru-KZ","status":"official","text":"машина"}],"name":"Car","package":"urn:fia:corpus:clir:f1_sporting","typeKind":"entity"},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN"],"body":{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#return_deferred_to_following_lap"},"kind":"status","status":"established"},"contentHash":"sha256:edd5c84431dcfe850393a1bd66f41848fa722fde0b2342a695effc310eff0a97","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"negative","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_returns_to_pits_at_end_of"},"id":"urn:fia:corpus:clir:f1_sporting#DeferralExcludesReturnAtEndOfThisLap","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.12, fourth sentence, read as excluding a return at the end of the lap on which the last lapped car passed the leader"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12, четвёртое предложение, в прочтении, исключающем уход в конце того круга, на котором последний круговой проехал лидера"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v2"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#immediately_follows"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#return_deferred_to_following_lap"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:e7131a079a422d31865f14a0b149bf860b6ca8b1200bf42a4bb6d21d2b9272ca","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_returns_to_pits_at_end_of"},"id":"urn:fia:corpus:clir:f1_sporting#DeferredReturnFallsOnTheFollowingLap","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.12, fourth sentence. The deferred return falls at the end of the following lap"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12, четвёртое предложение. Отложенный уход приходится на конец следующего круга"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}},{"id":"v2","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"contentHash":"sha256:d41fd6f8eeb465ab76ee9f3ed1a4b839dfa0005b0e31da9c1e357b189cfc5bfe","id":"urn:fia:corpus:clir:f1_sporting#DeploySafetyCar","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"deploy the safety car"},{"language":"ru-KZ","status":"translation","text":"выпустить сейфти-кар"}],"name":"DeploySafetyCar","package":"urn:fia:corpus:clir:f1_sporting","parameters":[],"returnType":{"name":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureTransition"},"symbolKind":"constant","value":{"id":"urn:fia:corpus:clir:f1_sporting#DeploySafetyCar","kind":"entity_ref"}},{"contentHash":"sha256:c05306b475d129b47d3ccb14b7326bdd035c14123600b307524af846ff5f1347","edition":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2021_ISS13_EN","fragmentKind":"provision","id":"urn:fia:corpus:clir:f1_sporting#FIA21_ART15_3","kind":"fragment","locator":"article/15/paragraph/3","package":"urn:fia:corpus:clir:f1_sporting","texts":[{"contentHash":"sha256:ad4d5c7c1c31bdafca3164906b1017916f1f9a77ccda6da309c64f7f92a2c80f","language":"en","status":"official","text":"The clerk of the course shall work in permanent consultation with the Race Director. The Race\nDirector shall have overriding authority in the following matters and the clerk of the course may\ngive orders in respect of them only with his express agreement:"}]},{"contentHash":"sha256:8b871d10eac73529d94b8a430946302a4b645548be298b8fe0c4a797fff8bec6","edition":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2021_ISS13_EN","fragmentKind":"provision","id":"urn:fia:corpus:clir:f1_sporting#FIA21_ART15_3_E","kind":"fragment","locator":"article/15/paragraph/3/item/e","package":"urn:fia:corpus:clir:f1_sporting","texts":[{"contentHash":"sha256:92e8d9b96b0336c1c1b788937bd4306eb8ee94952be995a8de3d177bd2530cdb","language":"en","status":"official","text":"e)\nThe use of the safety car."}]},{"contentHash":"sha256:b13e6022d3d4756ccb12c29e07a5435009ad4c92d04500cd608c7a6a9eb39aa7","edition":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2021_ISS13_EN","fragmentKind":"provision","id":"urn:fia:corpus:clir:f1_sporting#FIA21_ART48_10","kind":"fragment","locator":"article/48/paragraph/10","package":"urn:fia:corpus:clir:f1_sporting","texts":[{"contentHash":"sha256:1644afffe3dd370e45d76477902a1bbac629c9c6e71eebf8b0303e384a7f658b","language":"en","status":"official","text":"Except under Article 48.12 below, the safety car shall be used at least until the leader is behind\nit and all remaining cars are lined up behind him."}]},{"contentHash":"sha256:e57b69dd53acb44a23157f64c088d317298e7bc5705b0780144d56cbe05af821","edition":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2021_ISS13_EN","fragmentKind":"provision","id":"urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_ELIGIBILITY","kind":"fragment","locator":"article/48/paragraph/12/sentence/2","package":"urn:fia:corpus:clir:f1_sporting","texts":[{"contentHash":"sha256:7cf8e0b9b324fc4e37532b4320d65d4c8c2387a11bf4a25d1e44bf80a97f2107","language":"en","status":"official","text":"This will only apply to cars that were lapped at the time they crossed the Line at the end of the\nlap during which they crossed the first Safety Car line for the second time after the safety car\nwas deployed."}]},{"contentHash":"sha256:23636a6b4957c5d0023f9edc4960486ad1479ff42027f6d505b33e6a7a2fb3ac","edition":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2021_ISS13_EN","fragmentKind":"provision","id":"urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RELEASE","kind":"fragment","locator":"article/48/paragraph/12/sentence/1","package":"urn:fia:corpus:clir:f1_sporting","texts":[{"contentHash":"sha256:423b19810948827cef9058ad8e3bd7ea1e22500fc659e10e2e027267d9a3b3f0","language":"en","status":"official","text":"If the clerk of the course considers it safe to do so, and the message \"LAPPED CARS MAY NOW\nOVERTAKE\" has been sent to all Competitors via the official messaging system, any cars that\nhave been lapped by the leader will be required to pass the cars on the lead lap and the safety\ncar."}]},{"contentHash":"sha256:769d812f7f3511eb444f110440e022dbe142e22877f0b28ede9d08b71acfeee8","edition":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2021_ISS13_EN","fragmentKind":"provision","id":"urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN","kind":"fragment","locator":"article/48/paragraph/12/sentence/4","package":"urn:fia:corpus:clir:f1_sporting","texts":[{"contentHash":"sha256:5fbca5f84f1f6a6417ffe3bf5dd80dc66736f863445168b6b31acd69972c99cb","language":"en","status":"official","text":"Unless the clerk of the course considers the\npresence of the safety car is still necessary, once the last lapped car has passed the leader the\nsafety car will return to the pits at the end of the following lap."}]},{"contentHash":"sha256:b428abdcaa1767601028530acbf9ae6ace43d153dce0d8c2329bacd177bf2984","edition":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2021_ISS13_EN","fragmentKind":"provision","id":"urn:fia:corpus:clir:f1_sporting#FIA21_ART48_13_ENTRY","kind":"fragment","locator":"article/48/paragraph/13/sentence/1","package":"urn:fia:corpus:clir:f1_sporting","texts":[{"contentHash":"sha256:396f5c263e1d46ebaf05b5cc48607dc67e2ea7aa697f7036cf1f3f14e77c8301","language":"en","status":"official","text":"When the clerk of the course decides it is safe to call in the safety car the message \"SAFETY CAR\nIN THIS LAP\" will be sent to all Competitors via the official messaging system and the car's orange\nlights will be extinguished. This will be the signal to the Competitors and drivers that it will be\nentering the pit lane at the end of that lap."}]},{"contentHash":"sha256:b30561386d2ac70e89326235597a510f13245ab75e8b384a21cee15853459961","edition":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2021_ISS13_EN","fragmentKind":"provision","id":"urn:fia:corpus:clir:f1_sporting#FIA21_ART48_15","kind":"fragment","locator":"article/48/paragraph/15","package":"urn:fia:corpus:clir:f1_sporting","texts":[{"contentHash":"sha256:16a5cd6e476135d1150224fa6a1a5766a93cf8c1b41c17f7fc131ac4aa68702d","language":"en","status":"official","text":"If the safety car is still deployed at the beginning of the last lap, or is deployed during the last\nlap, it will enter the pit lane at the end of the lap and the cars will take the end-of-race signal as\nnormal without overtaking."}]},{"contentHash":"sha256:59653586e5ac9fdff370bcbb0793d6b4d9c92c5cbc1c15508ae9776e889298bf","edition":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2022_ISS6_EN","fragmentKind":"provision","id":"urn:fia:corpus:clir:f1_sporting#FIA22_ART55_13_RELEASE","kind":"fragment","locator":"article/55/paragraph/13/sentence/1","package":"urn:fia:corpus:clir:f1_sporting","texts":[{"contentHash":"sha256:2ef743f84af4e2cd6534520676cb66ea4c109622e7ab5a84f30c9d437ad3f2ac","language":"en","status":"official","text":"55.13 If the clerk of the course considers it safe to do so, and the message “LAPPED CARS\nMAY NOW OVERTAKE” has been sent to all Competitors using the official messaging\nsystem, all cars that have been lapped by the leader will be required to pass the cars on\nthe lead lap and the safety car."}]},{"contentHash":"sha256:14949a7f4c245cfbc8cfcece80da4120ceafd749ded92fbd5dbfc3304cc6a9ba","edition":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2022_ISS6_EN","fragmentKind":"provision","id":"urn:fia:corpus:clir:f1_sporting#FIA22_ART55_13_RETURN","kind":"fragment","locator":"article/55/paragraph/13/sentence/4","package":"urn:fia:corpus:clir:f1_sporting","texts":[{"contentHash":"sha256:c4dca44088f71714bbe12df6a0eb2fcbc4aeb8e97d3c3936e6fd48e9247621f6","language":"en","status":"official","text":"Unless the clerk of the course considers the presence of the safety car is still necessary,\nonce the message “LAPPED CARS MAY NOW OVERTAKE” has been sent to all\nCompetitors using the official messaging system, the safety car will return to the pits at\nthe end of the following lap."}]},{"contentHash":"sha256:29fecf955b5afd737f867367d3fe59efef467f07ce850cc1981bee20a0bc82a9","edition":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2022_ISS6_EN","fragmentKind":"provision","id":"urn:fia:corpus:clir:f1_sporting#FIA22_ART55_14_ENTRY","kind":"fragment","locator":"article/55/paragraph/14/sentence/1","package":"urn:fia:corpus:clir:f1_sporting","texts":[{"contentHash":"sha256:d8764e5fe3cb098f17118b51fd69fddffc312036d7e87917d4f9c165442fdf61","language":"en","status":"official","text":"55.14 When the clerk of the course decides it is safe to call in the safety car the message\n“SAFETY CAR IN THIS LAP” will be sent to all Competitors using the official messaging\nsystem and the car’s orange lights will be extinguished. This will be the signal to the\nCompetitors and drivers that it will be entering the pit lane at the end of that lap."}]},{"authority":{"id":"urn:fia:corpus:clir:f1_sporting#FIAWorldMotorSportCouncil","kind":"const_ref"},"contentHash":"sha256:c1061ae86c87d482a23714d17f5d741761ef0d8c32a839e5c8f640e931c4433f","id":"urn:fia:corpus:clir:f1_sporting#FIA_F1_SPORTING_REGULATIONS","jurisdiction":{"id":"urn:fia:corpus:clir:f1_sporting#FIA","kind":"const_ref"},"kind":"source_work","labels":[{"language":"en","status":"official","text":"FIA Formula One Sporting Regulations"},{"language":"ru-KZ","status":"official","text":"Спортивный регламент «Формулы-1» ФИА"}],"package":"urn:fia:corpus:clir:f1_sporting","sourceKind":"urn:fia:corpus:clir:f1_sporting#regulation"},{"contentHash":"sha256:ed13659008c6f8e6cc4d6150f4f4c93ec0901f3db840760f27c253e011fe7204","id":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2021_ISS13_EN","kind":"source_edition","labels":[{"language":"en","status":"official","text":"2021 Formula 1 Sporting Regulations, Issue 13, 8 December 2021"},{"language":"ru-KZ","status":"official","text":"Спортивный регламент «Формулы-1» 2021 года, выпуск 13 от 8 декабря 2021 года"}],"language":"en","lifecycle":[{"extent":"2021-12-08","status":"adopted"},{"extent":{"axis":"legal_time","end":"2021-12-13","endInclusive":false,"start":"2021-12-08","startInclusive":true},"status":"in_force"}],"materializationStatus":"PINNED_UNOFFICIAL_COPY","officiality":"unofficial","package":"urn:fia:corpus:clir:f1_sporting","work":"urn:fia:corpus:clir:f1_sporting#FIA_F1_SPORTING_REGULATIONS"},{"contentHash":"sha256:5b52d2cfd7217bce7e60ffcd0e0d516fcd169463debda4b3212077fbead4108d","documentHash":"sha256:28ff377864e8ae26ca434936cd289c4c3cc4df9162fd3adb8032c87b41e1e6d4","edition":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2021_ISS13_EN","id":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2021_ISS13_EN_TEXT","kind":"publication","mediaType":"text/plain; charset=utf-8","package":"urn:fia:corpus:clir:f1_sporting","retrievedAt":"2026-08-30T01:15:00Z","uri":"https://www.fia.com/sites/default/files/2021_formula_1_sporting_regulations_-_iss_13_-_2021-12-08.pdf"},{"contentHash":"sha256:b648c97a100bc84a74d017c23b681e170f7375f71b56f5c2df9dda88254dd5a2","id":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2022_ISS6_EN","kind":"source_edition","labels":[{"language":"en","status":"official","text":"2022 Formula 1 Sporting Regulations, Issue 6, 29 April 2022"},{"language":"ru-KZ","status":"official","text":"Спортивный регламент «Формулы-1» 2022 года, выпуск 6 от 29 апреля 2022 года"}],"language":"en","lifecycle":[{"extent":"2022-04-29","status":"adopted"},{"extent":{"axis":"legal_time","end":"2022-10-19","endInclusive":false,"start":"2022-04-29","startInclusive":true},"status":"in_force"}],"materializationStatus":"PINNED_UNOFFICIAL_COPY","officiality":"unofficial","package":"urn:fia:corpus:clir:f1_sporting","work":"urn:fia:corpus:clir:f1_sporting#FIA_F1_SPORTING_REGULATIONS"},{"contentHash":"sha256:c7e4d0acdd78fd320fc6584f3eed9269e509c320b1f4c7deb70f579aef969de5","documentHash":"sha256:8e141976542a17c6068ec901a3c73047d1fb4c006de3597ace30fedeeffa5afd","edition":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2022_ISS6_EN","id":"urn:fia:corpus:clir:f1_sporting#FIA_SR_2022_ISS6_EN_TEXT","kind":"publication","mediaType":"text/plain; charset=utf-8","package":"urn:fia:corpus:clir:f1_sporting","retrievedAt":"2026-08-30T01:17:00Z","uri":"https://www.fia.com/sites/default/files/formula_1_-_sporting_regulations_-_2022_-_iss_6_-_2022-04-29.pdf"},{"completeAsOf":"2021-12-12T00:00:00Z","contentHash":"sha256:8cee26e107eec2c160b04b3e9d98f34d9d0692cbb94977b2cc04a8645ce3406b","deriveExplicitNegative":true,"domain":{"id":"urn:fia:corpus:clir:f1_sporting#checked_race","kind":"const_ref"},"id":"urn:fia:corpus:clir:f1_sporting#FieldLinedUpClosure","kind":"closure_policy","labels":[{"language":"en","status":"official","text":"a race not recorded as having its field lined up behind the leader does not have it lined up"},{"language":"ru-KZ","status":"translation","text":"гонка, о которой не отмечено, что поле выстроилось за лидером, поля выстроенным не имеет"}],"package":"urn:fia:corpus:clir:f1_sporting","predicate":"urn:fia:corpus:clir:f1_sporting#field_lined_up_behind_leader","snapshot":"urn:fia:snapshot:race-record:2021-12-12"},{"contentHash":"sha256:591251a4c24ffd0ecc6740da18de6a6917658ed774caf0d614815b396dfab2c8","id":"urn:fia:corpus:clir:f1_sporting#Finished","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the race has taken the end-of-race signal"},{"language":"ru-KZ","status":"translation","text":"гонка приняла финишный сигнал"}],"name":"Finished","package":"urn:fia:corpus:clir:f1_sporting","parameters":[],"returnType":{"name":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureState"},"symbolKind":"constant","value":{"id":"urn:fia:corpus:clir:f1_sporting#Finished","kind":"entity_ref"}},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_10"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_must_remain_deployed"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#lap_of_race"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:9813d7c331b371fb4a75f3ea9a2a62fdfc988b8562bba2ad25a3e525fdc69195","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"negative","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_returns_to_pits_at_end_of"},"id":"urn:fia:corpus:clir:f1_sporting#FloorBarsReturnWhileFieldIsNotLinedUp","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.10. While the safety car must remain deployed it does not return to the pits at the end of any lap"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.10. Пока сейфти-кар обязан оставаться на трассе, он не уходит в боксы в конце ни одного круга"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"contentHash":"sha256:46ea6690aefdd07a4bea962dd7c281300f16b945ef8cc7cd11e7c0ff37bc41e9","excludes":[],"id":"urn:fia:corpus:clir:f1_sporting#FloorSurvivesIncompleteRelease","includes":["urn:fia:corpus:clir:f1_sporting#FloorSurvivesIncompleteRelease/FloorSurvivesWhileReleaseIncomplete"],"kind":"interpretation","labels":[{"language":"en","status":"unofficial","text":"The Article 48.10 floor is lifted only by a completed release, not by an invoked one"},{"language":"ru-KZ","status":"translation","text":"Нижняя граница пункта 48.10 снимается только завершённой процедурой выпуска, а не запущенной"}],"of":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_10"],"package":"urn:fia:corpus:clir:f1_sporting","status":"disputed"},{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#lap_of_race"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#required_car_outstanding"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:1250f11785600768800d8dc272411688672a989d4846b17d35115a2e59a42a93","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"negative","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_returns_to_pits_at_end_of"},"id":"urn:fia:corpus:clir:f1_sporting#FloorSurvivesIncompleteRelease/FloorSurvivesWhileReleaseIncomplete","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"An invoked but incomplete release does not lift the floor: while a car required to pass the leader is still outstanding the safety car does not return to the pits"},{"language":"ru-KZ","status":"translation","text":"Запущенная, но незавершённая процедура выпуска нижнюю границу не снимает: пока остаётся машина, обязанная проехать лидера и его не проехавшая, сейфти-кар в боксы не уходит"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"contentHash":"sha256:bc0dca1ef9c8ea7e6b09a05beaf2512383bc8c8e2ee0deb330f3f71619d70132","id":"urn:fia:corpus:clir:f1_sporting#Lap","kind":"type_decl","labels":[{"language":"en","status":"official","text":"lap"},{"language":"ru-KZ","status":"official","text":"круг"}],"name":"Lap","package":"urn:fia:corpus:clir:f1_sporting","typeKind":"entity"},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RELEASE"],"body":{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#required_to_pass_the_leader"},"kind":"status","status":"established"},"contentHash":"sha256:e5c113354316a68d103a3289fdc53bfd908d5a7b6d55e3c7e18bdb20c0637fb9","head":{"id":"urn:fia:corpus:clir:f1_sporting#PassLeadLapCarsAndSafetyCar","kind":"norm_template_ref"},"id":"urn:fia:corpus:clir:f1_sporting#LappedCarMustPassLeadLapCarsAndSafetyCar","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.12, first sentence. A car required to pass must pass the cars on the lead lap and the safety car"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12, первое предложение. Обязанная машина должна проехать вперёд мимо машин на ведущем круге и сейфти-кара"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}]},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_ELIGIBILITY"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#lapped_at_the_qualifying_line_crossing"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#lapped_by_leader"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:debc94aaccd3fb557ec75188b624a672fda92fe12aeb3149af82aded24335c6f","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#eligible_lapped_car"},"id":"urn:fia:corpus:clir:f1_sporting#LappedCarWithinTheProcedure","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.12, second sentence. The procedure applies only to cars lapped at the time they crossed the Line at the end of the qualifying lap"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12, второе предложение. Процедура распространяется только на машины, отставшие на круг к моменту пересечения линии в конце определяющего круга"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}]},{"contentHash":"sha256:2078b10272101457403f15d406ae9b7ce52c6d7d8863bd8bf57e5338c660714f","id":"urn:fia:corpus:clir:f1_sporting#LappedCarsReleased","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"lapped cars have been let past under Article 48.12"},{"language":"ru-KZ","status":"translation","text":"круговые выпущены вперёд по пункту 48.12"}],"name":"LappedCarsReleased","package":"urn:fia:corpus:clir:f1_sporting","parameters":[],"returnType":{"name":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureState"},"symbolKind":"constant","value":{"id":"urn:fia:corpus:clir:f1_sporting#LappedCarsReleased","kind":"entity_ref"}},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_15"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#checked_car"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed_at_beginning_of"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#final_lap_of_race"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:8151cc106cc21f7ef67717cc436044169835f5836e2ca1145d96854723da6662","head":{"id":"urn:fia:corpus:clir:f1_sporting#TakeEndOfRaceSignalWithoutOvertaking","kind":"norm_template_ref"},"id":"urn:fia:corpus:clir:f1_sporting#NoOvertakingOnTheLastLapBehindTheSafetyCar","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.15. The cars will take the end-of-race signal as normal without overtaking"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.15. Машины принимают финишный сигнал в обычном порядке без обгонов"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}},{"id":"v2","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"contentHash":"sha256:61ac3c198bb96723226a55b937f96f0e9b8f92c28e37c4edde2554bf827a1d20","id":"urn:fia:corpus:clir:f1_sporting#Official","kind":"type_decl","labels":[{"language":"en","status":"official","text":"official nominated under Article 15"},{"language":"ru-KZ","status":"official","text":"должностное лицо, назначенное по статье 15"}],"name":"Official","package":"urn:fia:corpus:clir:f1_sporting","typeKind":"entity"},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART15_3","urn:fia:corpus:clir:f1_sporting#FIA21_ART15_3_E"],"contentHash":"sha256:492557055ab880fcac62615a0c07121ee878f9f851783510ca43414097509098","id":"urn:fia:corpus:clir:f1_sporting#OverridingAuthorityOverSafetyCarUse","kind":"norm_template","labels":[{"language":"en","status":"official","text":"Article 15.3(e). The Race Director shall have overriding authority in the use of the safety car, and the clerk of the course may give orders in respect of it only with his express agreement"},{"language":"ru-KZ","status":"translation","text":"Пункт 15.3 «e». Директор гонки обладает властью первенства в вопросе применения сейфти-кара, и распорядитель гонки вправе распоряжаться им только с выраженного согласия директора"}],"modality":"power","package":"urn:fia:corpus:clir:f1_sporting","payload":{"effect":{"after":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#clerk_order_on_safety_car_use_authorised"},"kind":"create"},"exercise":{"args":[{"kind":"var","var":"v1"},{"kind":"var","var":"v0"}],"function":"urn:fia:corpus:clir:f1_sporting#safety_car_direction_given","kind":"call"},"holder":{"kind":"var","var":"v1"},"kind":"power","over":{"kind":"var","var":"v0"},"validWhen":{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed"},"kind":"status","status":"established"},"window":{"end":{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2021-12-13"},"endInclusive":false,"kind":"interval","start":{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2021-12-08"},"startInclusive":true}}},{"alternatives":["urn:fia:corpus:clir:f1_sporting#AuthorityAsDispensingPower","urn:fia:corpus:clir:f1_sporting#AuthorityOverApplicationOnly"],"contentHash":"sha256:ac4b3330b209aaf0c01e855d3b87cca25f45758c9fae388fb8a9924752c6eea2","id":"urn:fia:corpus:clir:f1_sporting#OverridingAuthorityReadings","kind":"interpretation_group","package":"urn:fia:corpus:clir:f1_sporting","selection":"any_of"},{"body":{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#overtake_message_sent_on"},"kind":"status","status":"established"},"contentHash":"sha256:0835736f1f6937387f2a2e8b1b1c28eecf867c51417484b2b1faf674f13c21a6","head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#overtake_message_sent"},"id":"urn:fia:corpus:clir:f1_sporting#OvertakeMessageSent","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"the message \"LAPPED CARS MAY NOW OVERTAKE\" has been sent on some lap of the race"},{"language":"ru-KZ","status":"translation","text":"сообщение «LAPPED CARS MAY NOW OVERTAKE» передано на каком-то круге гонки"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RELEASE"],"contentHash":"sha256:0f7fbfed7b335716fbcce462d38630656caaaf97ce2375968a83bf324cd136c0","id":"urn:fia:corpus:clir:f1_sporting#PassLeadLapCarsAndSafetyCar","kind":"norm_template","labels":[{"language":"en","status":"official","text":"Article 48.12, first sentence. A car required to pass must pass the cars on the lead lap and the safety car"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12, первое предложение. Обязанная машина должна проехать вперёд мимо машин на ведущем круге и сейфти-кара"}],"modality":"duty","package":"urn:fia:corpus:clir:f1_sporting","payload":{"bearer":{"kind":"var","var":"v1"},"goal":{"condition":{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#passes_lead_lap_cars_and_safety_car"},"kind":"status","status":"established"},"kind":"achievement","window":{"end":{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2021-12-13"},"endInclusive":false,"kind":"interval","start":{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2021-12-08"},"startInclusive":true}},"kind":"duty"}},{"completeAsOf":"2021-12-12T00:00:00Z","contentHash":"sha256:55746bed61c6a1731944dda71007aed861382cd318f30f0bbfeff64ee07e189b","deriveExplicitNegative":true,"domain":{"id":"urn:fia:corpus:clir:f1_sporting#checked_car","kind":"const_ref"},"id":"urn:fia:corpus:clir:f1_sporting#PassedTheLeaderClosure","kind":"closure_policy","labels":[{"language":"en","status":"official","text":"a car not recorded in the lap chart as having passed the leader has not passed the leader"},{"language":"ru-KZ","status":"translation","text":"машина, не отмеченная в лап-чарте как проехавшая лидера, лидера не проезжала"}],"package":"urn:fia:corpus:clir:f1_sporting","predicate":"urn:fia:corpus:clir:f1_sporting#car_has_passed_the_leader","snapshot":"urn:fia:snapshot:lap-chart:2021-12-12"},{"completeAsOf":"2021-12-12T00:00:00Z","contentHash":"sha256:cbdc60247c64418d018527559a118922e3cfa8819ba25be95a2a62e5a9c2a339","deriveExplicitNegative":true,"domain":{"id":"urn:fia:corpus:clir:f1_sporting#checked_car","kind":"const_ref"},"id":"urn:fia:corpus:clir:f1_sporting#PermittedToOvertakeClosure","kind":"closure_policy","labels":[{"language":"en","status":"official","text":"a car not named in the race control message has not been let past"},{"language":"ru-KZ","status":"translation","text":"машина, не названная в сообщении дирекции гонки, вперёд не выпускалась"}],"package":"urn:fia:corpus:clir:f1_sporting","predicate":"urn:fia:corpus:clir:f1_sporting#permitted_to_overtake_by_race_control","snapshot":"urn:fia:snapshot:race-control-messages:2021-12-12"},{"contentHash":"sha256:44ddd0b3857f592a22021b38fd96c553fdca1317f45ed6943b13eceb266e0f0f","id":"urn:fia:corpus:clir:f1_sporting#Race","kind":"type_decl","labels":[{"language":"en","status":"official","text":"race"},{"language":"ru-KZ","status":"official","text":"гонка"}],"name":"Race","package":"urn:fia:corpus:clir:f1_sporting","typeKind":"entity"},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART15_3","urn:fia:corpus:clir:f1_sporting#FIA21_ART15_3_E"],"body":{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#race_director_of"},"kind":"status","status":"established"},"contentHash":"sha256:41c50d26b92688422a574456fe4c9d95cc9c194ab9f4532dc942b3a2940646e6","head":{"id":"urn:fia:corpus:clir:f1_sporting#OverridingAuthorityOverSafetyCarUse","kind":"norm_template_ref"},"id":"urn:fia:corpus:clir:f1_sporting#RaceDirectorHasOverridingAuthorityOverSafetyCarUse","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 15.3(e). The Race Director shall have overriding authority in the use of the safety car, and the clerk of the course may give orders in respect of it only with his express agreement"},{"language":"ru-KZ","status":"translation","text":"Пункт 15.3 «e». Директор гонки обладает властью первенства в вопросе применения сейфти-кара, и распорядитель гонки вправе распоряжаться им только с выраженного согласия директора"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Official"}}]},{"contentHash":"sha256:a571afb60689bc66ef20509d003cfbe82ffa1fdf321f81597d75438cc5ea6422","id":"urn:fia:corpus:clir:f1_sporting#Racing","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the race is running under green flag conditions"},{"language":"ru-KZ","status":"translation","text":"гонка идёт в обычном режиме"}],"name":"Racing","package":"urn:fia:corpus:clir:f1_sporting","parameters":[],"returnType":{"name":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureState"},"symbolKind":"constant","value":{"id":"urn:fia:corpus:clir:f1_sporting#Racing","kind":"entity_ref"}},{"contentHash":"sha256:270719a8436d1707c2147badad3f84d9c488d2b0bdc75ea64409d55446fc1dd9","id":"urn:fia:corpus:clir:f1_sporting#ReleaseLappedCars","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"let the lapped cars past under Article 48.12"},{"language":"ru-KZ","status":"translation","text":"выпустить круговых вперёд по пункту 48.12"}],"name":"ReleaseLappedCars","package":"urn:fia:corpus:clir:f1_sporting","parameters":[],"returnType":{"name":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureTransition"},"symbolKind":"constant","value":{"id":"urn:fia:corpus:clir:f1_sporting#ReleaseLappedCars","kind":"entity_ref"}},{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"},{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#passed_the_leader_on"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#required_to_pass_the_leader"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:718a8640b46cbf874dbad76808f66b27dd458e91eb66f3a11493f65adc47a132","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_pass_recorded"},"id":"urn:fia:corpus:clir:f1_sporting#ReleasePassRecorded","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"a car required to pass the leader passed him on the lap"},{"language":"ru-KZ","status":"translation","text":"обязанная проехать лидера машина проехала его на этом круге"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}},{"id":"v2","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"body":{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed_on"},"kind":"status","status":"established"},"contentHash":"sha256:f6bde230f2d3de8b63bcc75591896a3f6ec8d36b1e41fec8eb9466caa497010e","head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed"},"id":"urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompleted","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"the release procedure has run its course"},{"language":"ru-KZ","status":"translation","text":"процедура выпуска круговых завершена"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN"],"body":{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_pass_recorded"},"kind":"status","status":"established"},"contentHash":"sha256:f6eacf61a4fdcff4bc9c1df0dca176db2a374f0f6fd6381b496f463745123a3e","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed_on"},"id":"urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompletedOn","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.12, fourth sentence. The last lapped car has passed the leader on this lap"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12, четвёртое предложение. Последний круговой проехал лидера на этом круге"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_pass_recorded"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#required_car_outstanding"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:7d2350411ece9fc9bca032c8b72f3e96db24426dd759214a3a9e39b00b0d4c9a","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"negative","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed_on"},"id":"urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompletedOn/unless/0","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.12, fourth sentence. The last lapped car has passed the leader on this lap"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12, четвёртое предложение. Последний круговой проехал лидера на этом круге"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN"],"condition":{"kind":"boolean","value":true},"contentHash":"sha256:cda356bbb7a48edf4c5854de052da642549d92c7a1a5a5751f897ff2422ee3c3","higher":{"id":"urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompletedOn/unless/0","kind":"const_ref"},"id":"urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompletedOn/unless/0/priority/0","kind":"priority_rule","labels":[{"language":"en","status":"official","text":"Article 48.12, fourth sentence. The last lapped car has passed the leader on this lap"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12, четвёртое предложение. Последний круговой проехал лидера на этом круге"}],"lower":{"id":"urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompletedOn","kind":"const_ref"},"package":"urn:fia:corpus:clir:f1_sporting","priorityKind":"direct"},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_pass_recorded"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#a_required_car_passed_after"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:01cdd113d791b2cfee7357ba3b9b1d6c2812292a0e4e4833ae3b226a24f4f98f","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"negative","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed_on"},"id":"urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompletedOn/unless/1","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.12, fourth sentence. The last lapped car has passed the leader on this lap"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12, четвёртое предложение. Последний круговой проехал лидера на этом круге"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN"],"condition":{"kind":"boolean","value":true},"contentHash":"sha256:b68ae8ecc40e1343b19024aea706bfb949b916d8aa4adb8d61d66d2f6e357187","higher":{"id":"urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompletedOn/unless/1","kind":"const_ref"},"id":"urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompletedOn/unless/1/priority/0","kind":"priority_rule","labels":[{"language":"en","status":"official","text":"Article 48.12, fourth sentence. The last lapped car has passed the leader on this lap"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12, четвёртое предложение. Последний круговой проехал лидера на этом круге"}],"lower":{"id":"urn:fia:corpus:clir:f1_sporting#ReleaseProcedureCompletedOn/unless/0","kind":"const_ref"},"package":"urn:fia:corpus:clir:f1_sporting","priorityKind":"direct"},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RELEASE"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#overtake_message_sent"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_release"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:92489708d942aa69e7a39df50a90da855f720701be6285dc819c23db50b2c74b","head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_invoked"},"id":"urn:fia:corpus:clir:f1_sporting#ReleaseProcedureInvoked","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.12, first sentence. The release procedure is invoked when the clerk of the course considers it safe and the message has been sent"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12, первое предложение. Процедура выпуска запущена, когда распорядитель гонки счёл это безопасным и сообщение передано"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}]},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RELEASE"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_invoked"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#permitted_to_overtake_by_race_control"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#eligible_lapped_car"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:336324a688b12ef0b97408e7d9b69e8c92366a2ff45cb66babe1b69efcc22e41","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#required_to_pass_the_leader"},"id":"urn:fia:corpus:clir:f1_sporting#ReleasedCarsRequiredToPass","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.12, first sentence, on the narrow reading: a lapped car that race control has let past is required to pass the cars on the lead lap and the safety car"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12, первое предложение, в узком прочтении: круговой, пропущенный дирекцией гонки, обязан проехать вперёд мимо машин на ведущем круге и сейфти-кара"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}]},{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v1"}],"kind":"literal","polarity":"negative","predicate":"urn:fia:corpus:clir:f1_sporting#car_has_passed_the_leader"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#required_to_pass_the_leader"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:0f0f194dca2eaab7c5622af51367d7825de22caea4e49bf0830dea981fb0032e","head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#required_car_outstanding"},"id":"urn:fia:corpus:clir:f1_sporting#RequiredCarOutstanding","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"a car required to pass the leader that has not passed him leaves the release procedure outstanding"},{"language":"ru-KZ","status":"translation","text":"обязанная проехать лидера машина, его не проехавшая, оставляет процедуру выпуска незавершённой"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}]},{"contentHash":"sha256:b6f6f3920c97147fd7da57eba4fa0a403de1503406c1a93c7a3eb888d871d51d","id":"urn:fia:corpus:clir:f1_sporting#Restart","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"restart the race"},{"language":"ru-KZ","status":"translation","text":"возобновить гонку"}],"name":"Restart","package":"urn:fia:corpus:clir:f1_sporting","parameters":[],"returnType":{"name":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureTransition"},"symbolKind":"constant","value":{"id":"urn:fia:corpus:clir:f1_sporting#Restart","kind":"entity_ref"}},{"contentHash":"sha256:096c8496e34b01bf6a6e87d0bb407915e2ffb4454b3e3bfb462678fb37105a62","id":"urn:fia:corpus:clir:f1_sporting#SafetyCarCalledIn","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the safety car has been called in under Article 48.13"},{"language":"ru-KZ","status":"translation","text":"сейфти-кар вызван в боксы по пункту 48.13"}],"name":"SafetyCarCalledIn","package":"urn:fia:corpus:clir:f1_sporting","parameters":[],"returnType":{"name":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureState"},"symbolKind":"constant","value":{"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarCalledIn","kind":"entity_ref"}},{"contentHash":"sha256:fb6adc538378a6a410c845771654eb17837772e31efe55885a01971f7cd1d38f","id":"urn:fia:corpus:clir:f1_sporting#SafetyCarDeployedState","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the safety car is deployed"},{"language":"ru-KZ","status":"translation","text":"сейфти-кар на трассе"}],"name":"SafetyCarDeployedState","package":"urn:fia:corpus:clir:f1_sporting","parameters":[],"returnType":{"name":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureState"},"symbolKind":"constant","value":{"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarDeployedState","kind":"entity_ref"}},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_13_ENTRY"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_call_in"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_in_this_lap_message_sent_on"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:99f865a4911dc814e0eb6b1bd41e3cc4d95fa3e814dde52017b96dc9ab33d47c","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_returns_to_pits_at_end_of"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarEntersPitLaneAtEndOfThatLap","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.13. When the message \"SAFETY CAR IN THIS LAP\" has been sent the safety car will be entering the pit lane at the end of that lap"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.13. После передачи сообщения «SAFETY CAR IN THIS LAP» сейфти-кар уходит в боксы в конце этого круга"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"body":{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#CallInSafetyCar","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#valid_transition"},"kind":"status","status":"supported"},"contentHash":"sha256:0d612c9d6a2da9ee1618f7515c14ad6c47792d8d7003f662fb5a4039599da731","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarCalledIn","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#entered_state"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/CallInSafetyCar/enters","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"call the safety car in under Article 48.13"},{"language":"ru-KZ","status":"translation","text":"вызвать сейфти-кар в боксы по пункту 48.13"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}]},{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#CallInSafetyCar","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#attempted_transition"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#LappedCarsReleased","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#entered_state"},"kind":"status","status":"supported"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:706050641b92be4feac89b4a9e874a9a971b363eec7ed76d00bf6fb3d650772d","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#CallInSafetyCar","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#valid_transition"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/CallInSafetyCar/valid","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"call the safety car in under Article 48.13"},{"language":"ru-KZ","status":"translation","text":"вызвать сейфти-кар в боксы по пункту 48.13"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}]},{"body":{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#DeploySafetyCar","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#valid_transition"},"kind":"status","status":"supported"},"contentHash":"sha256:da63f7ae642fcebefb760898070e2a83dca39c2f4b59b6f9ba79b6848e2a9c3a","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarDeployedState","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#entered_state"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/DeploySafetyCar/enters","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"deploy the safety car"},{"language":"ru-KZ","status":"translation","text":"выпустить сейфти-кар"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}]},{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#DeploySafetyCar","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#attempted_transition"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#Racing","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#entered_state"},"kind":"status","status":"supported"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:5d31e38c6f6627d9c815e7b9ff2a8704bfd95ad7891ee8b80a298d49702165bc","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#DeploySafetyCar","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#valid_transition"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/DeploySafetyCar/valid","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"deploy the safety car"},{"language":"ru-KZ","status":"translation","text":"выпустить сейфти-кар"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}]},{"body":{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#ReleaseLappedCars","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#valid_transition"},"kind":"status","status":"supported"},"contentHash":"sha256:ccc79a7d4d6e3cb28ff01d9bdcf2c932531cc43f704199269dab1358f85256ab","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#LappedCarsReleased","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#entered_state"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/ReleaseLappedCars/enters","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"let the lapped cars past under Article 48.12"},{"language":"ru-KZ","status":"translation","text":"выпустить круговых вперёд по пункту 48.12"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}]},{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#ReleaseLappedCars","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#attempted_transition"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarDeployedState","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#entered_state"},"kind":"status","status":"supported"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_invoked"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:6b9990cad7df6f77b76d93cd7ec0fb26daddcd3ca29fc97fc1c1b4dd8bdf89c7","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#ReleaseLappedCars","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#valid_transition"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/ReleaseLappedCars/valid","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"let the lapped cars past under Article 48.12"},{"language":"ru-KZ","status":"translation","text":"выпустить круговых вперёд по пункту 48.12"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}]},{"body":{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#Restart","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#valid_transition"},"kind":"status","status":"supported"},"contentHash":"sha256:222395e9a77440aea3082c2d50ef158c9f1632f8edc2a30e963b3b9a9182ec73","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#Racing","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#entered_state"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/Restart/enters","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"restart the race"},{"language":"ru-KZ","status":"translation","text":"возобновить гонку"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}]},{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#Restart","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#attempted_transition"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarCalledIn","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#entered_state"},"kind":"status","status":"supported"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:5bb05c5f27480a1755896d71abdd76af1d114cf014ed3e9dafa5b5b3a48d0138","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#Restart","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#valid_transition"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/Restart/valid","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"restart the race"},{"language":"ru-KZ","status":"translation","text":"возобновить гонку"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}]},{"body":{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#TakeEndOfRaceSignal","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#valid_transition"},"kind":"status","status":"supported"},"contentHash":"sha256:5830d235374c1ce05e195167bff4ca073c33e670c18a3836ae91e77c918c8f6c","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#Finished","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#entered_state"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/TakeEndOfRaceSignal/enters","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"take the end-of-race signal"},{"language":"ru-KZ","status":"translation","text":"принять финишный сигнал"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}]},{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#TakeEndOfRaceSignal","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#attempted_transition"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#Racing","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#entered_state"},"kind":"status","status":"supported"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#race_finished"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:8adb2ea09b7bc12db577bdbc9fd9f3ed166e7a877aa80098ae14d9fe2f117ee3","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#TakeEndOfRaceSignal","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#valid_transition"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/TakeEndOfRaceSignal/valid","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"take the end-of-race signal"},{"language":"ru-KZ","status":"translation","text":"принять финишный сигнал"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}]},{"body":{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#procedure_instance"},"kind":"status","status":"established"},"contentHash":"sha256:6fec6dfc2be1ac35f8f90bf5bb74efe6e5a7d9986271523efa5e4d3a678309a5","head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:fia:corpus:clir:f1_sporting#Racing","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#entered_state"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedure/initial","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"the race is running under green flag conditions"},{"language":"ru-KZ","status":"translation","text":"гонка идёт в обычном режиме"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"strict","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}]},{"contentHash":"sha256:e6f1272273a2f94efb3f80d314304be891e5b1efe9652187b6606436dfcbc2f5","id":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureState","kind":"type_decl","name":"SafetyCarProcedureState","package":"urn:fia:corpus:clir:f1_sporting","typeKind":"entity"},{"contentHash":"sha256:b55eb3f5c73ff88a025e8fe6b8a2ff75bcb587f906b0c8ea63dd75c049b3dd69","id":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureTransition","kind":"type_decl","name":"SafetyCarProcedureTransition","package":"urn:fia:corpus:clir:f1_sporting","typeKind":"entity"},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN"],"body":{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed_on"},"kind":"status","status":"established"},"contentHash":"sha256:8c16619c8c2c4d49f96d2e61bd410444957b237890057a919f55ef34e4df60e3","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#return_deferred_to_following_lap"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarReturnIsDeferred","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.12, fourth sentence. Once the last lapped car has passed the leader the return of the safety car is deferred to the following lap, unless the clerk of the course considers its presence is still necessary"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12, четвёртое предложение. После прохода последнего кругового уход сейфти-кара откладывается на следующий круг, если только распорядитель гонки не считает его присутствие всё ещё необходимым"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_12_RETURN"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed_on"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#clerk_considers_presence_still_necessary"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:75711a1d42ece74bddb26faf2247c3c6f2633c1d9b83c0afbc801c990ea483a4","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#return_deferred_to_following_lap"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarReturnIsDeferred/unless/0","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.12, fourth sentence. Once the last lapped car has passed the leader the return of the safety car is deferred to the following lap, unless the clerk of the course considers its presence is still necessary"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.12, четвёртое предложение. После прохода последнего кругового уход сейфти-кара откладывается на следующий круг, если только распорядитель гонки не считает его присутствие всё ещё необходимым"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeater","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_15"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#final_lap_of_race"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed_at_beginning_of"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:e3f77aaa8c9539a42c007d31708e38cecf5212e27d89a23ad838fab79fc5d266","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_returns_to_pits_at_end_of"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarStillOutOnTheLastLap","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.15. If the safety car is still deployed at the beginning of the last lap it will enter the pit lane at the end of the lap"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.15. Если в начале последнего круга сейфти-кар ещё на трассе, он уходит в боксы в конце этого круга"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_10"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"negative","predicate":"urn:fia:corpus:clir:f1_sporting#field_lined_up_behind_leader"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:8aa8af0b542cc798e7e04666ff73afe25ebfa6f84a717aeca3105c4b5e957780","head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_must_remain_deployed"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarUsedUntilFieldIsLinedUp","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.10. Except under Article 48.12, the safety car shall be used at least until all remaining cars are lined up behind the leader"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.10. Кроме случая по пункту 48.12, сейфти-кар применяется по меньшей мере до того, как все оставшиеся машины выстроятся за лидером"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}]},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_10"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_invoked"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:fc93d6024c715d90d4c28df765733241b52ef2759f20ece7a93777e435bedeeb","head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_must_remain_deployed"},"id":"urn:fia:corpus:clir:f1_sporting#SafetyCarUsedUntilFieldIsLinedUp/unless/0","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"Article 48.10. Except under Article 48.12, the safety car shall be used at least until all remaining cars are lined up behind the leader"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.10. Кроме случая по пункту 48.12, сейфти-кар применяется по меньшей мере до того, как все оставшиеся машины выстроятся за лидером"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeater","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}]},{"contentHash":"sha256:aabadcf2db6cd3695e28432499bb4476eabe59f08dea895853b37be436d25ce5","excludes":[],"id":"urn:fia:corpus:clir:f1_sporting#StewardsPriorityReading","includes":["urn:fia:corpus:clir:f1_sporting#StewardsPriorityReading/CallInDefeatsTheDeferredReturn"],"kind":"interpretation","labels":[{"language":"en","status":"unofficial","text":"Stewards' Decision, Document 58: Article 48.13 overrides Article 48.12"},{"language":"ru-KZ","status":"translation","text":"Решение стюардов, документ 58: пункт 48.13 перекрывает пункт 48.12"}],"of":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_13_ENTRY"],"package":"urn:fia:corpus:clir:f1_sporting","status":"disputed"},{"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_call_in"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#safety_car_in_this_lap_message_sent_on"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed_on"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:293b6fdfbcf6e5efcd56748f531ad11b026a8274fde4fe5a9535a3e553e42252","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:fia:corpus:clir:f1_sporting#return_deferred_to_following_lap"},"id":"urn:fia:corpus:clir:f1_sporting#StewardsPriorityReading/CallInDefeatsTheDeferredReturn","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"The message \"SAFETY CAR IN THIS LAP\" displaces the deferral of Article 48.12"},{"language":"ru-KZ","status":"translation","text":"Сообщение «SAFETY CAR IN THIS LAP» снимает отсрочку по пункту 48.12"}],"package":"urn:fia:corpus:clir:f1_sporting","scope":{"kind":"boolean","value":true},"strength":"defeater","variables":[{"id":"v0","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"v1","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}},{"id":"v2","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}]},{"contentHash":"sha256:7983b5ae11cac8c438ec0007c70b19cfa9515b2fc3ccec9c83d5be0a7f70a242","id":"urn:fia:corpus:clir:f1_sporting#TakeEndOfRaceSignal","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"take the end-of-race signal"},{"language":"ru-KZ","status":"translation","text":"принять финишный сигнал"}],"name":"TakeEndOfRaceSignal","package":"urn:fia:corpus:clir:f1_sporting","parameters":[],"returnType":{"name":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureTransition"},"symbolKind":"constant","value":{"id":"urn:fia:corpus:clir:f1_sporting#TakeEndOfRaceSignal","kind":"entity_ref"}},{"anchors":["urn:fia:corpus:clir:f1_sporting#FIA21_ART48_15"],"contentHash":"sha256:9cbf567049c9d12b76b0d5a1b93341cf8d8ad23c005e5968f0de10706ad9e9b2","id":"urn:fia:corpus:clir:f1_sporting#TakeEndOfRaceSignalWithoutOvertaking","kind":"norm_template","labels":[{"language":"en","status":"official","text":"Article 48.15. The cars will take the end-of-race signal as normal without overtaking"},{"language":"ru-KZ","status":"translation","text":"Пункт 48.15. Машины принимают финишный сигнал в обычном порядке без обгонов"}],"modality":"duty","package":"urn:fia:corpus:clir:f1_sporting","payload":{"bearer":{"kind":"var","var":"v1"},"goal":{"action":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"function":"urn:fia:corpus:clir:f1_sporting#overtakes_on_the_last_lap","kind":"call"},"kind":"forbearance","window":{"end":{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2021-12-13"},"endInclusive":false,"kind":"interval","start":{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2021-12-08"},"startInclusive":true}},"kind":"duty"}},{"contentHash":"sha256:f8331bf7c078239db4e60fd378aeb46f3f963d612ee008ac592fc5acc94e12fc","id":"urn:fia:corpus:clir:f1_sporting#a_required_car_passed_after","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"a car required to pass the leader passed him on a later lap"},{"language":"ru-KZ","status":"translation","text":"машина, обязанная проехать лидера, проехала его на более позднем круге"}],"name":"a_required_car_passed_after","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#a_required_car_passed_after/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#a_required_car_passed_after/arg/lap","name":"lap","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:3ce471c5763eef832fe09bc951228cc825c322b8ed2488e6b6eb58edea6500fb","id":"urn:fia:corpus:clir:f1_sporting#attempted_transition","kind":"symbol_decl","name":"attempted_transition","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#attempted_transition/arg/instance","name":"instance","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#attempted_transition/arg/transition","name":"transition","type":{"name":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureTransition"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:3c13318fc44b5e301cd64031e2ebc48c25cff1a47b953d4c5861e5e3c9f276b0","id":"urn:fia:corpus:clir:f1_sporting#car_has_passed_the_leader","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the car has passed the leader"},{"language":"ru-KZ","status":"translation","text":"машина проехала мимо лидера"}],"name":"car_has_passed_the_leader","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#car_has_passed_the_leader/arg/car","name":"car","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:66a9908c6954c6cc59af28ec94a0c01e16882fce4f0361d81047b249b77f3c83","id":"urn:fia:corpus:clir:f1_sporting#checked_car","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the car is within the closed domain of the lap chart"},{"language":"ru-KZ","status":"official","text":"машина входит в замкнутую область лап-чарта"}],"name":"checked_car","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#checked_car/arg/car","name":"car","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:efbf4dc07213bce35ca281701812a1476dbedf726411803532b3af9fad7e75db","id":"urn:fia:corpus:clir:f1_sporting#checked_race","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the race is within the closed domain of the race record"},{"language":"ru-KZ","status":"translation","text":"гонка входит в замкнутую область протокола"}],"name":"checked_race","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#checked_race/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:cf1488981528576d66fc44062b04e08d1021abc4262dd8682ad953c8ab42e428","effect":"judgment","id":"urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_call_in","judgment":{"authority":"urn:fia:corpus:clir:f1_sporting#ClerkOfTheCourse"},"kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the clerk of the course decides it is safe to call in the safety car"},{"language":"ru-KZ","status":"translation","text":"распорядитель гонки решает, что вызвать сейфти-кар в боксы безопасно"}],"name":"clerk_considers_it_safe_to_call_in","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_call_in/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"judgment","symbolKind":"relation"},{"authority":{"id":"urn:fia:corpus:clir:f1_sporting#ClerkOfTheCourse","kind":"const_ref"},"capability":"judgment:ClerkOfTheCourse","contentHash":"sha256:f79b7baabe0d9c869c48380464c1a2179a883782654e3d2cbbb611f78e9acf60","effect":"judgment","id":"urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_call_in/external","kind":"external_decl","labels":[{"language":"en","status":"official","text":"the clerk of the course decides it is safe to call in the safety car"},{"language":"ru-KZ","status":"translation","text":"распорядитель гонки решает, что вызвать сейфти-кар в боксы безопасно"}],"package":"urn:fia:corpus:clir:f1_sporting","symbol":"urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_call_in"},{"contentHash":"sha256:a937838fb09b291efc47783ac0b97cad3f421b25a52c9a97d960fd51ef6143af","effect":"judgment","id":"urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_release","judgment":{"authority":"urn:fia:corpus:clir:f1_sporting#ClerkOfTheCourse"},"kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the clerk of the course considers it safe to let lapped cars overtake"},{"language":"ru-KZ","status":"translation","text":"распорядитель гонки считает безопасным выпустить круговых вперёд"}],"name":"clerk_considers_it_safe_to_release","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_release/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"judgment","symbolKind":"relation"},{"authority":{"id":"urn:fia:corpus:clir:f1_sporting#ClerkOfTheCourse","kind":"const_ref"},"capability":"judgment:ClerkOfTheCourse","contentHash":"sha256:c7c6e9b346139bc1410a8583da13affe2ef45e41d9b9b7442aea3d07f5c94555","effect":"judgment","id":"urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_release/external","kind":"external_decl","labels":[{"language":"en","status":"official","text":"the clerk of the course considers it safe to let lapped cars overtake"},{"language":"ru-KZ","status":"translation","text":"распорядитель гонки считает безопасным выпустить круговых вперёд"}],"package":"urn:fia:corpus:clir:f1_sporting","symbol":"urn:fia:corpus:clir:f1_sporting#clerk_considers_it_safe_to_release"},{"contentHash":"sha256:90d688585230cdac19649305aa8e3e4878570f91862e64bd78957979625004af","effect":"judgment","id":"urn:fia:corpus:clir:f1_sporting#clerk_considers_presence_still_necessary","judgment":{"authority":"urn:fia:corpus:clir:f1_sporting#ClerkOfTheCourse"},"kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the clerk of the course considers the presence of the safety car is still necessary"},{"language":"ru-KZ","status":"translation","text":"распорядитель гонки считает присутствие сейфти-кара всё ещё необходимым"}],"name":"clerk_considers_presence_still_necessary","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#clerk_considers_presence_still_necessary/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"judgment","symbolKind":"relation"},{"authority":{"id":"urn:fia:corpus:clir:f1_sporting#ClerkOfTheCourse","kind":"const_ref"},"capability":"judgment:ClerkOfTheCourse","contentHash":"sha256:070e0457fd205c6f4295c3ab794d6c47303892367b1a7b3076d86a1006396dde","effect":"judgment","id":"urn:fia:corpus:clir:f1_sporting#clerk_considers_presence_still_necessary/external","kind":"external_decl","labels":[{"language":"en","status":"official","text":"the clerk of the course considers the presence of the safety car is still necessary"},{"language":"ru-KZ","status":"translation","text":"распорядитель гонки считает присутствие сейфти-кара всё ещё необходимым"}],"package":"urn:fia:corpus:clir:f1_sporting","symbol":"urn:fia:corpus:clir:f1_sporting#clerk_considers_presence_still_necessary"},{"contentHash":"sha256:d9afab74afba03d8ddf19b6fd2e5d0359fa0f458631764d38b37c711acbf4c2c","id":"urn:fia:corpus:clir:f1_sporting#clerk_of_the_course_of","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the official is the clerk of the course nominated by the ASN for the event"},{"language":"ru-KZ","status":"translation","text":"должностное лицо является распорядителем гонки, назначенным НАФ на соревнование"}],"name":"clerk_of_the_course_of","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#clerk_of_the_course_of/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#clerk_of_the_course_of/arg/clerk","name":"clerk","type":{"name":"urn:fia:corpus:clir:f1_sporting#Official"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:fa930a9effd5a0331578dc20ac7c07226b82c7388436af0493da0e4103bc50d2","id":"urn:fia:corpus:clir:f1_sporting#clerk_order_on_safety_car_use_authorised","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"an order of the clerk of the course in respect of the use of the safety car is given with the express agreement of the Race Director"},{"language":"ru-KZ","status":"translation","text":"распоряжение распорядителя гонки о применении сейфти-кара дано с выраженного согласия директора гонки"}],"name":"clerk_order_on_safety_car_use_authorised","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#clerk_order_on_safety_car_use_authorised/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:d3847e7b334c9a1348d9710b6d6709f90aeafdee959a77d712bd18e2e67a4da5","id":"urn:fia:corpus:clir:f1_sporting#departure_from_safety_car_procedure_authorised","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"a departure from the safety car procedure of Article 48 is authorised"},{"language":"ru-KZ","status":"translation","text":"отступление от процедуры сейфти-кара статьи 48 санкционировано"}],"name":"departure_from_safety_car_procedure_authorised","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#departure_from_safety_car_procedure_authorised/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:7c562e5fe20d453b86eea9801e704ce0813d490fe2575fa80f13c887b25a285c","id":"urn:fia:corpus:clir:f1_sporting#eligible_lapped_car","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the car is one to which the release procedure of Article 48.12 applies"},{"language":"ru-KZ","status":"translation","text":"машина относится к тем, на кого распространяется процедура выпуска по пункту 48.12"}],"name":"eligible_lapped_car","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#eligible_lapped_car/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#eligible_lapped_car/arg/car","name":"car","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:27b15d086b501a00ae7dd38ba62c639a5272c43d591b7ed6d97d57e2e3e16a4d","id":"urn:fia:corpus:clir:f1_sporting#entered_state","kind":"symbol_decl","name":"entered_state","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#entered_state/arg/instance","name":"instance","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#entered_state/arg/state","name":"state","type":{"name":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureState"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:7882b73adc3aa118fb7b0363c6c94a69f35298212027eb4a8fcaf4994ddf9eb0","id":"urn:fia:corpus:clir:f1_sporting#field_lined_up_behind_leader","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the leader is behind the safety car and all remaining cars are lined up behind him"},{"language":"ru-KZ","status":"translation","text":"лидер идёт за сейфти-каром, и все оставшиеся машины выстроились за лидером"}],"name":"field_lined_up_behind_leader","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#field_lined_up_behind_leader/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:af3689e45638c8193aa3c5dbd27693e3bdcfcf55dab30cdfbef5c470ca800347","id":"urn:fia:corpus:clir:f1_sporting#final_lap_of_race","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the lap is the last lap of the race"},{"language":"ru-KZ","status":"official","text":"круг является последним кругом гонки"}],"name":"final_lap_of_race","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#final_lap_of_race/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#final_lap_of_race/arg/lap","name":"lap","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:a2135e4e53f7311032453c7980bc511e6d872ed9d487ae25b061da13a613caf0","id":"urn:fia:corpus:clir:f1_sporting#immediately_follows","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the first lap is the lap immediately following the second"},{"language":"ru-KZ","status":"official","text":"первый круг непосредственно следует за вторым"}],"name":"immediately_follows","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#immediately_follows/arg/following","name":"following","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}},{"id":"urn:fia:corpus:clir:f1_sporting#immediately_follows/arg/lap","name":"lap","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:64ceef98bcad83e0d659cf3409cf4d418275efb899dd007b2067ebdd458f063e","id":"urn:fia:corpus:clir:f1_sporting#lap_before","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the first lap precedes the second in the race"},{"language":"ru-KZ","status":"translation","text":"первый круг предшествует второму в этой гонке"}],"name":"lap_before","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#lap_before/arg/earlier","name":"earlier","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}},{"id":"urn:fia:corpus:clir:f1_sporting#lap_before/arg/later","name":"later","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:9342071ac6e0b29b2d13629bda7017117d9bd6b229f6f055a616dac0c941002e","id":"urn:fia:corpus:clir:f1_sporting#lap_of_race","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the lap is a lap of the race"},{"language":"ru-KZ","status":"official","text":"круг относится к этой гонке"}],"name":"lap_of_race","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#lap_of_race/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#lap_of_race/arg/lap","name":"lap","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:5bc98da64f774cfbf18ca3fe0259fd5d8117acdad40343a8712778b65d6856f7","id":"urn:fia:corpus:clir:f1_sporting#lapped_at_the_qualifying_line_crossing","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the car was lapped at the time it crossed the Line at the end of the lap during which it crossed the first Safety Car line for the second time after the safety car was deployed"},{"language":"ru-KZ","status":"translation","text":"машина была отставшей на круг в момент пересечения линии в конце того круга, на котором она вторично прошла первую линию сейфти-кара после его выпуска"}],"name":"lapped_at_the_qualifying_line_crossing","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#lapped_at_the_qualifying_line_crossing/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#lapped_at_the_qualifying_line_crossing/arg/car","name":"car","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:046a0d68a4fbb7cbe133d729935edc5349cae2d50d5e17d7e2e782f50ca180c8","id":"urn:fia:corpus:clir:f1_sporting#lapped_by_leader","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the car has been lapped by the leader"},{"language":"ru-KZ","status":"translation","text":"машина отстала от лидера на круг"}],"name":"lapped_by_leader","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#lapped_by_leader/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#lapped_by_leader/arg/car","name":"car","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:56b51f6358c951d50e9f37ce7fdeb4d9a65019cbc2cf7ebb610d56a618746c66","id":"urn:fia:corpus:clir:f1_sporting#overtake_message_sent","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the message \"LAPPED CARS MAY NOW OVERTAKE\" has been sent to all Competitors"},{"language":"ru-KZ","status":"translation","text":"всем участникам передано сообщение «LAPPED CARS MAY NOW OVERTAKE»"}],"name":"overtake_message_sent","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#overtake_message_sent/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:687824e694e0d72da0b7e3e70419dd403facaac9a71b6def1b24b4e9ebff651a","id":"urn:fia:corpus:clir:f1_sporting#overtake_message_sent_on","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the message \"LAPPED CARS MAY NOW OVERTAKE\" has been sent to all Competitors on the lap"},{"language":"ru-KZ","status":"translation","text":"на этом круге всем участникам передано сообщение «LAPPED CARS MAY NOW OVERTAKE»"}],"name":"overtake_message_sent_on","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#overtake_message_sent_on/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#overtake_message_sent_on/arg/lap","name":"lap","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:796a3f558b5f9cce7e268e952ab7d7ce2c351c924a5ee3fe2bec180ba8c274ad","id":"urn:fia:corpus:clir:f1_sporting#overtakes_on_the_last_lap","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the car overtakes on the last lap"},{"language":"ru-KZ","status":"translation","text":"машина совершает обгон на последнем круге"}],"name":"overtakes_on_the_last_lap","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#overtakes_on_the_last_lap/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#overtakes_on_the_last_lap/arg/car","name":"car","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:4eb0f7644f0e080a37c828b29c2679443c35ebab5c65dfdfd357314b26f8333c","id":"urn:fia:corpus:clir:f1_sporting#passed_the_leader_on","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the car passed the leader on the lap"},{"language":"ru-KZ","status":"translation","text":"машина проехала мимо лидера на этом круге"}],"name":"passed_the_leader_on","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#passed_the_leader_on/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#passed_the_leader_on/arg/car","name":"car","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}},{"id":"urn:fia:corpus:clir:f1_sporting#passed_the_leader_on/arg/lap","name":"lap","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:31cfa0ebd59b499fe9c18c248f8e2897125be1e822adddfebab0e6920f5f66f7","id":"urn:fia:corpus:clir:f1_sporting#passes_lead_lap_cars_and_safety_car","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the car passes the cars on the lead lap and the safety car"},{"language":"ru-KZ","status":"translation","text":"машина проезжает вперёд мимо машин на ведущем круге и сейфти-кара"}],"name":"passes_lead_lap_cars_and_safety_car","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#passes_lead_lap_cars_and_safety_car/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#passes_lead_lap_cars_and_safety_car/arg/car","name":"car","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:78590c228d60b899bfe4690bbe7f532ab5fd26fac54b163807c34c7372280f1d","id":"urn:fia:corpus:clir:f1_sporting#permitted_to_overtake_by_race_control","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"race control has let the car past the cars on the lead lap and the safety car"},{"language":"ru-KZ","status":"translation","text":"дирекция гонки пропустила машину вперёд мимо машин на ведущем круге и сейфти-кара"}],"name":"permitted_to_overtake_by_race_control","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#permitted_to_overtake_by_race_control/arg/car","name":"car","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:60410c8b289fd8ce3efb5aac63efd522e79acedd1e89b420c5380a60ab2f526c","id":"urn:fia:corpus:clir:f1_sporting#procedure_instance","kind":"symbol_decl","name":"procedure_instance","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#procedure_instance/arg/instance","name":"instance","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:2bef9edb9709435f6dd363b5f7ba676b3f1a6fe79c5c60eacea324f50d4e5144","id":"urn:fia:corpus:clir:f1_sporting#race_director_of","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the official is the Race Director nominated by the FIA for the event"},{"language":"ru-KZ","status":"translation","text":"должностное лицо является директором гонки, назначенным ФИА на соревнование"}],"name":"race_director_of","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#race_director_of/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#race_director_of/arg/director","name":"director","type":{"name":"urn:fia:corpus:clir:f1_sporting#Official"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:9a70e40e99321c1ad1fa04f7e28a8b25683717d4b9d6efa3c218883b08375fd2","id":"urn:fia:corpus:clir:f1_sporting#race_finished","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the race has taken the end-of-race signal"},{"language":"ru-KZ","status":"translation","text":"гонка приняла финишный сигнал"}],"name":"race_finished","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#race_finished/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:04be9440e891f1cc8fdd593e65cd01a59431380e4cd55881ca5f9996f69315be","id":"urn:fia:corpus:clir:f1_sporting#release_pass_recorded","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"a car required to pass the leader passed him on the lap"},{"language":"ru-KZ","status":"translation","text":"обязанная проехать лидера машина проехала его на этом круге"}],"name":"release_pass_recorded","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#release_pass_recorded/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#release_pass_recorded/arg/lap","name":"lap","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:227f29e47859a3096302a39182aa4bdb3c8d672144e522ddabce6e774738b2dd","id":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the release procedure of Article 48.12 has run its course"},{"language":"ru-KZ","status":"translation","text":"процедура выпуска круговых по пункту 48.12 завершена"}],"name":"release_procedure_completed","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:a9ee77815c81258875d10003e513817bde95b0f7959a01d231baced99666e5e7","id":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed_on","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the last car required to pass the leader passed him on the lap"},{"language":"ru-KZ","status":"translation","text":"последняя машина, обязанная проехать лидера, проехала его на этом круге"}],"name":"release_procedure_completed_on","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed_on/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#release_procedure_completed_on/arg/lap","name":"lap","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:a5fffb07a21584bcb410a2e1ed78275f0b22720cfc6faa636fe3079b634b38e6","id":"urn:fia:corpus:clir:f1_sporting#release_procedure_invoked","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the release procedure of Article 48.12 has been invoked"},{"language":"ru-KZ","status":"translation","text":"процедура выпуска круговых по пункту 48.12 запущена"}],"name":"release_procedure_invoked","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#release_procedure_invoked/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:04ef1315f63c54b8c0d9273df4c41af14be858b19e9d8766cce616944ec8addf","id":"urn:fia:corpus:clir:f1_sporting#required_car_outstanding","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"a car required to pass the leader has not yet passed him"},{"language":"ru-KZ","status":"translation","text":"машина, обязанная проехать лидера, его ещё не проехала"}],"name":"required_car_outstanding","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#required_car_outstanding/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:a1c7198b9be34a8e8de8acd3755ecda95ae9e2f924745b5d782a84c65a6a4d9d","id":"urn:fia:corpus:clir:f1_sporting#required_to_pass_the_leader","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the car is required to pass the cars on the lead lap and the safety car"},{"language":"ru-KZ","status":"translation","text":"машина обязана проехать вперёд мимо машин на ведущем круге и сейфти-кара"}],"name":"required_to_pass_the_leader","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#required_to_pass_the_leader/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#required_to_pass_the_leader/arg/car","name":"car","type":{"name":"urn:fia:corpus:clir:f1_sporting#Car"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:619f69490c411af8d9e01dea051b94358c626fed321ed87b3fb07b42b1298b84","id":"urn:fia:corpus:clir:f1_sporting#return_deferred_to_following_lap","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the return of the safety car is deferred to the lap following this one"},{"language":"ru-KZ","status":"translation","text":"уход сейфти-кара отложен на круг, следующий за этим"}],"name":"return_deferred_to_following_lap","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#return_deferred_to_following_lap/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#return_deferred_to_following_lap/arg/lap","name":"lap","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:d88ff58a0bfe4b0bdf0e56ffe914b94e62e0fb402efbb955da000b3d360606c1","id":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the safety car is deployed"},{"language":"ru-KZ","status":"translation","text":"сейфти-кар выпущен на трассу"}],"name":"safety_car_deployed","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:a61762d0fcee9e2e447240fc34954607e2dcf97bb791fc301c2afc3b921756f4","id":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed_at_beginning_of","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the safety car is deployed at the beginning of the lap"},{"language":"ru-KZ","status":"translation","text":"сейфти-кар находится на трассе в начале круга"}],"name":"safety_car_deployed_at_beginning_of","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed_at_beginning_of/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#safety_car_deployed_at_beginning_of/arg/lap","name":"lap","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:8a732abf26b968f79e5f084e59e36672d5b602f2aee6008537cc776d36c2212b","id":"urn:fia:corpus:clir:f1_sporting#safety_car_direction_given","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the Race Director has given a direction in respect of the use of the safety car"},{"language":"ru-KZ","status":"translation","text":"директор гонки дал распоряжение о применении сейфти-кара"}],"name":"safety_car_direction_given","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#safety_car_direction_given/arg/director","name":"director","type":{"name":"urn:fia:corpus:clir:f1_sporting#Official"}},{"id":"urn:fia:corpus:clir:f1_sporting#safety_car_direction_given/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:fdae1736a3961d78f4c95bc0165daefb7d39e8451dc1a4c7cbce1a6b5b232550","id":"urn:fia:corpus:clir:f1_sporting#safety_car_in_this_lap_message_sent_on","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the message \"SAFETY CAR IN THIS LAP\" has been sent to all Competitors on the lap"},{"language":"ru-KZ","status":"translation","text":"на этом круге всем участникам передано сообщение «SAFETY CAR IN THIS LAP»"}],"name":"safety_car_in_this_lap_message_sent_on","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#safety_car_in_this_lap_message_sent_on/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#safety_car_in_this_lap_message_sent_on/arg/lap","name":"lap","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:696542426636a1f12ea4cd42e3a7c1c8233d9323a5d3b5f71f5c22d0ac619533","id":"urn:fia:corpus:clir:f1_sporting#safety_car_must_remain_deployed","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the safety car must remain deployed under the floor of Article 48.10"},{"language":"ru-KZ","status":"translation","text":"сейфти-кар обязан оставаться на трассе по нижней границе пункта 48.10"}],"name":"safety_car_must_remain_deployed","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#safety_car_must_remain_deployed/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:b118e5cc0b85cb394ad53af2ba9ca2d95857211ec1c71215e0e304b199fb1bc2","id":"urn:fia:corpus:clir:f1_sporting#safety_car_returns_to_pits_at_end_of","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the safety car returns to the pits at the end of the lap"},{"language":"ru-KZ","status":"translation","text":"сейфти-кар возвращается в боксы в конце этого круга"}],"name":"safety_car_returns_to_pits_at_end_of","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#safety_car_returns_to_pits_at_end_of/arg/race","name":"race","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#safety_car_returns_to_pits_at_end_of/arg/lap","name":"lap","type":{"name":"urn:fia:corpus:clir:f1_sporting#Lap"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:83e0334851250975dfa2cefa27dcaa26081fecfc201f0092cea8ddb2858acaf2","id":"urn:fia:corpus:clir:f1_sporting#valid_transition","kind":"symbol_decl","name":"valid_transition","package":"urn:fia:corpus:clir:f1_sporting","parameters":[{"id":"urn:fia:corpus:clir:f1_sporting#valid_transition/arg/instance","name":"instance","type":{"name":"urn:fia:corpus:clir:f1_sporting#Race"}},{"id":"urn:fia:corpus:clir:f1_sporting#valid_transition/arg/transition","name":"transition","type":{"name":"urn:fia:corpus:clir:f1_sporting#SafetyCarProcedureTransition"}}],"relationKind":"institutional","symbolKind":"relation"}],"package":{"name":"fia.corpus.f1_sporting","namespace":"urn:fia:corpus:clir:f1_sporting","semanticHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","version":"0.1.0"},"schemaVersion":"law.core.ir/0.2","semanticHash":"sha256:98c45186a883254b2ece6928b1b77a949a324a8f42c504b20c6c45a6316afce7","semanticVersion":"0.1.0","strata":[]}