{"assistant":{"explanations":[{"calculationRefs":["calc-1"],"text":"Посылки о Солнце и форме подтверждены, посылка о расчищенной окрестности опровергнута фактом дела. Вывода «планета» нет, но и нормы «не планета» резолюция не формулирует, поэтому статус «не установлено»."},{"calculationRefs":["calc-2"],"text":"Все четыре условия карликовой планеты выполнены: два положительных и два отрицательных, включая «не спутник»."},{"calculationRefs":["calc-3"],"text":"Выборка категории по критериям даёт единственный ответ: карликовая планета."},{"calculationRefs":["calc-4"],"text":"Резолюция B6 присваивает категорию Плутону поимённо, независимо от фактов дела: это норма-ассерция самого документа."}],"origin":"assistant","summary":"Резолюция B5 МАС 2006 года требует от планеты трёх условий: орбита вокруг Солнца, гидростатическое равновесие и расчищенная окрестность орбиты. Плутон не выполняет третье, поэтому статус планеты не установлен, а условия карликовой планеты выполнены. Резолюция B6 закрепляет то же прямо: Плутон — карликовая планета и прототип новой категории транснептуновых объектов."},"calculations":[{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет»","missingInputs":[],"truthStatus":"NEITHER"},"closedEditionRules":[],"derived":["category_of(Jupiter, Planet)","category_of(Uranus, Planet)","category_of(Earth, Planet)","category_of(Mars, Planet)","category_of(Mercury, Planet)","category_of(Venus, Planet)","category_of(Neptune, Planet)","category_of(Saturn, Planet)","dwarf_planet(Плутон)","category_of(Плутон, DwarfPlanet)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:9737555245967ed4f90dc541ea3be4a9a92292bed56d8cb7ddf1251fe121671a","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Uranus","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Uranus","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:1d211ae374619c03b327d1f5d91433d91c46083c9c589dd8631160761ec63142","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Uranus","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Earth","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Earth","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:11374e6d0d24d8c334043e02059a3a42440d3ef097a65b11fbbc41cac2c3ae3b","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Earth","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mars","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mars","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:dceedecdb4e298c355fa378e5adcf62b145a4c9fe56422080b6b59c99a04f961","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Mars","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mercury","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mercury","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:b6c3319e5f9992dd3e7d57d0d7aab5a7fb096a679f0ba4bbb6a04218e05ba6bf","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Mercury","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Venus","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Venus","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:2eee82fa38a8603a113f8a40777a9393726fac0ce1d7a9d3a82c17f22eca7a10","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Venus","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Neptune","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Neptune","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:24ea437942ebcb252a9f33ce5ea4e0bb040f094465fe7ffe92988145a84c1e8c","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Neptune","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Saturn","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Saturn","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:6716978be50f85dfa87f3fd174750de578cc30e95aec9c4d623e4730050bf718","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Saturn","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#orbits_sun"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-2"},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#hydrostatic_equilibrium"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-3"},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#cleared_neighbourhood"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-4"},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#is_satellite"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-4","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#dwarf_planet"},"evidence":[],"id":"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-4"],"rule":"urn:iau:clir:planet-definition#dwarf_planet/rule","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#DwarfPlanet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:CategoryOfDwarfPlanet:cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777","kind":"rule_application","premises":["urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45"],"rule":"urn:iau:clir:planet-definition#CategoryOfDwarfPlanet","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#planet"},"truthStatus":"NEITHER"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":[],"sourceAnchors":[]}],"proofHash":"sha256:f42d76582b826e91e8d26aa45e940214bdca0373438d901862e1d7a0b95641c0","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:0c6633a83a51ce1113b4589cd0c0d7e38f06d596ec1df87c0a2a62d6c13f84cd","schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":38,"fragments":["urn:iau:clir:planet-definition#IAU_B5_FN1_EN","urn:iau:clir:planet-definition#IAU_B5_P2_A_EN","urn:iau:clir:planet-definition#IAU_B5_P2_B_EN","urn:iau:clir:planet-definition#IAU_B5_P2_C_EN","urn:iau:clir:planet-definition#IAU_B5_P2_D_EN","urn:iau:clir:planet-definition#IAU_B5_P2_EN"],"jurisdiction":"International","namespace":"urn:iau:clir:planet-definition","package":"iau-planet-definition","title":"Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан"}],"caseHash":"sha256:70a211fe7a6dc2bf925d7d2633552ff708404b501e448661cd0c5a98a6186f6a","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"международный правопорядок","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4","resultHash":"sha256:0c6633a83a51ce1113b4589cd0c0d7e38f06d596ec1df87c0a2a62d6c13f84cd","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:iau:clir:planet-definition#CategoryOfDwarfPlanet","urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","urn:iau:clir:planet-definition#dwarf_planet/rule"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"predicate":"urn:iau:clir:planet-definition#planet","schemaVersion":"law.answers.signature/0.1","types":{"urn:iau:clir:planet-definition#CelestialBody":{"kind":"entity","labels":[{"language":"en","status":"official","text":"celestial body"}],"namespace":"urn:iau:clir:planet-definition","package":"iau.planet_definition"}},"vocab":{}},"vulnerableTo":[],"whyNot":[{"anchors":["urn:iau:clir:planet-definition#IAU_B5_P1_EN","urn:iau:clir:planet-definition#IAU_B5_P1_A_EN","urn:iau:clir:planet-definition#IAU_B5_P1_B_EN","urn:iau:clir:planet-definition#IAU_B5_P1_C_EN"],"computedHead":false,"label":"B5 (1): a planet is a celestial body that satisfies (a), (b) and (c)","premises":[{"premise":"cleared_neighbourhood(Плутон)","status":"TRUE_ONLY"},{"premise":"orbits_sun(Плутон)","status":"TRUE_ONLY"},{"premise":"hydrostatic_equilibrium(Плутон)","status":"TRUE_ONLY"}],"rule":"planet/rule"}]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:fa98c53c067a18328f6a430774c5c62ae5213e56b44e9553699a6479b9aa8706\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:70a211fe7a6dc2bf925d7d2633552ff708404b501e448661cd0c5a98a6186f6a\",\"decisionTime\":\"2026-09-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-01T12:00:00+05:00\",\"legalTime\":\"2026-09-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:7e16d6266a8a0479fe36f195ccee4c12edd6f78e74eb52d5151ba960240114c0\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:9737555245967ed4f90dc541ea3be4a9a92292bed56d8cb7ddf1251fe121671a\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:1d211ae374619c03b327d1f5d91433d91c46083c9c589dd8631160761ec63142\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:11374e6d0d24d8c334043e02059a3a42440d3ef097a65b11fbbc41cac2c3ae3b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:dceedecdb4e298c355fa378e5adcf62b145a4c9fe56422080b6b59c99a04f961\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:b6c3319e5f9992dd3e7d57d0d7aab5a7fb096a679f0ba4bbb6a04218e05ba6bf\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:2eee82fa38a8603a113f8a40777a9393726fac0ce1d7a9d3a82c17f22eca7a10\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:24ea437942ebcb252a9f33ce5ea4e0bb040f094465fe7ffe92988145a84c1e8c\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:6716978be50f85dfa87f3fd174750de578cc30e95aec9c4d623e4730050bf718\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#orbits_sun\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#hydrostatic_equilibrium\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:iau:clir:planet-definition#cleared_neighbourhood\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:iau:clir:planet-definition#is_satellite\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#dwarf_planet\"},\"evidence\":[],\"id\":\"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:iau:clir:planet-definition#dwarf_planet/rule\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#DwarfPlanet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:CategoryOfDwarfPlanet:cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45\"],\"rule\":\"urn:iau:clir:planet-definition#CategoryOfDwarfPlanet\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#planet\"},\"truthStatus\":\"NEITHER\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:f42d76582b826e91e8d26aa45e940214bdca0373438d901862e1d7a0b95641c0\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:0c6633a83a51ce1113b4589cd0c0d7e38f06d596ec1df87c0a2a62d6c13f84cd\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:iau:clir:planet-definition#planet\",\"truthStatus\":\"NEITHER\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:d90779a29f0d9723309408510342faf8f616f88a95c22e919fb75815b20c4dbd","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#orbits_sun"},"origin":"case_input","package":"urn:iau:clir:planet-definition"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#hydrostatic_equilibrium"},"origin":"case_input","package":"urn:iau:clir:planet-definition"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-3","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#cleared_neighbourhood"},"origin":"case_input","package":"urn:iau:clir:planet-definition"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-4","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#is_satellite"},"origin":"case_input","package":"urn:iau:clir:planet-definition"}],"context":{"decisionTime":"2026-09-01T12:00:00+05:00","knowledgeTime":"2026-09-01T12:00:00+05:00","legalTime":"2026-09-01","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":[]}},"ir":{"irSha256":"sha256:55096b1ad666602115d1f3e61f03e8f523ff2fb1f0a53b00c7a42bebc4cc86db","kind":"world_ref","nodeCount":87,"packages":[{"artifactHash":"sha256:fa98c53c067a18328f6a430774c5c62ae5213e56b44e9553699a6479b9aa8706","namespace":"urn:iau:clir:planet-definition","package":"iau-planet-definition","semanticHash":"sha256:c51601db89f1d3e253f1441fee382db18024dfe986e0b194bce122ee2fb2d68d"}],"programHash":"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#planet"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.2"},"requestCanonicalSha256":"sha256:e35a292f7bd95da171a7ac412afd89a8cef0c67b57e520a3661626e4b459a709"},"id":"calc-1","kind":"truth","label":"Планета ли Плутон по критериям резолюции B5","presentation":{"blockers":{"whyNot":[{"anchors":["urn:iau:clir:planet-definition#IAU_B5_P1_EN","urn:iau:clir:planet-definition#IAU_B5_P1_A_EN","urn:iau:clir:planet-definition#IAU_B5_P1_B_EN","urn:iau:clir:planet-definition#IAU_B5_P1_C_EN"],"label":"B5 (1): a planet is a celestial body that satisfies (a), (b) and (c)","premises":[{"args":["Плутон"],"predicate":"cleared_neighbourhood","predicateId":"urn:iau:clir:planet-definition#cleared_neighbourhood","status":"TRUE_ONLY","text":"cleared_neighbourhood(Плутон)"},{"args":["Плутон"],"predicate":"orbits_sun","predicateId":"urn:iau:clir:planet-definition#orbits_sun","status":"TRUE_ONLY","text":"orbits_sun(Плутон)"},{"args":["Плутон"],"predicate":"hydrostatic_equilibrium","predicateId":"urn:iau:clir:planet-definition#hydrostatic_equilibrium","status":"TRUE_ONLY","text":"hydrostatic_equilibrium(Плутон)"}],"rule":"planet/rule","ruleId":"urn:iau:clir:planet-definition#planet/rule"}]},"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:e35a292f7bd95da171a7ac412afd89a8cef0c67b57e520a3661626e4b459a709"},"steps":[{"conclusion":{"literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#planet"},"truthStatus":"NEITHER"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":[],"trust":"engine"}],"symbols":[{"id":"urn:iau:clir:planet-definition#BodyCategory","kind":"type_decl","labels":[{"language":"en","status":"official","text":"one of the three distinct categories of the division"}],"name":"BodyCategory","package":"urn:iau:clir:planet-definition"},{"id":"urn:iau:clir:planet-definition#CategoryOfDwarfPlanet","kind":"rule","labels":[{"language":"en","status":"official","text":"B5 (2): a body classified as a dwarf planet falls in the dwarf planet category"}],"package":"urn:iau:clir:planet-definition","strength":"strict"},{"id":"urn:iau:clir:planet-definition#CelestialBody","kind":"type_decl","labels":[{"language":"en","status":"official","text":"celestial body"}],"name":"CelestialBody","package":"urn:iau:clir:planet-definition"},{"id":"urn:iau:clir:planet-definition#Earth","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Earth"}],"name":"Earth","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","kind":"rule","labels":[{"language":"en","status":"official","text":"footnote 1: each of the eight named bodies is a planet"}],"package":"urn:iau:clir:planet-definition","strength":"strict"},{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Jupiter"}],"name":"Jupiter","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Mars","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Mars"}],"name":"Mars","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Mercury","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Mercury"}],"name":"Mercury","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Neptune","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Neptune"}],"name":"Neptune","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Saturn","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Saturn"}],"name":"Saturn","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Uranus","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Uranus"}],"name":"Uranus","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Venus","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Venus"}],"name":"Venus","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#category_of","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the category of the body under the division of Resolution B5"}],"name":"category_of","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#category_of/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}},{"id":"urn:iau:clir:planet-definition#category_of/arg/c","labels":[],"name":"c","type":{"name":"urn:iau:clir:planet-definition#BodyCategory"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#cleared_neighbourhood","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"has cleared the neighbourhood around its orbit"}],"name":"cleared_neighbourhood","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#cleared_neighbourhood/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#dwarf_planet","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"B5 (2): a dwarf planet is a celestial body that satisfies (a), (b), (c) and (d)"}],"name":"dwarf_planet","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#dwarf_planet/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#dwarf_planet/rule","kind":"rule","labels":[{"language":"en","status":"official","text":"B5 (2): a dwarf planet is a celestial body that satisfies (a), (b), (c) and (d)"}],"package":"urn:iau:clir:planet-definition","strength":"strict"},{"id":"urn:iau:clir:planet-definition#hydrostatic_equilibrium","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shape"}],"name":"hydrostatic_equilibrium","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#hydrostatic_equilibrium/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#is_satellite","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"is a satellite"}],"name":"is_satellite","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#is_satellite/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#named_in_footnote_one","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the body is one of the eight planets named in footnote 1 to Resolution B5"}],"name":"named_in_footnote_one","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#named_in_footnote_one/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#orbits_sun","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"is in orbit around the Sun"}],"name":"orbits_sun","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#orbits_sun/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#planet","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"B5 (1): a planet is a celestial body that satisfies (a), (b) and (c)"}],"name":"planet","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#planet/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#planet/rule","kind":"rule","labels":[{"language":"en","status":"official","text":"B5 (1): a planet is a celestial body that satisfies (a), (b) and (c)"}],"package":"urn:iau:clir:planet-definition","strength":"strict"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":38,"fragments":["urn:iau:clir:planet-definition#IAU_B5_FN1_EN","urn:iau:clir:planet-definition#IAU_B5_P2_A_EN","urn:iau:clir:planet-definition#IAU_B5_P2_B_EN","urn:iau:clir:planet-definition#IAU_B5_P2_C_EN","urn:iau:clir:planet-definition#IAU_B5_P2_D_EN","urn:iau:clir:planet-definition#IAU_B5_P2_EN"],"jurisdiction":"International","namespace":"urn:iau:clir:planet-definition","package":"iau-planet-definition","title":"Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан"}],"caseHash":"sha256:70a211fe7a6dc2bf925d7d2633552ff708404b501e448661cd0c5a98a6186f6a","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"международный правопорядок","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4","resultHash":"sha256:0c6633a83a51ce1113b4589cd0c0d7e38f06d596ec1df87c0a2a62d6c13f84cd","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["Плутон"],"facts":[{"args":["Плутон"],"predicate":"orbits_sun"},{"args":["Плутон"],"predicate":"hydrostatic_equilibrium"},{"args":["Плутон"],"negated":true,"predicate":"cleared_neighbourhood"},{"args":["Плутон"],"negated":true,"predicate":"is_satellite"}],"kind":"truth","legalTime":"2026-09-01","package":"iau-planet-definition","predicate":"planet","proof":true},"sources":[{"contentHash":"sha256:1890af536ba71e302130f58fdb968081d46db949936ac9e7ec6aefdb5a78741d","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"note","id":"urn:iau:clir:planet-definition#IAU_B5_FN1_EN","kind":"fragment","locator":"resolution/B5/footnote/1","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:38f61e8a0bb8e47e0594608523796f2f1275f34e5df39926f6669b22ad959902","language":"en","status":"official","text":"1\nThe eight planets are: Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, and Neptune."}]},{"contentHash":"sha256:4f9f02a07f89b94478241f013405455f9f4d3946dbc52a0e0fffe34c22a05f43","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P1_A_EN","kind":"fragment","locator":"resolution/B5/1/a","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:d7608898120d2ff020adda6a9e0856cd435c572f04c59ff98adc7f193b1c3be1","language":"en","status":"official","text":"(a) is in orbit around the Sun,"}]},{"contentHash":"sha256:d28e1476abc874716da0056741cbc9848edde1ac7f9dcab205c46c2b51cfa29f","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P1_B_EN","kind":"fragment","locator":"resolution/B5/1/b","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:a5a5ce7e1a154b3ebfb4d97da6f34497b99d370da8df0fe5bde0a75980d2cf06","language":"en","status":"official","text":"(b) has sufficient mass for its self-gravity to overcome rigid body forces\nso that it assumes a hydrostatic equilibrium (nearly round) shape,\nand"}]},{"contentHash":"sha256:988676c923c9e0feae5e47a381d5c9de9ad0f3672e1db90f64624e4393e33215","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P1_C_EN","kind":"fragment","locator":"resolution/B5/1/c","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:9c7262322bb6d84c41da12d38ad70ce171f5ad1f8ec1db013e1876a60bdf1eec","language":"en","status":"official","text":"(c) has cleared the neighbourhood around its orbit."}]},{"contentHash":"sha256:7c77f9b3cf363727226d615d460578ee75401ceb26700c5364c209d54b19aec3","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"point","id":"urn:iau:clir:planet-definition#IAU_B5_P1_EN","kind":"fragment","locator":"resolution/B5/1","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:ad644bc2b55e6a7d94784aa5ffee4974485e7f524ad560979e7db2c042827099","language":"en","status":"official","text":"(1) A planet 1 is a celestial body that"}]},{"contentHash":"sha256:bef38020d8191e4163a3e8493e5b4cbf7dabdbcd53953cfa560f937ab3e98d86","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P2_A_EN","kind":"fragment","locator":"resolution/B5/2/a","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:d7608898120d2ff020adda6a9e0856cd435c572f04c59ff98adc7f193b1c3be1","language":"en","status":"official","text":"(a) is in orbit around the Sun,"}]},{"contentHash":"sha256:8b3c7e8064b222d3ae6173e534ba525b9f0a08e3df160c051f227e18a1b3dc14","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P2_B_EN","kind":"fragment","locator":"resolution/B5/2/b","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:303390395773d232d1d240efedafdb4dedc3dadf187c716def1d08c005b6acc9","language":"en","status":"official","text":"(b) has sufficient mass for its self-gravity to overcome rigid body forces\nso that it assumes a hydrostatic equilibrium (nearly round) shape 2 ,"}]},{"contentHash":"sha256:8d10e80d188b83c650f172f57091a7435767749c4f2b0bd49730cdffaa779f1a","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P2_C_EN","kind":"fragment","locator":"resolution/B5/2/c","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:1def76ad62b6b5b6f14fe298c845fa5c096eaa43ba6be342bca6432beeb5f1d6","language":"en","status":"official","text":"(c) has not cleared the neighbourhood around its orbit, and"}]},{"contentHash":"sha256:18e047771f8ba25e04626420e4192c69eeef1c86c964317a09b9cd9341e21576","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P2_D_EN","kind":"fragment","locator":"resolution/B5/2/d","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:b99021fac4ac71502f48bdd5f009415a835cd519a500115c84f6e4f0d608d2ba","language":"en","status":"official","text":"(d) is not a satellite."}]},{"contentHash":"sha256:691a975db51e836ee64316c4881ae14f8049fda650e80924f9fb6edbff5fd4b2","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"point","id":"urn:iau:clir:planet-definition#IAU_B5_P2_EN","kind":"fragment","locator":"resolution/B5/2","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:9ba9617a4c973122f7d1af6cae2b607b255ae4284e911b12de92448110441ae8","language":"en","status":"official","text":"(2) A \"dwarf planet\" is a celestial body that"}]}],"text":"planet: **NEITHER** — НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет»\nВыведено правом: category_of(Jupiter, Planet); category_of(Uranus, Planet); category_of(Earth, Planet); category_of(Mars, Planet); category_of(Mercury, Planet); category_of(Venus, Planet); category_of(Neptune, Planet); category_of(Saturn, Planet); dwarf_planet(Плутон); category_of(Плутон, DwarfPlanet)\nПрименены правила: CategoryOfDwarfPlanet, FootnoteOneNamesThePlanets, dwarf_planet/rule\nПравило «B5 (1): a planet is a celestial body that satisfies (a), (b) and (c)» вывело бы это при посылках:\n    ✓ cleared_neighbourhood(Плутон) — TRUE_ONLY\n    ✓ orbits_sun(Плутон) — TRUE_ONLY\n    ✓ hydrostatic_equilibrium(Плутон) — TRUE_ONLY\n(? — факт не подан и не выведен; ✗ — установлено обратное)\nПолные правила с посылками: law_rules({\"predicate\": \"planet\"})\nПраво (международный правопорядок): Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона (programHash sha256:5b9b99cdad82…)\nproof-граф: 23 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["category_of(Jupiter, Planet)","category_of(Uranus, Planet)","category_of(Earth, Planet)","category_of(Mars, Planet)","category_of(Mercury, Planet)","category_of(Venus, Planet)","category_of(Neptune, Planet)","category_of(Saturn, Planet)","dwarf_planet(Плутон)","category_of(Плутон, DwarfPlanet)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:9737555245967ed4f90dc541ea3be4a9a92292bed56d8cb7ddf1251fe121671a","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Uranus","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Uranus","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:1d211ae374619c03b327d1f5d91433d91c46083c9c589dd8631160761ec63142","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Uranus","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Earth","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Earth","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:11374e6d0d24d8c334043e02059a3a42440d3ef097a65b11fbbc41cac2c3ae3b","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Earth","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mars","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mars","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:dceedecdb4e298c355fa378e5adcf62b145a4c9fe56422080b6b59c99a04f961","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Mars","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mercury","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mercury","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:b6c3319e5f9992dd3e7d57d0d7aab5a7fb096a679f0ba4bbb6a04218e05ba6bf","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Mercury","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Venus","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Venus","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:2eee82fa38a8603a113f8a40777a9393726fac0ce1d7a9d3a82c17f22eca7a10","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Venus","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Neptune","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Neptune","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:24ea437942ebcb252a9f33ce5ea4e0bb040f094465fe7ffe92988145a84c1e8c","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Neptune","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Saturn","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Saturn","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:6716978be50f85dfa87f3fd174750de578cc30e95aec9c4d623e4730050bf718","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Saturn","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#orbits_sun"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-2"},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#hydrostatic_equilibrium"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-3"},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#cleared_neighbourhood"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-4"},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#is_satellite"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-4","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#dwarf_planet"},"evidence":[],"id":"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-4"],"rule":"urn:iau:clir:planet-definition#dwarf_planet/rule","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#DwarfPlanet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:CategoryOfDwarfPlanet:cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777","kind":"rule_application","premises":["urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45"],"rule":"urn:iau:clir:planet-definition#CategoryOfDwarfPlanet","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#dwarf_planet"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45"],"sourceAnchors":[]}],"proofHash":"sha256:c31abb5cee754ef9cb93691017ced9191983ce7284199087a10a0606ba44f73d","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:95da063f4f9c7dba02f462dd457611618fe8eb0d9f7a3ef6d6add9113b6053ef","schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":38,"fragments":["urn:iau:clir:planet-definition#IAU_B5_FN1_EN","urn:iau:clir:planet-definition#IAU_B5_P2_A_EN","urn:iau:clir:planet-definition#IAU_B5_P2_B_EN","urn:iau:clir:planet-definition#IAU_B5_P2_C_EN","urn:iau:clir:planet-definition#IAU_B5_P2_D_EN","urn:iau:clir:planet-definition#IAU_B5_P2_EN"],"jurisdiction":"International","namespace":"urn:iau:clir:planet-definition","package":"iau-planet-definition","title":"Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан"}],"caseHash":"sha256:70a211fe7a6dc2bf925d7d2633552ff708404b501e448661cd0c5a98a6186f6a","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"международный правопорядок","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4","resultHash":"sha256:95da063f4f9c7dba02f462dd457611618fe8eb0d9f7a3ef6d6add9113b6053ef","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:iau:clir:planet-definition#CategoryOfDwarfPlanet","urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","urn:iau:clir:planet-definition#dwarf_planet/rule"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"predicate":"urn:iau:clir:planet-definition#dwarf_planet","schemaVersion":"law.answers.signature/0.1","types":{"urn:iau:clir:planet-definition#CelestialBody":{"kind":"entity","labels":[{"language":"en","status":"official","text":"celestial body"}],"namespace":"urn:iau:clir:planet-definition","package":"iau.planet_definition"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:fa98c53c067a18328f6a430774c5c62ae5213e56b44e9553699a6479b9aa8706\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:70a211fe7a6dc2bf925d7d2633552ff708404b501e448661cd0c5a98a6186f6a\",\"decisionTime\":\"2026-09-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-01T12:00:00+05:00\",\"legalTime\":\"2026-09-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:7e16d6266a8a0479fe36f195ccee4c12edd6f78e74eb52d5151ba960240114c0\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:9737555245967ed4f90dc541ea3be4a9a92292bed56d8cb7ddf1251fe121671a\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:1d211ae374619c03b327d1f5d91433d91c46083c9c589dd8631160761ec63142\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:11374e6d0d24d8c334043e02059a3a42440d3ef097a65b11fbbc41cac2c3ae3b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:dceedecdb4e298c355fa378e5adcf62b145a4c9fe56422080b6b59c99a04f961\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:b6c3319e5f9992dd3e7d57d0d7aab5a7fb096a679f0ba4bbb6a04218e05ba6bf\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:2eee82fa38a8603a113f8a40777a9393726fac0ce1d7a9d3a82c17f22eca7a10\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:24ea437942ebcb252a9f33ce5ea4e0bb040f094465fe7ffe92988145a84c1e8c\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:6716978be50f85dfa87f3fd174750de578cc30e95aec9c4d623e4730050bf718\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#orbits_sun\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#hydrostatic_equilibrium\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:iau:clir:planet-definition#cleared_neighbourhood\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:iau:clir:planet-definition#is_satellite\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#dwarf_planet\"},\"evidence\":[],\"id\":\"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:iau:clir:planet-definition#dwarf_planet/rule\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#DwarfPlanet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:CategoryOfDwarfPlanet:cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45\"],\"rule\":\"urn:iau:clir:planet-definition#CategoryOfDwarfPlanet\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#dwarf_planet\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:c31abb5cee754ef9cb93691017ced9191983ce7284199087a10a0606ba44f73d\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:95da063f4f9c7dba02f462dd457611618fe8eb0d9f7a3ef6d6add9113b6053ef\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:iau:clir:planet-definition#dwarf_planet\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:944ecdc5fb9f5708d64841bfd865beda80df837487956b81d315e3378b5e0347","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#orbits_sun"},"origin":"case_input","package":"urn:iau:clir:planet-definition"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#hydrostatic_equilibrium"},"origin":"case_input","package":"urn:iau:clir:planet-definition"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-3","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#cleared_neighbourhood"},"origin":"case_input","package":"urn:iau:clir:planet-definition"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-4","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#is_satellite"},"origin":"case_input","package":"urn:iau:clir:planet-definition"}],"context":{"decisionTime":"2026-09-01T12:00:00+05:00","knowledgeTime":"2026-09-01T12:00:00+05:00","legalTime":"2026-09-01","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":[]}},"ir":{"irSha256":"sha256:55096b1ad666602115d1f3e61f03e8f523ff2fb1f0a53b00c7a42bebc4cc86db","kind":"world_ref","nodeCount":87,"packages":[{"artifactHash":"sha256:fa98c53c067a18328f6a430774c5c62ae5213e56b44e9553699a6479b9aa8706","namespace":"urn:iau:clir:planet-definition","package":"iau-planet-definition","semanticHash":"sha256:c51601db89f1d3e253f1441fee382db18024dfe986e0b194bce122ee2fb2d68d"}],"programHash":"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#dwarf_planet"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.2"},"requestCanonicalSha256":"sha256:a0934a339653db82e1c848b7f67ac7e7d359054610aa9598001e5113bd603264"},"id":"calc-2","kind":"truth","label":"Карликовая ли планета Плутон по критериям резолюции B5","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:a0934a339653db82e1c848b7f67ac7e7d359054610aa9598001e5113bd603264"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#orbits_sun"},"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#hydrostatic_equilibrium"},"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#cleared_neighbourhood"},"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#is_satellite"},"id":"urn:proof:assert:urn:mcp:case#fact-4","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#dwarf_planet"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#dwarf_planet"},"id":"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-4"],"rule":"urn:iau:clir:planet-definition#dwarf_planet/rule","sourceAnchors":["urn:iau:clir:planet-definition#IAU_B5_P2_EN","urn:iau:clir:planet-definition#IAU_B5_P2_A_EN","urn:iau:clir:planet-definition#IAU_B5_P2_B_EN","urn:iau:clir:planet-definition#IAU_B5_P2_C_EN","urn:iau:clir:planet-definition#IAU_B5_P2_D_EN"],"strength":"strict","substitution":{"v0":{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#dwarf_planet"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45"],"trust":"engine"}],"symbols":[{"id":"urn:iau:clir:planet-definition#BodyCategory","kind":"type_decl","labels":[{"language":"en","status":"official","text":"one of the three distinct categories of the division"}],"name":"BodyCategory","package":"urn:iau:clir:planet-definition"},{"id":"urn:iau:clir:planet-definition#CategoryOfDwarfPlanet","kind":"rule","labels":[{"language":"en","status":"official","text":"B5 (2): a body classified as a dwarf planet falls in the dwarf planet category"}],"package":"urn:iau:clir:planet-definition","strength":"strict"},{"id":"urn:iau:clir:planet-definition#CelestialBody","kind":"type_decl","labels":[{"language":"en","status":"official","text":"celestial body"}],"name":"CelestialBody","package":"urn:iau:clir:planet-definition"},{"id":"urn:iau:clir:planet-definition#Earth","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Earth"}],"name":"Earth","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","kind":"rule","labels":[{"language":"en","status":"official","text":"footnote 1: each of the eight named bodies is a planet"}],"package":"urn:iau:clir:planet-definition","strength":"strict"},{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Jupiter"}],"name":"Jupiter","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Mars","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Mars"}],"name":"Mars","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Mercury","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Mercury"}],"name":"Mercury","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Neptune","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Neptune"}],"name":"Neptune","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Saturn","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Saturn"}],"name":"Saturn","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Uranus","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Uranus"}],"name":"Uranus","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Venus","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Venus"}],"name":"Venus","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#category_of","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the category of the body under the division of Resolution B5"}],"name":"category_of","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#category_of/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}},{"id":"urn:iau:clir:planet-definition#category_of/arg/c","labels":[],"name":"c","type":{"name":"urn:iau:clir:planet-definition#BodyCategory"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#cleared_neighbourhood","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"has cleared the neighbourhood around its orbit"}],"name":"cleared_neighbourhood","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#cleared_neighbourhood/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#dwarf_planet","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"B5 (2): a dwarf planet is a celestial body that satisfies (a), (b), (c) and (d)"}],"name":"dwarf_planet","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#dwarf_planet/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#dwarf_planet/rule","kind":"rule","labels":[{"language":"en","status":"official","text":"B5 (2): a dwarf planet is a celestial body that satisfies (a), (b), (c) and (d)"}],"package":"urn:iau:clir:planet-definition","strength":"strict"},{"id":"urn:iau:clir:planet-definition#hydrostatic_equilibrium","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shape"}],"name":"hydrostatic_equilibrium","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#hydrostatic_equilibrium/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#is_satellite","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"is a satellite"}],"name":"is_satellite","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#is_satellite/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#named_in_footnote_one","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the body is one of the eight planets named in footnote 1 to Resolution B5"}],"name":"named_in_footnote_one","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#named_in_footnote_one/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#orbits_sun","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"is in orbit around the Sun"}],"name":"orbits_sun","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#orbits_sun/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":38,"fragments":["urn:iau:clir:planet-definition#IAU_B5_FN1_EN","urn:iau:clir:planet-definition#IAU_B5_P2_A_EN","urn:iau:clir:planet-definition#IAU_B5_P2_B_EN","urn:iau:clir:planet-definition#IAU_B5_P2_C_EN","urn:iau:clir:planet-definition#IAU_B5_P2_D_EN","urn:iau:clir:planet-definition#IAU_B5_P2_EN"],"jurisdiction":"International","namespace":"urn:iau:clir:planet-definition","package":"iau-planet-definition","title":"Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан"}],"caseHash":"sha256:70a211fe7a6dc2bf925d7d2633552ff708404b501e448661cd0c5a98a6186f6a","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"международный правопорядок","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4","resultHash":"sha256:95da063f4f9c7dba02f462dd457611618fe8eb0d9f7a3ef6d6add9113b6053ef","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["Плутон"],"facts":[{"args":["Плутон"],"predicate":"orbits_sun"},{"args":["Плутон"],"predicate":"hydrostatic_equilibrium"},{"args":["Плутон"],"negated":true,"predicate":"cleared_neighbourhood"},{"args":["Плутон"],"negated":true,"predicate":"is_satellite"}],"kind":"truth","legalTime":"2026-09-01","package":"iau-planet-definition","predicate":"dwarf_planet","proof":true},"sources":[{"contentHash":"sha256:1890af536ba71e302130f58fdb968081d46db949936ac9e7ec6aefdb5a78741d","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"note","id":"urn:iau:clir:planet-definition#IAU_B5_FN1_EN","kind":"fragment","locator":"resolution/B5/footnote/1","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:38f61e8a0bb8e47e0594608523796f2f1275f34e5df39926f6669b22ad959902","language":"en","status":"official","text":"1\nThe eight planets are: Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, and Neptune."}]},{"contentHash":"sha256:bef38020d8191e4163a3e8493e5b4cbf7dabdbcd53953cfa560f937ab3e98d86","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P2_A_EN","kind":"fragment","locator":"resolution/B5/2/a","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:d7608898120d2ff020adda6a9e0856cd435c572f04c59ff98adc7f193b1c3be1","language":"en","status":"official","text":"(a) is in orbit around the Sun,"}]},{"contentHash":"sha256:8b3c7e8064b222d3ae6173e534ba525b9f0a08e3df160c051f227e18a1b3dc14","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P2_B_EN","kind":"fragment","locator":"resolution/B5/2/b","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:303390395773d232d1d240efedafdb4dedc3dadf187c716def1d08c005b6acc9","language":"en","status":"official","text":"(b) has sufficient mass for its self-gravity to overcome rigid body forces\nso that it assumes a hydrostatic equilibrium (nearly round) shape 2 ,"}]},{"contentHash":"sha256:8d10e80d188b83c650f172f57091a7435767749c4f2b0bd49730cdffaa779f1a","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P2_C_EN","kind":"fragment","locator":"resolution/B5/2/c","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:1def76ad62b6b5b6f14fe298c845fa5c096eaa43ba6be342bca6432beeb5f1d6","language":"en","status":"official","text":"(c) has not cleared the neighbourhood around its orbit, and"}]},{"contentHash":"sha256:18e047771f8ba25e04626420e4192c69eeef1c86c964317a09b9cd9341e21576","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P2_D_EN","kind":"fragment","locator":"resolution/B5/2/d","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:b99021fac4ac71502f48bdd5f009415a835cd519a500115c84f6e4f0d608d2ba","language":"en","status":"official","text":"(d) is not a satellite."}]},{"contentHash":"sha256:691a975db51e836ee64316c4881ae14f8049fda650e80924f9fb6edbff5fd4b2","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"point","id":"urn:iau:clir:planet-definition#IAU_B5_P2_EN","kind":"fragment","locator":"resolution/B5/2","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:9ba9617a4c973122f7d1af6cae2b607b255ae4284e911b12de92448110441ae8","language":"en","status":"official","text":"(2) A \"dwarf planet\" is a celestial body that"}]}],"text":"dwarf_planet: **TRUE_ONLY** — установлено\nВыведено правом: category_of(Jupiter, Planet); category_of(Uranus, Planet); category_of(Earth, Planet); category_of(Mars, Planet); category_of(Mercury, Planet); category_of(Venus, Planet); category_of(Neptune, Planet); category_of(Saturn, Planet); dwarf_planet(Плутон); category_of(Плутон, DwarfPlanet)\nПрименены правила: CategoryOfDwarfPlanet, FootnoteOneNamesThePlanets, dwarf_planet/rule\nПраво (международный правопорядок): Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона (programHash sha256:5b9b99cdad82…)\nproof-граф: 23 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"count":1,"elements":[{"id":"urn:iau:clir:planet-definition#DwarfPlanet","kind":"const_ref"}],"evaluationStatus":"COMPUTED","kind":"COLLECTION","missingInputs":[],"variable":"v0"},"closedEditionRules":[],"derived":["category_of(Jupiter, Planet)","category_of(Uranus, Planet)","category_of(Earth, Planet)","category_of(Mars, Planet)","category_of(Mercury, Planet)","category_of(Venus, Planet)","category_of(Neptune, Planet)","category_of(Saturn, Planet)","dwarf_planet(Плутон)","category_of(Плутон, DwarfPlanet)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:9737555245967ed4f90dc541ea3be4a9a92292bed56d8cb7ddf1251fe121671a","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Uranus","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Uranus","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:1d211ae374619c03b327d1f5d91433d91c46083c9c589dd8631160761ec63142","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Uranus","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Earth","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Earth","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:11374e6d0d24d8c334043e02059a3a42440d3ef097a65b11fbbc41cac2c3ae3b","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Earth","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mars","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mars","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:dceedecdb4e298c355fa378e5adcf62b145a4c9fe56422080b6b59c99a04f961","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Mars","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mercury","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mercury","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:b6c3319e5f9992dd3e7d57d0d7aab5a7fb096a679f0ba4bbb6a04218e05ba6bf","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Mercury","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Venus","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Venus","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:2eee82fa38a8603a113f8a40777a9393726fac0ce1d7a9d3a82c17f22eca7a10","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Venus","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Neptune","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Neptune","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:24ea437942ebcb252a9f33ce5ea4e0bb040f094465fe7ffe92988145a84c1e8c","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Neptune","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Saturn","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Saturn","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:6716978be50f85dfa87f3fd174750de578cc30e95aec9c4d623e4730050bf718","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Saturn","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#orbits_sun"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-2"},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#hydrostatic_equilibrium"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-3"},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#cleared_neighbourhood"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-4"},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#is_satellite"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-4","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#dwarf_planet"},"evidence":[],"id":"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-4"],"rule":"urn:iau:clir:planet-definition#dwarf_planet/rule","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#DwarfPlanet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:CategoryOfDwarfPlanet:cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777","kind":"rule_application","premises":["urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45"],"rule":"urn:iau:clir:planet-definition#CategoryOfDwarfPlanet","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"comprehension":{"distinct":true,"element":{"kind":"var","var":"v0"},"generator":{"formula":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v0"}},"count":1},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:CategoryOfDwarfPlanet:cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777"],"sourceAnchors":[]}],"proofHash":"sha256:25ce3e1a9d1f2b46fa111e906de65cee87e036b0d473642c59e48754e924d902","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:b33d8383d5ad66f02fc96eace26134ce7dae3179c97a7d6201a0fba95b726c16","schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":38,"fragments":["urn:iau:clir:planet-definition#IAU_B5_FN1_EN","urn:iau:clir:planet-definition#IAU_B5_P2_A_EN","urn:iau:clir:planet-definition#IAU_B5_P2_B_EN","urn:iau:clir:planet-definition#IAU_B5_P2_C_EN","urn:iau:clir:planet-definition#IAU_B5_P2_D_EN","urn:iau:clir:planet-definition#IAU_B5_P2_EN"],"jurisdiction":"International","namespace":"urn:iau:clir:planet-definition","package":"iau-planet-definition","title":"Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан"}],"caseHash":"sha256:70a211fe7a6dc2bf925d7d2633552ff708404b501e448661cd0c5a98a6186f6a","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"международный правопорядок","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4","resultHash":"sha256:b33d8383d5ad66f02fc96eace26134ce7dae3179c97a7d6201a0fba95b726c16","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:iau:clir:planet-definition#CategoryOfDwarfPlanet","urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","urn:iau:clir:planet-definition#dwarf_planet/rule"],"signature":{"constants":{},"element":{"index":1,"type":{"name":"urn:iau:clir:planet-definition#BodyCategory"}},"parameters":[{"labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}},{"labels":[],"name":"c","type":{"name":"urn:iau:clir:planet-definition#BodyCategory"}}],"predicate":"urn:iau:clir:planet-definition#category_of","schemaVersion":"law.answers.signature/0.1","types":{"urn:iau:clir:planet-definition#BodyCategory":{"kind":"enum","labels":[{"language":"en","status":"official","text":"one of the three distinct categories of the division"}],"namespace":"urn:iau:clir:planet-definition","package":"iau.planet_definition","variants":[{"id":"urn:iau:clir:planet-definition#Planet","labels":[],"name":"Planet"},{"id":"urn:iau:clir:planet-definition#DwarfPlanet","labels":[],"name":"DwarfPlanet"},{"id":"urn:iau:clir:planet-definition#SmallSolarSystemBody","labels":[],"name":"SmallSolarSystemBody"}]},"urn:iau:clir:planet-definition#CelestialBody":{"kind":"entity","labels":[{"language":"en","status":"official","text":"celestial body"}],"namespace":"urn:iau:clir:planet-definition","package":"iau.planet_definition"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:fa98c53c067a18328f6a430774c5c62ae5213e56b44e9553699a6479b9aa8706\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:70a211fe7a6dc2bf925d7d2633552ff708404b501e448661cd0c5a98a6186f6a\",\"decisionTime\":\"2026-09-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-01T12:00:00+05:00\",\"legalTime\":\"2026-09-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:7e16d6266a8a0479fe36f195ccee4c12edd6f78e74eb52d5151ba960240114c0\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:9737555245967ed4f90dc541ea3be4a9a92292bed56d8cb7ddf1251fe121671a\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:1d211ae374619c03b327d1f5d91433d91c46083c9c589dd8631160761ec63142\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:11374e6d0d24d8c334043e02059a3a42440d3ef097a65b11fbbc41cac2c3ae3b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:dceedecdb4e298c355fa378e5adcf62b145a4c9fe56422080b6b59c99a04f961\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:b6c3319e5f9992dd3e7d57d0d7aab5a7fb096a679f0ba4bbb6a04218e05ba6bf\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:2eee82fa38a8603a113f8a40777a9393726fac0ce1d7a9d3a82c17f22eca7a10\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:24ea437942ebcb252a9f33ce5ea4e0bb040f094465fe7ffe92988145a84c1e8c\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:6716978be50f85dfa87f3fd174750de578cc30e95aec9c4d623e4730050bf718\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#orbits_sun\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#hydrostatic_equilibrium\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:iau:clir:planet-definition#cleared_neighbourhood\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:iau:clir:planet-definition#is_satellite\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#dwarf_planet\"},\"evidence\":[],\"id\":\"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:iau:clir:planet-definition#dwarf_planet/rule\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#DwarfPlanet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:CategoryOfDwarfPlanet:cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45\"],\"rule\":\"urn:iau:clir:planet-definition#CategoryOfDwarfPlanet\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"comprehension\":{\"distinct\":true,\"element\":{\"kind\":\"var\",\"var\":\"v0\"},\"generator\":{\"formula\":{\"args\":[{\"id\":\"urn:mcp:entity:Плутон\",\"kind\":\"entity_ref\"},{\"kind\":\"var\",\"var\":\"v0\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"kind\":\"status\",\"status\":\"established\"},\"kind\":\"comprehension\",\"variable\":{\"id\":\"v0\"}},\"count\":1},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:CategoryOfDwarfPlanet:cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:25ce3e1a9d1f2b46fa111e906de65cee87e036b0d473642c59e48754e924d902\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:b33d8383d5ad66f02fc96eace26134ce7dae3179c97a7d6201a0fba95b726c16\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"COLLECTION\",\"sourceAnchors\":[],\"value\":[{\"id\":\"urn:iau:clir:planet-definition#DwarfPlanet\",\"kind\":\"const_ref\"}]}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:303637c9c3d44cd13fd7056953a5b45c70cbd698b5c2baa528ecf4aa3beb6b83","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#orbits_sun"},"origin":"case_input","package":"urn:iau:clir:planet-definition"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#hydrostatic_equilibrium"},"origin":"case_input","package":"urn:iau:clir:planet-definition"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-3","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#cleared_neighbourhood"},"origin":"case_input","package":"urn:iau:clir:planet-definition"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-4","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#is_satellite"},"origin":"case_input","package":"urn:iau:clir:planet-definition"}],"context":{"decisionTime":"2026-09-01T12:00:00+05:00","knowledgeTime":"2026-09-01T12:00:00+05:00","legalTime":"2026-09-01","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":[]}},"ir":{"irSha256":"sha256:55096b1ad666602115d1f3e61f03e8f523ff2fb1f0a53b00c7a42bebc4cc86db","kind":"world_ref","nodeCount":87,"packages":[{"artifactHash":"sha256:fa98c53c067a18328f6a430774c5c62ae5213e56b44e9553699a6479b9aa8706","namespace":"urn:iau:clir:planet-definition","package":"iau-planet-definition","semanticHash":"sha256:c51601db89f1d3e253f1441fee382db18024dfe986e0b194bce122ee2fb2d68d"}],"programHash":"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4"},"query":{"comprehension":{"distinct":true,"element":{"kind":"var","var":"v0"},"generator":{"formula":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v0"}},"kind":"collect","queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.2"},"requestCanonicalSha256":"sha256:92c70c3f63aad7e56e9102411ccb510688849d870d8fc8b8708aa08920f23bfc"},"id":"calc-3","kind":"collect","label":"Категория тела по критериям","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:92c70c3f63aad7e56e9102411ccb510688849d870d8fc8b8708aa08920f23bfc"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#orbits_sun"},"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#hydrostatic_equilibrium"},"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#cleared_neighbourhood"},"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:iau:clir:planet-definition#is_satellite"},"id":"urn:proof:assert:urn:mcp:case#fact-4","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#dwarf_planet"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#dwarf_planet"},"id":"urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-4"],"rule":"urn:iau:clir:planet-definition#dwarf_planet/rule","sourceAnchors":["urn:iau:clir:planet-definition#IAU_B5_P2_EN","urn:iau:clir:planet-definition#IAU_B5_P2_A_EN","urn:iau:clir:planet-definition#IAU_B5_P2_B_EN","urn:iau:clir:planet-definition#IAU_B5_P2_C_EN","urn:iau:clir:planet-definition#IAU_B5_P2_D_EN"],"strength":"strict","substitution":{"v0":{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}]},{"conclusion":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#DwarfPlanet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:iau:clir:planet-definition#DwarfPlanet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"id":"urn:proof:apply:CategoryOfDwarfPlanet:cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777","kind":"rule_application","originStatus":"available","premises":["urn:proof:apply:dwarf_planet/rule:45f36481e6c68d7b356d710dce0ebae385f325d8d8de1e5e53d980b27a1bda45"],"rule":"urn:iau:clir:planet-definition#CategoryOfDwarfPlanet","sourceAnchors":["urn:iau:clir:planet-definition#IAU_B5_P2_EN"],"strength":"strict","substitution":{"v0":{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}]},{"conclusion":{"comprehension":{"distinct":true,"element":{"kind":"var","var":"v0"},"generator":{"formula":{"args":[{"id":"urn:mcp:entity:Плутон","kind":"entity_ref"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v0"}},"count":1},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:CategoryOfDwarfPlanet:cb6e5eced793471b4004ee749b5dba5007b933ccbd5a17d8671a97d0c7f4b777"],"trust":"engine"}],"symbols":[{"id":"urn:iau:clir:planet-definition#BodyCategory","kind":"type_decl","labels":[{"language":"en","status":"official","text":"one of the three distinct categories of the division"}],"name":"BodyCategory","package":"urn:iau:clir:planet-definition"},{"id":"urn:iau:clir:planet-definition#CategoryOfDwarfPlanet","kind":"rule","labels":[{"language":"en","status":"official","text":"B5 (2): a body classified as a dwarf planet falls in the dwarf planet category"}],"package":"urn:iau:clir:planet-definition","strength":"strict"},{"id":"urn:iau:clir:planet-definition#CelestialBody","kind":"type_decl","labels":[{"language":"en","status":"official","text":"celestial body"}],"name":"CelestialBody","package":"urn:iau:clir:planet-definition"},{"id":"urn:iau:clir:planet-definition#Earth","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Earth"}],"name":"Earth","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","kind":"rule","labels":[{"language":"en","status":"official","text":"footnote 1: each of the eight named bodies is a planet"}],"package":"urn:iau:clir:planet-definition","strength":"strict"},{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Jupiter"}],"name":"Jupiter","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Mars","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Mars"}],"name":"Mars","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Mercury","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Mercury"}],"name":"Mercury","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Neptune","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Neptune"}],"name":"Neptune","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Saturn","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Saturn"}],"name":"Saturn","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Uranus","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Uranus"}],"name":"Uranus","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Venus","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Venus"}],"name":"Venus","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#category_of","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the category of the body under the division of Resolution B5"}],"name":"category_of","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#category_of/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}},{"id":"urn:iau:clir:planet-definition#category_of/arg/c","labels":[],"name":"c","type":{"name":"urn:iau:clir:planet-definition#BodyCategory"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#cleared_neighbourhood","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"has cleared the neighbourhood around its orbit"}],"name":"cleared_neighbourhood","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#cleared_neighbourhood/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#dwarf_planet","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"B5 (2): a dwarf planet is a celestial body that satisfies (a), (b), (c) and (d)"}],"name":"dwarf_planet","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#dwarf_planet/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#dwarf_planet/rule","kind":"rule","labels":[{"language":"en","status":"official","text":"B5 (2): a dwarf planet is a celestial body that satisfies (a), (b), (c) and (d)"}],"package":"urn:iau:clir:planet-definition","strength":"strict"},{"id":"urn:iau:clir:planet-definition#hydrostatic_equilibrium","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shape"}],"name":"hydrostatic_equilibrium","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#hydrostatic_equilibrium/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#is_satellite","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"is a satellite"}],"name":"is_satellite","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#is_satellite/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#named_in_footnote_one","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the body is one of the eight planets named in footnote 1 to Resolution B5"}],"name":"named_in_footnote_one","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#named_in_footnote_one/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#orbits_sun","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"is in orbit around the Sun"}],"name":"orbits_sun","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#orbits_sun/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":38,"fragments":["urn:iau:clir:planet-definition#IAU_B5_FN1_EN","urn:iau:clir:planet-definition#IAU_B5_P2_A_EN","urn:iau:clir:planet-definition#IAU_B5_P2_B_EN","urn:iau:clir:planet-definition#IAU_B5_P2_C_EN","urn:iau:clir:planet-definition#IAU_B5_P2_D_EN","urn:iau:clir:planet-definition#IAU_B5_P2_EN"],"jurisdiction":"International","namespace":"urn:iau:clir:planet-definition","package":"iau-planet-definition","title":"Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан"}],"caseHash":"sha256:70a211fe7a6dc2bf925d7d2633552ff708404b501e448661cd0c5a98a6186f6a","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"международный правопорядок","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4","resultHash":"sha256:b33d8383d5ad66f02fc96eace26134ce7dae3179c97a7d6201a0fba95b726c16","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["Плутон",{"kind":"var","var":"v0"}],"facts":[{"args":["Плутон"],"predicate":"orbits_sun"},{"args":["Плутон"],"predicate":"hydrostatic_equilibrium"},{"args":["Плутон"],"negated":true,"predicate":"cleared_neighbourhood"},{"args":["Плутон"],"negated":true,"predicate":"is_satellite"}],"kind":"collect","legalTime":"2026-09-01","package":"iau-planet-definition","predicate":"category_of","proof":true},"sources":[{"contentHash":"sha256:1890af536ba71e302130f58fdb968081d46db949936ac9e7ec6aefdb5a78741d","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"note","id":"urn:iau:clir:planet-definition#IAU_B5_FN1_EN","kind":"fragment","locator":"resolution/B5/footnote/1","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:38f61e8a0bb8e47e0594608523796f2f1275f34e5df39926f6669b22ad959902","language":"en","status":"official","text":"1\nThe eight planets are: Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, and Neptune."}]},{"contentHash":"sha256:bef38020d8191e4163a3e8493e5b4cbf7dabdbcd53953cfa560f937ab3e98d86","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P2_A_EN","kind":"fragment","locator":"resolution/B5/2/a","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:d7608898120d2ff020adda6a9e0856cd435c572f04c59ff98adc7f193b1c3be1","language":"en","status":"official","text":"(a) is in orbit around the Sun,"}]},{"contentHash":"sha256:8b3c7e8064b222d3ae6173e534ba525b9f0a08e3df160c051f227e18a1b3dc14","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P2_B_EN","kind":"fragment","locator":"resolution/B5/2/b","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:303390395773d232d1d240efedafdb4dedc3dadf187c716def1d08c005b6acc9","language":"en","status":"official","text":"(b) has sufficient mass for its self-gravity to overcome rigid body forces\nso that it assumes a hydrostatic equilibrium (nearly round) shape 2 ,"}]},{"contentHash":"sha256:8d10e80d188b83c650f172f57091a7435767749c4f2b0bd49730cdffaa779f1a","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P2_C_EN","kind":"fragment","locator":"resolution/B5/2/c","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:1def76ad62b6b5b6f14fe298c845fa5c096eaa43ba6be342bca6432beeb5f1d6","language":"en","status":"official","text":"(c) has not cleared the neighbourhood around its orbit, and"}]},{"contentHash":"sha256:18e047771f8ba25e04626420e4192c69eeef1c86c964317a09b9cd9341e21576","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"subpoint","id":"urn:iau:clir:planet-definition#IAU_B5_P2_D_EN","kind":"fragment","locator":"resolution/B5/2/d","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:b99021fac4ac71502f48bdd5f009415a835cd519a500115c84f6e4f0d608d2ba","language":"en","status":"official","text":"(d) is not a satellite."}]},{"contentHash":"sha256:691a975db51e836ee64316c4881ae14f8049fda650e80924f9fb6edbff5fd4b2","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"point","id":"urn:iau:clir:planet-definition#IAU_B5_P2_EN","kind":"fragment","locator":"resolution/B5/2","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:9ba9617a4c973122f7d1af6cae2b607b255ae4284e911b12de92448110441ae8","language":"en","status":"official","text":"(2) A \"dwarf planet\" is a celestial body that"}]}],"text":"Найдено записей: 1.\nЗначения ?v0: DwarfPlanet\nВыведено правом: category_of(Jupiter, Planet); category_of(Uranus, Planet); category_of(Earth, Planet); category_of(Mars, Planet); category_of(Mercury, Planet); category_of(Venus, Planet); category_of(Neptune, Planet); category_of(Saturn, Planet); dwarf_planet(Плутон); category_of(Плутон, DwarfPlanet)\nПрименены правила: CategoryOfDwarfPlanet, FootnoteOneNamesThePlanets, dwarf_planet/rule\nПраво (международный правопорядок): Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона (programHash sha256:5b9b99cdad82…)\nproof-граф: 23 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["category_of(Jupiter, Planet)","category_of(Uranus, Planet)","category_of(Earth, Planet)","category_of(Mars, Planet)","category_of(Mercury, Planet)","category_of(Venus, Planet)","category_of(Neptune, Planet)","category_of(Saturn, Planet)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:9737555245967ed4f90dc541ea3be4a9a92292bed56d8cb7ddf1251fe121671a","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-h3f03363b9f56813dcf4b0a355ca73486c324139e81a874a66ff469c91b6c3f52"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Pluto","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#DwarfPlanet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-h3f03363b9f56813dcf4b0a355ca73486c324139e81a874a66ff469c91b6c3f52","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Uranus","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Uranus","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:1d211ae374619c03b327d1f5d91433d91c46083c9c589dd8631160761ec63142","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Uranus","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Earth","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Earth","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:11374e6d0d24d8c334043e02059a3a42440d3ef097a65b11fbbc41cac2c3ae3b","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Earth","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mars","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mars","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:dceedecdb4e298c355fa378e5adcf62b145a4c9fe56422080b6b59c99a04f961","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Mars","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mercury","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Mercury","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:b6c3319e5f9992dd3e7d57d0d7aab5a7fb096a679f0ba4bbb6a04218e05ba6bf","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Mercury","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Venus","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Venus","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:2eee82fa38a8603a113f8a40777a9393726fac0ce1d7a9d3a82c17f22eca7a10","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Venus","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Neptune","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Neptune","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:24ea437942ebcb252a9f33ce5ea4e0bb040f094465fe7ffe92988145a84c1e8c","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Neptune","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70"},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Saturn","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#named_in_footnote_one"},"evidence":[],"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Saturn","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#Planet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"evidence":[],"id":"urn:proof:apply:FootnoteOneNamesThePlanets:6716978be50f85dfa87f3fd174750de578cc30e95aec9c4d623e4730050bf718","kind":"rule_application","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70"],"rule":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","sourceAnchors":[],"substitution":{"v0":{"id":"urn:iau:clir:planet-definition#Saturn","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:iau:clir:planet-definition#Pluto","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#DwarfPlanet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-h3f03363b9f56813dcf4b0a355ca73486c324139e81a874a66ff469c91b6c3f52"],"sourceAnchors":[]}],"proofHash":"sha256:3888e00457e0cd12401ab58483cd158db7abbffe03afafb09ae9cb9a9c102493","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:81fd2fb28018a47cf4bf83e3545d4e2148e22c82f7aedea42b8f093bad79226d","schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":38,"fragments":["urn:iau:clir:planet-definition#IAU_B5_FN1_EN"],"jurisdiction":"International","namespace":"urn:iau:clir:planet-definition","package":"iau-planet-definition","title":"Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан"}],"caseHash":"sha256:2605fd07b682e4e4fe42fb24589729a9f351cfb39b753f98dcefe15a091595cb","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"международный правопорядок","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4","resultHash":"sha256:81fd2fb28018a47cf4bf83e3545d4e2148e22c82f7aedea42b8f093bad79226d","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets"],"signature":{"constants":{"urn:iau:clir:planet-definition#Pluto":{"labels":[{"language":"en","status":"official","text":"Pluto"}],"type":"urn:iau:clir:planet-definition#CelestialBody","value":{"id":"urn:iau:clir:planet-definition#Pluto","kind":"entity_ref"}}},"parameters":[{"labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}},{"labels":[],"name":"c","type":{"name":"urn:iau:clir:planet-definition#BodyCategory"}}],"predicate":"urn:iau:clir:planet-definition#category_of","schemaVersion":"law.answers.signature/0.1","types":{"urn:iau:clir:planet-definition#BodyCategory":{"kind":"enum","labels":[{"language":"en","status":"official","text":"one of the three distinct categories of the division"}],"namespace":"urn:iau:clir:planet-definition","package":"iau.planet_definition","variants":[{"id":"urn:iau:clir:planet-definition#Planet","labels":[],"name":"Planet"},{"id":"urn:iau:clir:planet-definition#DwarfPlanet","labels":[],"name":"DwarfPlanet"},{"id":"urn:iau:clir:planet-definition#SmallSolarSystemBody","labels":[],"name":"SmallSolarSystemBody"}]},"urn:iau:clir:planet-definition#CelestialBody":{"kind":"entity","labels":[{"language":"en","status":"official","text":"celestial body"}],"namespace":"urn:iau:clir:planet-definition","package":"iau.planet_definition"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:fa98c53c067a18328f6a430774c5c62ae5213e56b44e9553699a6479b9aa8706\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:2605fd07b682e4e4fe42fb24589729a9f351cfb39b753f98dcefe15a091595cb\",\"decisionTime\":\"2026-09-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-01T12:00:00+05:00\",\"legalTime\":\"2026-09-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:1082016e6c0c9c1226d214849ba983151bc6b23bf39b301d4c99f7b6a5442e22\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:9737555245967ed4f90dc541ea3be4a9a92292bed56d8cb7ddf1251fe121671a\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-h0949aafa97c7fa2cdfaf03f55195041c65225a29d1c60e7b2f0890b7fab36ff1\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Jupiter\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-h3f03363b9f56813dcf4b0a355ca73486c324139e81a874a66ff469c91b6c3f52\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Pluto\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#DwarfPlanet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-h3f03363b9f56813dcf4b0a355ca73486c324139e81a874a66ff469c91b6c3f52\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:1d211ae374619c03b327d1f5d91433d91c46083c9c589dd8631160761ec63142\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb93b386436f22fbf2991234ebe48aa5c4027009ca59835253691b705b48a75de\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Uranus\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:11374e6d0d24d8c334043e02059a3a42440d3ef097a65b11fbbc41cac2c3ae3b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hb9914338e99af3b775e76a29c6f0912002e04902e26b195001186f6b31b0655a\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Earth\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:dceedecdb4e298c355fa378e5adcf62b145a4c9fe56422080b6b59c99a04f961\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hcb09a9e135262871577d0f0750ac33d55d8bc497b39a05efdca821311b1c63c5\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Mars\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:b6c3319e5f9992dd3e7d57d0d7aab5a7fb096a679f0ba4bbb6a04218e05ba6bf\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hd079d6aa26126e0e72998f2e63806ca7b09e8c1c51da768a995ccfa7b44ec06b\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Mercury\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:2eee82fa38a8603a113f8a40777a9393726fac0ce1d7a9d3a82c17f22eca7a10\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-he91d603b5536a62948fad73294657491091c5de76717263cd5df8fdfe9672df8\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Venus\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:24ea437942ebcb252a9f33ce5ea4e0bb040f094465fe7ffe92988145a84c1e8c\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-heb0479306e1feda7c30eff9ee2bb0372a6a86baaf533d163c725a3f34a91cbf2\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Neptune\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\"},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#named_in_footnote_one\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#Planet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"evidence\":[],\"id\":\"urn:proof:apply:FootnoteOneNamesThePlanets:6716978be50f85dfa87f3fd174750de578cc30e95aec9c4d623e4730050bf718\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-hf1a2ffc8104eea2ae82d4e4fe93cf21eb95e17991a10750153d0163d8defff70\"],\"rule\":\"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:iau:clir:planet-definition#Saturn\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:iau:clir:planet-definition#Pluto\",\"kind\":\"entity_ref\"},{\"id\":\"urn:iau:clir:planet-definition#DwarfPlanet\",\"kind\":\"const_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:iau:clir:planet-definition#category_of\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:assert:urn:iau:clir:planet-definition#assert-h3f03363b9f56813dcf4b0a355ca73486c324139e81a874a66ff469c91b6c3f52\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:3888e00457e0cd12401ab58483cd158db7abbffe03afafb09ae9cb9a9c102493\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:81fd2fb28018a47cf4bf83e3545d4e2148e22c82f7aedea42b8f093bad79226d\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:iau:clir:planet-definition#category_of\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:203a613ea390e4cc29f84fca6af065904efda17d817d46b33f81b97fc503eba7","request":{"case":{"assertions":[],"context":{"decisionTime":"2026-09-01T12:00:00+05:00","knowledgeTime":"2026-09-01T12:00:00+05:00","legalTime":"2026-09-01","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":[]}},"ir":{"irSha256":"sha256:55096b1ad666602115d1f3e61f03e8f523ff2fb1f0a53b00c7a42bebc4cc86db","kind":"world_ref","nodeCount":87,"packages":[{"artifactHash":"sha256:fa98c53c067a18328f6a430774c5c62ae5213e56b44e9553699a6479b9aa8706","namespace":"urn:iau:clir:planet-definition","package":"iau-planet-definition","semanticHash":"sha256:c51601db89f1d3e253f1441fee382db18024dfe986e0b194bce122ee2fb2d68d"}],"programHash":"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:iau:clir:planet-definition#Pluto","kind":"const_ref"},{"id":"urn:iau:clir:planet-definition#DwarfPlanet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.2"},"requestCanonicalSha256":"sha256:34093de9510ab06aab2ab6cf3b841934e76a8ba998299045856acac32c850c64"},"id":"calc-4","kind":"truth","label":"Категория Плутона по резолюции B6 без фактов о теле","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:34093de9510ab06aab2ab6cf3b841934e76a8ba998299045856acac32c850c64"},"steps":[{"conclusion":{"args":[{"id":"urn:iau:clir:planet-definition#Pluto","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#DwarfPlanet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"id":"urn:proof:assert:urn:iau:clir:planet-definition#assert-h3f03363b9f56813dcf4b0a355ca73486c324139e81a874a66ff469c91b6c3f52","kind":"assertion","originStatus":"unavailable","premises":[]},{"conclusion":{"literal":{"args":[{"id":"urn:iau:clir:planet-definition#Pluto","kind":"entity_ref"},{"id":"urn:iau:clir:planet-definition#DwarfPlanet","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:iau:clir:planet-definition#category_of"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:assert:urn:iau:clir:planet-definition#assert-h3f03363b9f56813dcf4b0a355ca73486c324139e81a874a66ff469c91b6c3f52"],"trust":"engine"}],"symbols":[{"id":"urn:iau:clir:planet-definition#BodyCategory","kind":"type_decl","labels":[{"language":"en","status":"official","text":"one of the three distinct categories of the division"}],"name":"BodyCategory","package":"urn:iau:clir:planet-definition"},{"id":"urn:iau:clir:planet-definition#CelestialBody","kind":"type_decl","labels":[{"language":"en","status":"official","text":"celestial body"}],"name":"CelestialBody","package":"urn:iau:clir:planet-definition"},{"id":"urn:iau:clir:planet-definition#Earth","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Earth"}],"name":"Earth","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#FootnoteOneNamesThePlanets","kind":"rule","labels":[{"language":"en","status":"official","text":"footnote 1: each of the eight named bodies is a planet"}],"package":"urn:iau:clir:planet-definition","strength":"strict"},{"id":"urn:iau:clir:planet-definition#Jupiter","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Jupiter"}],"name":"Jupiter","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Mars","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Mars"}],"name":"Mars","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Mercury","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Mercury"}],"name":"Mercury","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Neptune","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Neptune"}],"name":"Neptune","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Pluto","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Pluto"}],"name":"Pluto","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Saturn","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Saturn"}],"name":"Saturn","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Uranus","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Uranus"}],"name":"Uranus","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#Venus","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"Venus"}],"name":"Venus","package":"urn:iau:clir:planet-definition","parameters":[],"symbolKind":"constant"},{"id":"urn:iau:clir:planet-definition#category_of","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the category of the body under the division of Resolution B5"}],"name":"category_of","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#category_of/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}},{"id":"urn:iau:clir:planet-definition#category_of/arg/c","labels":[],"name":"c","type":{"name":"urn:iau:clir:planet-definition#BodyCategory"}}],"symbolKind":"relation"},{"id":"urn:iau:clir:planet-definition#named_in_footnote_one","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the body is one of the eight planets named in footnote 1 to Resolution B5"}],"name":"named_in_footnote_one","package":"urn:iau:clir:planet-definition","parameters":[{"id":"urn:iau:clir:planet-definition#named_in_footnote_one/arg/b","labels":[],"name":"b","type":{"name":"urn:iau:clir:planet-definition#CelestialBody"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":38,"fragments":["urn:iau:clir:planet-definition#IAU_B5_FN1_EN"],"jurisdiction":"International","namespace":"urn:iau:clir:planet-definition","package":"iau-planet-definition","title":"Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона — юрисдикция International, НЕ Республика Казахстан"}],"caseHash":"sha256:2605fd07b682e4e4fe42fb24589729a9f351cfb39b753f98dcefe15a091595cb","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"международный правопорядок","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:5b9b99cdad82e839480abaa3071bccd2b3757373dc6178b8484948b94d432de4","resultHash":"sha256:81fd2fb28018a47cf4bf83e3545d4e2148e22c82f7aedea42b8f093bad79226d","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["Pluto","DwarfPlanet"],"facts":[],"kind":"truth","legalTime":"2026-09-01","package":"iau-planet-definition","predicate":"category_of","proof":true},"sources":[{"contentHash":"sha256:1890af536ba71e302130f58fdb968081d46db949936ac9e7ec6aefdb5a78741d","edition":"urn:iau:clir:planet-definition#IAU_GA26_B5_B6_EN","fragmentKind":"note","id":"urn:iau:clir:planet-definition#IAU_B5_FN1_EN","kind":"fragment","locator":"resolution/B5/footnote/1","package":"urn:iau:clir:planet-definition","texts":[{"contentHash":"sha256:38f61e8a0bb8e47e0594608523796f2f1275f34e5df39926f6669b22ad959902","language":"en","status":"official","text":"1\nThe eight planets are: Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, and Neptune."}]}],"text":"category_of: **TRUE_ONLY** — установлено\nВыведено правом: category_of(Jupiter, Planet); category_of(Uranus, Planet); category_of(Earth, Planet); category_of(Mars, Planet); category_of(Mercury, Planet); category_of(Venus, Planet); category_of(Neptune, Planet); category_of(Saturn, Planet)\nПрименены правила: FootnoteOneNamesThePlanets\nПраво (международный правопорядок): Резолюции МАС B5 и B6 (2006): определение планеты в Солнечной системе и статус Плутона (programHash sha256:5b9b99cdad82…)\nproof-граф: 18 узлов — поле evaluation готово для law_explain"}],"language":"ru","question":{"origin":"user","text":"Плутон обращается вокруг Солнца, имеет округлую форму, но не расчистил окрестность своей орбиты. Планета ли он по определению Международного астрономического союза?"},"schemaVersion":"law.answers.document/0.1"}