{"assistant":{"explanations":[{"calculationRefs":["basis-ohne-gericht"],"text":"Liegt keine gerichtliche Feststellung vor, ist das Anpassungsverlangen nicht festgestellt."},{"calculationRefs":["basis-mit-gericht"],"text":"Hat das Gericht die Unzumutbarkeit festgestellt, kann Anpassung nach § 313 verlangt werden."},{"calculationRefs":["basis-ausgeschlossen","basis-gegenleistung"],"text":"Bei einem Embargo ist der Leistungsanspruch ausgeschlossen, und der Anspruch auf die Gegenleistung entfällt."},{"calculationRefs":["basis-verweigerung"],"text":"Bei einem groben Missverhältnis ist das Leistungsverweigerungsrecht des § 275 festgestellt."}],"origin":"assistant","summary":"Zwei Wege eines Vertrags nach der Schuldrechtsreform. § 313 öffnet das Recht, Anpassung zu verlangen. §§ 275 und 326 betreffen den Ausschluss der Leistung. Die Unzumutbarkeit stellt das Gericht fest."},"calculations":[{"answer":{"answer":{"evaluationStatus":"REQUIRES_JUDGMENT","kind":"TRUTH","missingInputs":[],"truthStatus":"NEITHER"},"evaluation":{"conflicts":[],"issues":[],"manifest":{"artifactHash":"sha256:f15f5924e6477ba2ee46762ae3eddebeca505cfb73142af065f33c8eaf9e62f0","calendarSnapshot":"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT","caseHash":"sha256:0154c0d4b90e5f69d8db600c05eade27182b0307e07a991f377c604c77ddfe4f","decisionTime":"2026-09-20T09:00:00Z","evidenceSnapshotHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","externalSnapshots":{},"id":"urn:manifest:oracle-1","interpretations":[],"knowledgeTime":"2026-09-20T09:00:00Z","legalTime":"2026-09-20","lockfileHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","mode":"audit","policies":{},"programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resolvedEditions":{},"semanticHash":"sha256:9b54fe5daab26dbe1860fb9d905a9942cc945ac919a3646241fdfa7e2e245114","semantics":"law.core/0.2.1","theoryHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","timezone":"Europe/Berlin"},"positions":[],"proofGraph":{"nodes":[{"attributes":{},"conclusion":{"authority":"urn:de:corpus:clir:bgb-schuldrecht-at#Court","literal":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"}},"evidence":[],"id":"urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac","kind":"judgment","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"},"truthStatus":"NEITHER"},"evidence":[],"id":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar","kind":"query_evaluation","premises":["urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac"],"sourceAnchors":[]}],"proofHash":"sha256:69d0c801c91779f9505f53e4334b8c37432c80c09143ad0ec51424d523f740e7","roots":["urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar"]},"resultHash":"sha256:33fcd4c6e746161e6aacecabac2bfc1fe8e4710105dff14f5381b7cdc4cb5216","results":[{"conflicts":[],"evaluationStatus":"REQUIRES_JUDGMENT","evidence":[],"id":"urn:result:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar","judgmentRequests":[{"authority":"urn:de:corpus:clir:bgb-schuldrecht-at#Court","id":"urn:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:0","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar","proof":"urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac","request":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"polarity":"positive","relation":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"}}],"manifest":"urn:manifest:oracle-1","missingInputs":[],"normativeStatusSupports":[],"proof":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar","query":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar","resultKind":"PROPOSITION","sourceAnchors":[],"target":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar","truthStatus":"NEITHER"}],"schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"REQUIRES_JUDGMENT","issues":[],"judgmentRequests":[{"authority":"urn:de:corpus:clir:bgb-schuldrecht-at#Court","id":"urn:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:0","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar","proof":"urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac","request":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"polarity":"positive","relation":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"}}],"proofRef":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar","provenance":{"acts":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at"}],"caseHash":"sha256:0154c0d4b90e5f69d8db600c05eade27182b0307e07a991f377c604c77ddfe4f","jurisdiction":"Deutschland","legalTime":"2026-09-20","mode":"audit","programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resultHash":"sha256:33fcd4c6e746161e6aacecabac2bfc1fe8e4710105dff14f5381b7cdc4cb5216","timezone":"Europe/Berlin"},"rulesApplied":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:f15f5924e6477ba2ee46762ae3eddebeca505cfb73142af065f33c8eaf9e62f0\",\"calendarSnapshot\":\"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT\",\"caseHash\":\"sha256:0154c0d4b90e5f69d8db600c05eade27182b0307e07a991f377c604c77ddfe4f\",\"decisionTime\":\"2026-09-20T09:00:00Z\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-20T09:00:00Z\",\"legalTime\":\"2026-09-20\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:9b54fe5daab26dbe1860fb9d905a9942cc945ac919a3646241fdfa7e2e245114\",\"semantics\":\"law.core/0.2.1\",\"theoryHash\":\"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b\",\"timezone\":\"Europe/Berlin\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{},\"conclusion\":{\"authority\":\"urn:de:corpus:clir:bgb-schuldrecht-at#Court\",\"literal\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:g14:t\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar\"}},\"evidence\":[],\"id\":\"urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac\",\"kind\":\"judgment\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:g14:t\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar\"},\"truthStatus\":\"NEITHER\"},\"evidence\":[],\"id\":\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:69d0c801c91779f9505f53e4334b8c37432c80c09143ad0ec51424d523f740e7\",\"roots\":[\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar\"]},\"resultHash\":\"sha256:33fcd4c6e746161e6aacecabac2bfc1fe8e4710105dff14f5381b7cdc4cb5216\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"REQUIRES_JUDGMENT\",\"evidence\":[],\"id\":\"urn:result:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar\",\"judgmentRequests\":[{\"authority\":\"urn:de:corpus:clir:bgb-schuldrecht-at#Court\",\"id\":\"urn:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:0\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar\",\"proof\":\"urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac\",\"request\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:g14:t\",\"kind\":\"entity_ref\"}],\"polarity\":\"positive\",\"relation\":\"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar\"}}],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar\",\"query\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar\",\"truthStatus\":\"NEITHER\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:66da26ae25439585f3c02ab137b548225bb1533788d98e9ea8e2c68d2370b399","request":{"case":{"assertions":[{"contentHash":"sha256:08afb1e9a64a0e16689f5ec3f5a363ff8001484f1dd5e8d9ca5e120ecafc066b","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"},"origin":"case_input","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"},{"contentHash":"sha256:8502293b5ca23737f8793b32e42cb61cd5243a515ee38edafea9ef434a8557fb","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"},{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"},"origin":"case_input","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"},{"contentHash":"sha256:d20b7b0e5bf8b4b95e15a68b31e3378894509a896b1054c6392f34faf42cf725","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#stoerung","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage"},"origin":"case_input","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"}],"constants":{"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l":{"id":"urn:de:bgb:g14:l","kind":"entity_ref"},"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v":{"id":"urn:de:bgb:g14:v","kind":"entity_ref"}},"context":{"deadlinePolicy":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#BGB_RECHTSBEHELFE_KALENDER","decisionTime":"2026-09-20T09:00:00Z","knowledgeTime":"2026-09-20T09:00:00Z","legalTime":"2026-09-20","timezone":"Europe/Berlin"},"options":{"calendarSnapshot":"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT"}},"ir":{"irSha256":"sha256:b2cfb82ac0304e3eaf081e55ce063538338233507e12a3cc8d8cdba7acb01828","kind":"world_ref","nodeCount":4019,"packages":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at","semanticHash":"sha256:8c030a1751d42bf3e0bd12820951d0af35dabd30cf55d17c2946594432c79ace"}],"programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"},"queryId":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar"},"semanticVersion":"0.2.1"},"requestCanonicalSha256":"sha256:4a4da17b5a8a1a5f7ca7ef76976bd67ee540d0d1f80cd7c2293b7dbdf1c5f136","verification":{"matched":true,"method":"law ask: attentes du texte, Rust = Python = rejeu"}},"id":"basis-ohne-gericht","kind":"truth","label":"Ohne gerichtliche Feststellung: die Anpassung ist nicht festgestellt","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:4a4da17b5a8a1a5f7ca7ef76976bd67ee540d0d1f80cd7c2293b7dbdf1c5f136"},"steps":[{"conclusion":{"authority":"urn:de:corpus:clir:bgb-schuldrecht-at#Court","literal":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"}},"id":"urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac","kind":"judgment","originStatus":"available","premises":[],"trust":"external"},{"conclusion":{"literal":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"},"truthStatus":"NEITHER"},"id":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:judgment:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisOhneGericht/query/anpassung-verlangbar:441e03798f4e7ab047de695803e98850589b6934dbe631e926d0bfed47fbc6ac"],"trust":"engine"}],"symbols":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung","kind":"type_decl","labels":[{"language":"de","status":"official","text":"Leistung, die der Gläubiger kraft des Schuldverhältnisses fordern kann (§ 241 Abs. 1)"},{"language":"en","status":"unofficial","text":"performance which the creditor may demand under the obligation (§ 241 (1))"}],"name":"Leistung","package":"urn:de:corpus:clir:bgb-schuldrecht-at"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag","kind":"type_decl","labels":[{"language":"de","status":"official","text":"Vertrag als Schuldverhältnis (§ 311 Abs. 1)"},{"language":"en","status":"unofficial","text":"contract as an obligation (§ 311 (1))"}],"name":"Vertrag","package":"urn:de:corpus:clir:bgb-schuldrecht-at"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Anpassung des Vertrags kann verlangt werden (§ 313 Abs. 1)"},{"language":"en","status":"unofficial","text":"adaptation of the contract may be demanded (§ 313 (1))"}],"name":"anpassung_des_vertrags_verlangbar","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar/arg/v","labels":[],"name":"v","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar/arg/teil","labels":[],"name":"teil","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Person"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"§ 313 Abs. 1. Das Gericht hat festgestellt, dass dem Teil unter Berücksichtigung aller Umstände des Einzelfalls, insbesondere der vertraglichen oder gesetzlichen Risikoverteilung, das Festhalten am unveränderten Vertrag nicht zugemutet werden kann"},{"language":"en","status":"unofficial","text":"§ 313 (1). The court found that adherence to the unchanged contract cannot be required of the party, considering all circumstances and the allocation of risk"}],"name":"festhalten_am_unveraenderten_vertrag_nicht_zumutbar","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar/arg/v","labels":[],"name":"v","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar/arg/teil","labels":[],"name":"teil","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Person"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Der Vertrag ist ein gegenseitiger Vertrag (§§ 320 ff.)"},{"language":"en","status":"unofficial","text":"the contract is a synallagmatic contract (§§ 320 et seq.)"}],"name":"gegenseitiger_vertrag","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag/arg/v","labels":[],"name":"v","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Leistung, die aus dem Schuldverhältnis geschuldet wird (§ 241 Abs. 1)"},{"language":"en","status":"unofficial","text":"performance owed under the obligation (§ 241 (1))"}],"name":"leistung_aus_schuldverhaeltnis","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis/arg/l","labels":[],"name":"l","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis/arg/s","labels":[],"name":"s","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Schuldverhaeltnis"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Umstände, die zur Grundlage des Vertrags geworden sind, haben sich nach Vertragsschluss schwerwiegend verändert, und die Parteien hätten den Vertrag nicht oder mit anderem Inhalt geschlossen, wenn sie die Veränderung vorausgesehen hätten (§ 313 Abs. 1)"},{"language":"en","status":"unofficial","text":"circumstances forming the basis of the contract changed seriously after conclusion and the parties would not have concluded it, or would have done so with different content (§ 313 (1))"}],"name":"schwerwiegende_veraenderung_der_geschaeftsgrundlage","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage/arg/v","labels":[],"name":"v","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}}],"symbolKind":"relation"}]},"provenance":{"acts":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at"}],"caseHash":"sha256:0154c0d4b90e5f69d8db600c05eade27182b0307e07a991f377c604c77ddfe4f","jurisdiction":"Deutschland","legalTime":"2026-09-20","mode":"audit","programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resultHash":"sha256:33fcd4c6e746161e6aacecabac2bfc1fe8e4710105dff14f5381b7cdc4cb5216","timezone":"Europe/Berlin"},"request":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"facts":[{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"negated":false,"origin":"case_input","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"},{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"},{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"negated":false,"origin":"case_input","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"},{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"negated":false,"origin":"case_input","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage"}],"kind":"truth","legalTime":"2026-09-20","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"},"sources":[],"text":"Ohne gerichtliche Feststellung: die Anpassung ist nicht festgestellt"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","missingInputs":[],"truthStatus":"TRUE_ONLY"},"evaluation":{"conflicts":[],"issues":[],"manifest":{"artifactHash":"sha256:f15f5924e6477ba2ee46762ae3eddebeca505cfb73142af065f33c8eaf9e62f0","calendarSnapshot":"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT","caseHash":"sha256:f335146f7d105812e87d1013d232506bbafb3461dac916464bc502a4fd968f9c","decisionTime":"2026-09-20T09:00:00Z","evidenceSnapshotHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","externalSnapshots":{},"id":"urn:manifest:oracle-1","interpretations":[],"knowledgeTime":"2026-09-20T09:00:00Z","legalTime":"2026-09-20","lockfileHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","mode":"audit","policies":{},"programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resolvedEditions":{},"semanticHash":"sha256:c7e352eda9faa2b8951d76b4057b45ba74e5ac25c767e356bd97fc1900cd2ba4","semantics":"law.core/0.2.1","theoryHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","timezone":"Europe/Berlin"},"positions":[],"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#stoerung"},"conclusion":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage"},"evidence":[],"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#stoerung","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unzumutbar"},"conclusion":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"},"evidence":[],"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unzumutbar","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"},"evidence":[],"id":"urn:proof:apply:AnpassungWegenStoerungDerGeschaeftsgrundlage:7c5cf5ed18a7c6e8cabbfffd80c5672c3949029a062e4b7fcc0b854d922c5723","kind":"rule_application","premises":["urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#stoerung","urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unzumutbar"],"rule":"urn:de:corpus:clir:bgb-schuldrecht-at#AnpassungWegenStoerungDerGeschaeftsgrundlage","sourceAnchors":[],"substitution":{"v0":{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},"v1":{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisMitGericht/query/anpassung-verlangbar","kind":"query_evaluation","premises":["urn:proof:apply:AnpassungWegenStoerungDerGeschaeftsgrundlage:7c5cf5ed18a7c6e8cabbfffd80c5672c3949029a062e4b7fcc0b854d922c5723"],"sourceAnchors":[]}],"proofHash":"sha256:19205c250c69d0ce1d61ad878707440eeb32aeb576a192011e8c7cc1dbbae3d6","roots":["urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisMitGericht/query/anpassung-verlangbar"]},"resultHash":"sha256:dcfdefc977fd6bfc905c01f92b8dfc8f78460f0018a42565af8ccd24119a9249","results":[{"conflicts":[],"evaluationStatus":"COMPUTED","evidence":[],"id":"urn:result:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisMitGericht/query/anpassung-verlangbar","judgmentRequests":[],"manifest":"urn:manifest:oracle-1","missingInputs":[],"normativeStatusSupports":[],"proof":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisMitGericht/query/anpassung-verlangbar","query":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisMitGericht/query/anpassung-verlangbar","resultKind":"PROPOSITION","sourceAnchors":[],"target":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar","truthStatus":"TRUE_ONLY"}],"schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisMitGericht/query/anpassung-verlangbar","provenance":{"acts":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at"}],"caseHash":"sha256:f335146f7d105812e87d1013d232506bbafb3461dac916464bc502a4fd968f9c","jurisdiction":"Deutschland","legalTime":"2026-09-20","mode":"audit","programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resultHash":"sha256:dcfdefc977fd6bfc905c01f92b8dfc8f78460f0018a42565af8ccd24119a9249","timezone":"Europe/Berlin"},"rulesApplied":["urn:de:corpus:clir:bgb-schuldrecht-at#AnpassungWegenStoerungDerGeschaeftsgrundlage"]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:f15f5924e6477ba2ee46762ae3eddebeca505cfb73142af065f33c8eaf9e62f0\",\"calendarSnapshot\":\"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT\",\"caseHash\":\"sha256:f335146f7d105812e87d1013d232506bbafb3461dac916464bc502a4fd968f9c\",\"decisionTime\":\"2026-09-20T09:00:00Z\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-20T09:00:00Z\",\"legalTime\":\"2026-09-20\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:c7e352eda9faa2b8951d76b4057b45ba74e5ac25c767e356bd97fc1900cd2ba4\",\"semantics\":\"law.core/0.2.1\",\"theoryHash\":\"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b\",\"timezone\":\"Europe/Berlin\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#stoerung\"},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#stoerung\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unzumutbar\"},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:g14:t\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unzumutbar\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:g14:t\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar\"},\"evidence\":[],\"id\":\"urn:proof:apply:AnpassungWegenStoerungDerGeschaeftsgrundlage:7c5cf5ed18a7c6e8cabbfffd80c5672c3949029a062e4b7fcc0b854d922c5723\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#stoerung\",\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unzumutbar\"],\"rule\":\"urn:de:corpus:clir:bgb-schuldrecht-at#AnpassungWegenStoerungDerGeschaeftsgrundlage\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:de:bgb:g14:t\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:g14:t\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisMitGericht/query/anpassung-verlangbar\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:AnpassungWegenStoerungDerGeschaeftsgrundlage:7c5cf5ed18a7c6e8cabbfffd80c5672c3949029a062e4b7fcc0b854d922c5723\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:19205c250c69d0ce1d61ad878707440eeb32aeb576a192011e8c7cc1dbbae3d6\",\"roots\":[\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisMitGericht/query/anpassung-verlangbar\"]},\"resultHash\":\"sha256:dcfdefc977fd6bfc905c01f92b8dfc8f78460f0018a42565af8ccd24119a9249\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisMitGericht/query/anpassung-verlangbar\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisMitGericht/query/anpassung-verlangbar\",\"query\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisMitGericht/query/anpassung-verlangbar\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:c20e19a5d5484eefb0e1558674b5bb12274bb4d4e2011033b96f16bb2b7890e3","request":{"case":{"assertions":[{"contentHash":"sha256:08afb1e9a64a0e16689f5ec3f5a363ff8001484f1dd5e8d9ca5e120ecafc066b","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"},"origin":"case_input","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"},{"contentHash":"sha256:8502293b5ca23737f8793b32e42cb61cd5243a515ee38edafea9ef434a8557fb","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"},{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"},"origin":"case_input","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"},{"contentHash":"sha256:d20b7b0e5bf8b4b95e15a68b31e3378894509a896b1054c6392f34faf42cf725","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#stoerung","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage"},"origin":"case_input","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"},{"contentHash":"sha256:323c48e378f047661923892483c5d339eac01a60462e5d96c7da04cb0ce565a3","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unzumutbar","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"},"origin":"adjudicated","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"}],"constants":{"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l":{"id":"urn:de:bgb:g14:l","kind":"entity_ref"},"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v":{"id":"urn:de:bgb:g14:v","kind":"entity_ref"}},"context":{"deadlinePolicy":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#BGB_RECHTSBEHELFE_KALENDER","decisionTime":"2026-09-20T09:00:00Z","knowledgeTime":"2026-09-20T09:00:00Z","legalTime":"2026-09-20","timezone":"Europe/Berlin"},"options":{"calendarSnapshot":"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT"}},"ir":{"irSha256":"sha256:b2cfb82ac0304e3eaf081e55ce063538338233507e12a3cc8d8cdba7acb01828","kind":"world_ref","nodeCount":4019,"packages":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at","semanticHash":"sha256:8c030a1751d42bf3e0bd12820951d0af35dabd30cf55d17c2946594432c79ace"}],"programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"},"queryId":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisMitGericht/query/anpassung-verlangbar"},"semanticVersion":"0.2.1"},"requestCanonicalSha256":"sha256:c5cf92cec5960a30ee045e7400d7d55df067fd024fabac239c01ab7d7ce9c4a9","verification":{"matched":true,"method":"law ask: attentes du texte, Rust = Python = rejeu"}},"id":"basis-mit-gericht","kind":"truth","label":"Mit gerichtlicher Feststellung: Anpassung kann verlangt werden","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:c5cf92cec5960a30ee045e7400d7d55df067fd024fabac239c01ab7d7ce9c4a9"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage"},"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#stoerung","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"adjudicated","conclusion":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"},"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unzumutbar","kind":"assertion","originStatus":"available","premises":[],"trust":"external"},{"conclusion":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"},"head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"},"id":"urn:proof:apply:AnpassungWegenStoerungDerGeschaeftsgrundlage:7c5cf5ed18a7c6e8cabbfffd80c5672c3949029a062e4b7fcc0b854d922c5723","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#stoerung","urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unzumutbar"],"rule":"urn:de:corpus:clir:bgb-schuldrecht-at#AnpassungWegenStoerungDerGeschaeftsgrundlage","sourceAnchors":["urn:de:corpus:clir:bgb-schuldrecht-at#BGB_P313"],"strength":"strict","substitution":{"v0":{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},"v1":{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}},{"id":"v1","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Person"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/PreisMitGericht/query/anpassung-verlangbar","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:AnpassungWegenStoerungDerGeschaeftsgrundlage:7c5cf5ed18a7c6e8cabbfffd80c5672c3949029a062e4b7fcc0b854d922c5723"],"trust":"engine"}],"symbols":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#AnpassungWegenStoerungDerGeschaeftsgrundlage","kind":"rule","labels":[{"language":"de","status":"official","text":"Haben sich Umstände, die zur Grundlage des Vertrags geworden sind, nach Vertragsschluss schwerwiegend verändert, so kann Anpassung des Vertrags verlangt werden, soweit einem Teil das Festhalten am unveränderten Vertrag nicht zugemutet werden kann (§ 313 Abs. 1)"},{"language":"en","status":"unofficial","text":"Where circumstances forming the basis of the contract have seriously changed, adaptation may be demanded so far as adherence cannot be required of a party (§ 313 (1))"}],"package":"urn:de:corpus:clir:bgb-schuldrecht-at","strength":"strict"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung","kind":"type_decl","labels":[{"language":"de","status":"official","text":"Leistung, die der Gläubiger kraft des Schuldverhältnisses fordern kann (§ 241 Abs. 1)"},{"language":"en","status":"unofficial","text":"performance which the creditor may demand under the obligation (§ 241 (1))"}],"name":"Leistung","package":"urn:de:corpus:clir:bgb-schuldrecht-at"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag","kind":"type_decl","labels":[{"language":"de","status":"official","text":"Vertrag als Schuldverhältnis (§ 311 Abs. 1)"},{"language":"en","status":"unofficial","text":"contract as an obligation (§ 311 (1))"}],"name":"Vertrag","package":"urn:de:corpus:clir:bgb-schuldrecht-at"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Anpassung des Vertrags kann verlangt werden (§ 313 Abs. 1)"},{"language":"en","status":"unofficial","text":"adaptation of the contract may be demanded (§ 313 (1))"}],"name":"anpassung_des_vertrags_verlangbar","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar/arg/v","labels":[],"name":"v","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar/arg/teil","labels":[],"name":"teil","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Person"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"§ 313 Abs. 1. Das Gericht hat festgestellt, dass dem Teil unter Berücksichtigung aller Umstände des Einzelfalls, insbesondere der vertraglichen oder gesetzlichen Risikoverteilung, das Festhalten am unveränderten Vertrag nicht zugemutet werden kann"},{"language":"en","status":"unofficial","text":"§ 313 (1). The court found that adherence to the unchanged contract cannot be required of the party, considering all circumstances and the allocation of risk"}],"name":"festhalten_am_unveraenderten_vertrag_nicht_zumutbar","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar/arg/v","labels":[],"name":"v","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar/arg/teil","labels":[],"name":"teil","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Person"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Der Vertrag ist ein gegenseitiger Vertrag (§§ 320 ff.)"},{"language":"en","status":"unofficial","text":"the contract is a synallagmatic contract (§§ 320 et seq.)"}],"name":"gegenseitiger_vertrag","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag/arg/v","labels":[],"name":"v","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Leistung, die aus dem Schuldverhältnis geschuldet wird (§ 241 Abs. 1)"},{"language":"en","status":"unofficial","text":"performance owed under the obligation (§ 241 (1))"}],"name":"leistung_aus_schuldverhaeltnis","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis/arg/l","labels":[],"name":"l","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis/arg/s","labels":[],"name":"s","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Schuldverhaeltnis"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Umstände, die zur Grundlage des Vertrags geworden sind, haben sich nach Vertragsschluss schwerwiegend verändert, und die Parteien hätten den Vertrag nicht oder mit anderem Inhalt geschlossen, wenn sie die Veränderung vorausgesehen hätten (§ 313 Abs. 1)"},{"language":"en","status":"unofficial","text":"circumstances forming the basis of the contract changed seriously after conclusion and the parties would not have concluded it, or would have done so with different content (§ 313 (1))"}],"name":"schwerwiegende_veraenderung_der_geschaeftsgrundlage","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage/arg/v","labels":[],"name":"v","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}}],"symbolKind":"relation"}]},"provenance":{"acts":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at"}],"caseHash":"sha256:f335146f7d105812e87d1013d232506bbafb3461dac916464bc502a4fd968f9c","jurisdiction":"Deutschland","legalTime":"2026-09-20","mode":"audit","programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resultHash":"sha256:dcfdefc977fd6bfc905c01f92b8dfc8f78460f0018a42565af8ccd24119a9249","timezone":"Europe/Berlin"},"request":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"facts":[{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"negated":false,"origin":"case_input","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"},{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"},{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"negated":false,"origin":"case_input","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"},{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"negated":false,"origin":"case_input","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#schwerwiegende_veraenderung_der_geschaeftsgrundlage"},{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"},{"id":"urn:de:bgb:g14:t","kind":"entity_ref"}],"negated":false,"origin":"adjudicated","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#festhalten_am_unveraenderten_vertrag_nicht_zumutbar"}],"kind":"truth","legalTime":"2026-09-20","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anpassung_des_vertrags_verlangbar"},"sources":[{"contentHash":"sha256:2951848381021f17238338800b3a4361b1ad86aba527d0bafb09455063689636","edition":"urn:de:corpus:clir:bgb-schuldrecht-at#BGB_KONSOLIDIERT","fragmentKind":"article","id":"urn:de:corpus:clir:bgb-schuldrecht-at#BGB_P313","kind":"fragment","labels":[{"language":"de","status":"official","text":"§ 313 Störung der Geschäftsgrundlage"}],"locator":"paragraph/313","package":"urn:de:corpus:clir:bgb-schuldrecht-at","texts":[{"contentHash":"sha256:ed71e0a726a084e2b2f83cb0b6f27bc18472aee620f16d06e8ecafbf984ea4ce","language":"de","status":"official","text":"§ 313 Störung der Geschäftsgrundlage\n(1) Haben sich Umstände, die zur Grundlage des Vertrags geworden sind, nach Vertragsschluss schwerwiegend verändert und hätten die Parteien den Vertrag nicht oder mit anderem Inhalt geschlossen, wenn sie diese Veränderung vorausgesehen hätten, so kann Anpassung des Vertrags verlangt werden, soweit einem Teil unter Berücksichtigung aller Umstände des Einzelfalls, insbesondere der vertraglichen oder gesetzlichen Risikoverteilung, das Festhalten am unveränderten Vertrag nicht zugemutet werden kann.\n(2) Einer Veränderung der Umstände steht es gleich, wenn wesentliche Vorstellungen, die zur Grundlage des Vertrags geworden sind, sich als falsch herausstellen.\n(3) Ist eine Anpassung des Vertrags nicht möglich oder einem Teil nicht zumutbar, so kann der benachteiligte Teil vom Vertrag zurücktreten. An die Stelle des Rücktrittsrechts tritt für Dauerschuldverhältnisse das Recht zur Kündigung.\nFußnote: (+++ § 313: Zur Nichtanwendung vgl. § 10 Abs. 5 KredWG +++)\n"}],"visibility":"public"}],"text":"Mit gerichtlicher Feststellung: Anpassung kann verlangt werden"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","missingInputs":[],"truthStatus":"TRUE_ONLY"},"evaluation":{"conflicts":[],"issues":[],"manifest":{"artifactHash":"sha256:f15f5924e6477ba2ee46762ae3eddebeca505cfb73142af065f33c8eaf9e62f0","calendarSnapshot":"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT","caseHash":"sha256:4544a573bd2d1a6d9a6b498aae3e70fe6fb5ab8a47b6280975b1e4a18e9c381c","decisionTime":"2026-09-20T09:00:00Z","evidenceSnapshotHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","externalSnapshots":{},"id":"urn:manifest:oracle-1","interpretations":[],"knowledgeTime":"2026-09-20T09:00:00Z","legalTime":"2026-09-20","lockfileHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","mode":"audit","policies":{},"programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resolvedEditions":{},"semanticHash":"sha256:533c89bb52acb74bb8b0e85a41dde3849026fb13a5762b6cc7de930451683038","semantics":"law.core/0.2.1","theoryHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","timezone":"Europe/Berlin"},"positions":[],"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung"},"conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"},{"id":"urn:de:bgb:g14:v","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"},"evidence":[],"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich"},"conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_unmoeglich"},"evidence":[],"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen"},"evidence":[],"id":"urn:proof:apply:UnmoeglichkeitSchliesstDenLeistungsanspruchAus:f9cf51e6ae667042b6bec0726e59496299c4c6d296b551a5a1b16c542f20c924","kind":"rule_application","premises":["urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich"],"rule":"urn:de:corpus:clir:bgb-schuldrecht-at#UnmoeglichkeitSchliesstDenLeistungsanspruchAus","sourceAnchors":[],"substitution":{"v0":{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag"},"conclusion":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"},"evidence":[],"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt"},"evidence":[],"id":"urn:proof:apply:WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht:0f5eedb07579377c6f5a2b4feb93e3004dce69b16379c2f8d7b709b05a637b78","kind":"rule_application","premises":["urn:proof:apply:UnmoeglichkeitSchliesstDenLeistungsanspruchAus:f9cf51e6ae667042b6bec0726e59496299c4c6d296b551a5a1b16c542f20c924","urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung","urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag"],"rule":"urn:de:corpus:clir:bgb-schuldrecht-at#WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht","sourceAnchors":[],"substitution":{"v0":{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},"v1":{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/leistungsanspruch-ausgeschlossen","kind":"query_evaluation","premises":["urn:proof:apply:UnmoeglichkeitSchliesstDenLeistungsanspruchAus:f9cf51e6ae667042b6bec0726e59496299c4c6d296b551a5a1b16c542f20c924"],"sourceAnchors":[]}],"proofHash":"sha256:40f8124c82563f609122018f0b07956b5e7d09276a09131fda9d6745c9e5f4c5","roots":["urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/leistungsanspruch-ausgeschlossen"]},"resultHash":"sha256:1385f2dcc9447af5702b6288551695f8ffc326769dc6db10b7a759932f871a8f","results":[{"conflicts":[],"evaluationStatus":"COMPUTED","evidence":[],"id":"urn:result:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/leistungsanspruch-ausgeschlossen","judgmentRequests":[],"manifest":"urn:manifest:oracle-1","missingInputs":[],"normativeStatusSupports":[],"proof":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/leistungsanspruch-ausgeschlossen","query":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/leistungsanspruch-ausgeschlossen","resultKind":"PROPOSITION","sourceAnchors":[],"target":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen","truthStatus":"TRUE_ONLY"}],"schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/leistungsanspruch-ausgeschlossen","provenance":{"acts":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at"}],"caseHash":"sha256:4544a573bd2d1a6d9a6b498aae3e70fe6fb5ab8a47b6280975b1e4a18e9c381c","jurisdiction":"Deutschland","legalTime":"2026-09-20","mode":"audit","programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resultHash":"sha256:1385f2dcc9447af5702b6288551695f8ffc326769dc6db10b7a759932f871a8f","timezone":"Europe/Berlin"},"rulesApplied":["urn:de:corpus:clir:bgb-schuldrecht-at#UnmoeglichkeitSchliesstDenLeistungsanspruchAus","urn:de:corpus:clir:bgb-schuldrecht-at#WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht"]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:f15f5924e6477ba2ee46762ae3eddebeca505cfb73142af065f33c8eaf9e62f0\",\"calendarSnapshot\":\"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT\",\"caseHash\":\"sha256:4544a573bd2d1a6d9a6b498aae3e70fe6fb5ab8a47b6280975b1e4a18e9c381c\",\"decisionTime\":\"2026-09-20T09:00:00Z\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-20T09:00:00Z\",\"legalTime\":\"2026-09-20\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:533c89bb52acb74bb8b0e85a41dde3849026fb13a5762b6cc7de930451683038\",\"semantics\":\"law.core/0.2.1\",\"theoryHash\":\"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b\",\"timezone\":\"Europe/Berlin\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung\"},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich\"},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_unmoeglich\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen\"},\"evidence\":[],\"id\":\"urn:proof:apply:UnmoeglichkeitSchliesstDenLeistungsanspruchAus:f9cf51e6ae667042b6bec0726e59496299c4c6d296b551a5a1b16c542f20c924\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich\"],\"rule\":\"urn:de:corpus:clir:bgb-schuldrecht-at#UnmoeglichkeitSchliesstDenLeistungsanspruchAus\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag\"},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt\"},\"evidence\":[],\"id\":\"urn:proof:apply:WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht:0f5eedb07579377c6f5a2b4feb93e3004dce69b16379c2f8d7b709b05a637b78\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:UnmoeglichkeitSchliesstDenLeistungsanspruchAus:f9cf51e6ae667042b6bec0726e59496299c4c6d296b551a5a1b16c542f20c924\",\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung\",\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag\"],\"rule\":\"urn:de:corpus:clir:bgb-schuldrecht-at#WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/leistungsanspruch-ausgeschlossen\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:UnmoeglichkeitSchliesstDenLeistungsanspruchAus:f9cf51e6ae667042b6bec0726e59496299c4c6d296b551a5a1b16c542f20c924\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:40f8124c82563f609122018f0b07956b5e7d09276a09131fda9d6745c9e5f4c5\",\"roots\":[\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/leistungsanspruch-ausgeschlossen\"]},\"resultHash\":\"sha256:1385f2dcc9447af5702b6288551695f8ffc326769dc6db10b7a759932f871a8f\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/leistungsanspruch-ausgeschlossen\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/leistungsanspruch-ausgeschlossen\",\"query\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/leistungsanspruch-ausgeschlossen\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:e0b731712bbd8a559f09ffde6786ca8007d36ade2cfed813f9c92da866334f16","request":{"case":{"assertions":[{"contentHash":"sha256:08afb1e9a64a0e16689f5ec3f5a363ff8001484f1dd5e8d9ca5e120ecafc066b","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"},"origin":"case_input","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"},{"contentHash":"sha256:8502293b5ca23737f8793b32e42cb61cd5243a515ee38edafea9ef434a8557fb","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"},{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"},"origin":"case_input","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"},{"contentHash":"sha256:95cbc9dbf759491a7ba3a54d97fe47f6a50d569e1d968b2c838ee9d6e4ed8978","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_unmoeglich"},"origin":"adjudicated","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"}],"constants":{"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l":{"id":"urn:de:bgb:g14:l","kind":"entity_ref"},"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v":{"id":"urn:de:bgb:g14:v","kind":"entity_ref"}},"context":{"deadlinePolicy":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#BGB_RECHTSBEHELFE_KALENDER","decisionTime":"2026-09-20T09:00:00Z","knowledgeTime":"2026-09-20T09:00:00Z","legalTime":"2026-09-20","timezone":"Europe/Berlin"},"options":{"calendarSnapshot":"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT"}},"ir":{"irSha256":"sha256:b2cfb82ac0304e3eaf081e55ce063538338233507e12a3cc8d8cdba7acb01828","kind":"world_ref","nodeCount":4019,"packages":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at","semanticHash":"sha256:8c030a1751d42bf3e0bd12820951d0af35dabd30cf55d17c2946594432c79ace"}],"programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen"},"queryId":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/leistungsanspruch-ausgeschlossen"},"semanticVersion":"0.2.1"},"requestCanonicalSha256":"sha256:86928328aa92c0cac758bd24fbba349dc968bc987028760cd5fd33b03ea3d1c8","verification":{"matched":true,"method":"law ask: attentes du texte, Rust = Python = rejeu"}},"id":"basis-ausgeschlossen","kind":"truth","label":"Embargo: der Leistungsanspruch ist ausgeschlossen","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:86928328aa92c0cac758bd24fbba349dc968bc987028760cd5fd33b03ea3d1c8"},"steps":[{"assertionOrigin":"adjudicated","conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_unmoeglich"},"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich","kind":"assertion","originStatus":"available","premises":[],"trust":"external"},{"conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen"},"id":"urn:proof:apply:UnmoeglichkeitSchliesstDenLeistungsanspruchAus:f9cf51e6ae667042b6bec0726e59496299c4c6d296b551a5a1b16c542f20c924","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich"],"rule":"urn:de:corpus:clir:bgb-schuldrecht-at#UnmoeglichkeitSchliesstDenLeistungsanspruchAus","sourceAnchors":["urn:de:corpus:clir:bgb-schuldrecht-at#BGB_P275"],"strength":"strict","substitution":{"v0":{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/leistungsanspruch-ausgeschlossen","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:UnmoeglichkeitSchliesstDenLeistungsanspruchAus:f9cf51e6ae667042b6bec0726e59496299c4c6d296b551a5a1b16c542f20c924"],"trust":"engine"}],"symbols":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung","kind":"type_decl","labels":[{"language":"de","status":"official","text":"Leistung, die der Gläubiger kraft des Schuldverhältnisses fordern kann (§ 241 Abs. 1)"},{"language":"en","status":"unofficial","text":"performance which the creditor may demand under the obligation (§ 241 (1))"}],"name":"Leistung","package":"urn:de:corpus:clir:bgb-schuldrecht-at"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#UnmoeglichkeitSchliesstDenLeistungsanspruchAus","kind":"rule","labels":[{"language":"de","status":"official","text":"Der Anspruch auf Leistung ist ausgeschlossen, soweit diese für den Schuldner oder für jedermann unmöglich ist (§ 275 Abs. 1); die Rechte des Gläubigers bestimmen sich nach den §§ 280, 283 bis 285, 311a und 326 (Abs. 4)"},{"language":"en","status":"unofficial","text":"The claim to performance is excluded to the extent that performance is impossible for the debtor or for anyone (§ 275 (1)); the creditor's rights follow §§ 280, 283 to 285, 311a and 326 ((4))"}],"package":"urn:de:corpus:clir:bgb-schuldrecht-at","strength":"strict"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag","kind":"type_decl","labels":[{"language":"de","status":"official","text":"Vertrag als Schuldverhältnis (§ 311 Abs. 1)"},{"language":"en","status":"unofficial","text":"contract as an obligation (§ 311 (1))"}],"name":"Vertrag","package":"urn:de:corpus:clir:bgb-schuldrecht-at"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht","kind":"rule","labels":[{"language":"de","status":"official","text":"Braucht der Schuldner nach § 275 Abs. 1 bis 3 nicht zu leisten, entfällt der Anspruch auf die Gegenleistung (§ 326 Abs. 1 Satz 1)"},{"language":"en","status":"unofficial","text":"Where the debtor need not perform under § 275 (1) to (3), the claim to the counter-performance lapses (§ 326 (1) sentence 1)"}],"package":"urn:de:corpus:clir:bgb-schuldrecht-at","strength":"strict"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Braucht der Schuldner nach § 275 Abs. 1 bis 3 nicht zu leisten, entfällt der Anspruch auf die Gegenleistung (§ 326 Abs. 1 Satz 1)"},{"language":"en","status":"unofficial","text":"where the debtor need not perform under § 275 (1) to (3), the claim to the counter-performance lapses (§ 326 (1) sentence 1)"}],"name":"anspruch_auf_die_gegenleistung_entfaellt","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt/arg/v","labels":[],"name":"v","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt/arg/l","labels":[],"name":"l","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Der Vertrag ist ein gegenseitiger Vertrag (§§ 320 ff.)"},{"language":"en","status":"unofficial","text":"the contract is a synallagmatic contract (§§ 320 et seq.)"}],"name":"gegenseitiger_vertrag","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag/arg/v","labels":[],"name":"v","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Leistung, die aus dem Schuldverhältnis geschuldet wird (§ 241 Abs. 1)"},{"language":"en","status":"unofficial","text":"performance owed under the obligation (§ 241 (1))"}],"name":"leistung_aus_schuldverhaeltnis","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis/arg/l","labels":[],"name":"l","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis/arg/s","labels":[],"name":"s","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Schuldverhaeltnis"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_unmoeglich","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Die Leistung ist von Anfang an unmöglich oder wird später unmöglich (§ 265 Satz 1, § 275 Abs. 1)"},{"language":"en","status":"unofficial","text":"performance is impossible from the outset or becomes impossible later (§ 265 sentence 1, § 275 (1))"}],"name":"leistung_unmoeglich","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_unmoeglich/arg/l","labels":[],"name":"l","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Der Anspruch auf Leistung ist ausgeschlossen, soweit diese für den Schuldner oder für jedermann unmöglich ist (§ 275 Abs. 1)"},{"language":"en","status":"unofficial","text":"the claim to performance is excluded to the extent that performance is impossible for the debtor or for anyone (§ 275 (1))"}],"name":"leistungsanspruch_ausgeschlossen","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen/arg/l","labels":[],"name":"l","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}}],"symbolKind":"relation"}]},"provenance":{"acts":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at"}],"caseHash":"sha256:4544a573bd2d1a6d9a6b498aae3e70fe6fb5ab8a47b6280975b1e4a18e9c381c","jurisdiction":"Deutschland","legalTime":"2026-09-20","mode":"audit","programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resultHash":"sha256:1385f2dcc9447af5702b6288551695f8ffc326769dc6db10b7a759932f871a8f","timezone":"Europe/Berlin"},"request":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"facts":[{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"negated":false,"origin":"case_input","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"},{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"},{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"negated":false,"origin":"case_input","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"},{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"}],"negated":false,"origin":"adjudicated","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_unmoeglich"}],"kind":"truth","legalTime":"2026-09-20","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen"},"sources":[{"contentHash":"sha256:f1a15148cbf889949856c675060aead3a7d0607f1e392e1e04925417cd3c35cc","edition":"urn:de:corpus:clir:bgb-schuldrecht-at#BGB_KONSOLIDIERT","fragmentKind":"article","id":"urn:de:corpus:clir:bgb-schuldrecht-at#BGB_P275","kind":"fragment","labels":[{"language":"de","status":"official","text":"§ 275 Ausschluss der Leistungspflicht"}],"locator":"paragraph/275","package":"urn:de:corpus:clir:bgb-schuldrecht-at","texts":[{"contentHash":"sha256:e2886452d7c1518510d3aaed736f18928ce550da2190ba96b3a0897e38bb79c1","language":"de","status":"official","text":"§ 275 Ausschluss der Leistungspflicht\n(1) Der Anspruch auf Leistung ist ausgeschlossen, soweit diese für den Schuldner oder für jedermann unmöglich ist.\n(2) Der Schuldner kann die Leistung verweigern, soweit diese einen Aufwand erfordert, der unter Beachtung des Inhalts des Schuldverhältnisses und der Gebote von Treu und Glauben in einem groben Missverhältnis zu dem Leistungsinteresse des Gläubigers steht. Bei der Bestimmung der dem Schuldner zuzumutenden Anstrengungen ist auch zu berücksichtigen, ob der Schuldner das Leistungshindernis zu vertreten hat.\n(3) Der Schuldner kann die Leistung ferner verweigern, wenn er die Leistung persönlich zu erbringen hat und sie ihm unter Abwägung des seiner Leistung entgegenstehenden Hindernisses mit dem Leistungsinteresse des Gläubigers nicht zugemutet werden kann.\n(4) Die Rechte des Gläubigers bestimmen sich nach den §§ 280, 283 bis 285, 311a und 326.\nAmtlicher Hinweis:\nDiese Vorschrift dient auch der Umsetzung der Richtlinie 1999/44/EG des Europäischen Parlaments und des Rates vom 25. Mai 1999 zu bestimmten Aspekten des Verbrauchsgüterkaufs und der Garantien für Verbrauchsgüter (ABl. EG Nr. L 171 S. 12).\n"}],"visibility":"public"},{"contentHash":"sha256:afda7de2d017625d2b975dd4c55c5f2e08167d1087f362b299ce169e6c2440ed","edition":"urn:de:corpus:clir:bgb-schuldrecht-at#BGB_KONSOLIDIERT","fragmentKind":"article","id":"urn:de:corpus:clir:bgb-schuldrecht-at#BGB_P326","kind":"fragment","labels":[{"language":"de","status":"official","text":"§ 326 Befreiung von der Gegenleistung und Rücktritt beim Ausschluss der Leistungspflicht"}],"locator":"paragraph/326","package":"urn:de:corpus:clir:bgb-schuldrecht-at","texts":[{"contentHash":"sha256:e7811c069d23af244b745de264da9b1a51a9ec073b65fea27aebeb2b8622e7f8","language":"de","status":"official","text":"§ 326 Befreiung von der Gegenleistung und Rücktritt beim Ausschluss der Leistungspflicht\n(1) Braucht der Schuldner nach § 275 Abs. 1 bis 3 nicht zu leisten, entfällt der Anspruch auf die Gegenleistung; bei einer Teilleistung findet § 441 Abs. 3 entsprechende Anwendung. Satz 1 gilt nicht, wenn der Schuldner im Falle der nicht vertragsgemäßen Leistung die Nacherfüllung nach § 275 Abs. 1 bis 3 nicht zu erbringen braucht.\n(2) Ist der Gläubiger für den Umstand, auf Grund dessen der Schuldner nach § 275 Abs. 1 bis 3 nicht zu leisten braucht, allein oder weit überwiegend verantwortlich oder tritt dieser vom Schuldner nicht zu vertretende Umstand zu einer Zeit ein, zu welcher der Gläubiger im Verzug der Annahme ist, so behält der Schuldner den Anspruch auf die Gegenleistung. Er muss sich jedoch dasjenige anrechnen lassen, was er infolge der Befreiung von der Leistung erspart oder durch anderweitige Verwendung seiner Arbeitskraft erwirbt oder zu erwerben böswillig unterlässt.\n(3) Verlangt der Gläubiger nach § 285 Herausgabe des für den geschuldeten Gegenstand erlangten Ersatzes oder Abtretung des Ersatzanspruchs, so bleibt er zur Gegenleistung verpflichtet. Diese mindert sich jedoch nach Maßgabe des § 441 Abs. 3 insoweit, als der Wert des Ersatzes oder des Ersatzanspruchs hinter dem Wert der geschuldeten Leistung zurückbleibt.\n(4) Soweit die nach dieser Vorschrift nicht geschuldete Gegenleistung bewirkt ist, kann das Geleistete nach den §§ 346 bis 348 zurückgefordert werden.\n(5) Braucht der Schuldner nach § 275 Abs. 1 bis 3 nicht zu leisten, kann der Gläubiger zurücktreten; auf den Rücktritt findet § 323 mit der Maßgabe entsprechende Anwendung, dass die Fristsetzung entbehrlich ist.\nAmtlicher Hinweis:\nDiese Vorschrift dient auch der Umsetzung der Richtlinie 1999/44/EG des Europäischen Parlaments und des Rates vom 25. Mai 1999 zu bestimmten Aspekten des Verbrauchsgüterkaufs und der Garantien für Verbrauchsgüter (ABl. EG Nr. L 171 S. 12).\n"}],"visibility":"public"}],"text":"Embargo: der Leistungsanspruch ist ausgeschlossen"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","missingInputs":[],"truthStatus":"TRUE_ONLY"},"evaluation":{"conflicts":[],"issues":[],"manifest":{"artifactHash":"sha256:f15f5924e6477ba2ee46762ae3eddebeca505cfb73142af065f33c8eaf9e62f0","calendarSnapshot":"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT","caseHash":"sha256:4544a573bd2d1a6d9a6b498aae3e70fe6fb5ab8a47b6280975b1e4a18e9c381c","decisionTime":"2026-09-20T09:00:00Z","evidenceSnapshotHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","externalSnapshots":{},"id":"urn:manifest:oracle-1","interpretations":[],"knowledgeTime":"2026-09-20T09:00:00Z","legalTime":"2026-09-20","lockfileHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","mode":"audit","policies":{},"programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resolvedEditions":{},"semanticHash":"sha256:533c89bb52acb74bb8b0e85a41dde3849026fb13a5762b6cc7de930451683038","semantics":"law.core/0.2.1","theoryHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","timezone":"Europe/Berlin"},"positions":[],"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung"},"conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"},{"id":"urn:de:bgb:g14:v","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"},"evidence":[],"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich"},"conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_unmoeglich"},"evidence":[],"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen"},"evidence":[],"id":"urn:proof:apply:UnmoeglichkeitSchliesstDenLeistungsanspruchAus:f9cf51e6ae667042b6bec0726e59496299c4c6d296b551a5a1b16c542f20c924","kind":"rule_application","premises":["urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich"],"rule":"urn:de:corpus:clir:bgb-schuldrecht-at#UnmoeglichkeitSchliesstDenLeistungsanspruchAus","sourceAnchors":[],"substitution":{"v0":{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag"},"conclusion":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"},"evidence":[],"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt"},"evidence":[],"id":"urn:proof:apply:WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht:0f5eedb07579377c6f5a2b4feb93e3004dce69b16379c2f8d7b709b05a637b78","kind":"rule_application","premises":["urn:proof:apply:UnmoeglichkeitSchliesstDenLeistungsanspruchAus:f9cf51e6ae667042b6bec0726e59496299c4c6d296b551a5a1b16c542f20c924","urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung","urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag"],"rule":"urn:de:corpus:clir:bgb-schuldrecht-at#WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht","sourceAnchors":[],"substitution":{"v0":{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},"v1":{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/gegenleistung-entfaellt","kind":"query_evaluation","premises":["urn:proof:apply:WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht:0f5eedb07579377c6f5a2b4feb93e3004dce69b16379c2f8d7b709b05a637b78"],"sourceAnchors":[]}],"proofHash":"sha256:38983af47967c0c6d4cbb183e8895b69a099eeccfaa239348e5ecec768277158","roots":["urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/gegenleistung-entfaellt"]},"resultHash":"sha256:9abc5e2666514d8c1c216587a1b0c851881b76fd62d411a48c66823b07156c74","results":[{"conflicts":[],"evaluationStatus":"COMPUTED","evidence":[],"id":"urn:result:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/gegenleistung-entfaellt","judgmentRequests":[],"manifest":"urn:manifest:oracle-1","missingInputs":[],"normativeStatusSupports":[],"proof":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/gegenleistung-entfaellt","query":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/gegenleistung-entfaellt","resultKind":"PROPOSITION","sourceAnchors":[],"target":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt","truthStatus":"TRUE_ONLY"}],"schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/gegenleistung-entfaellt","provenance":{"acts":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at"}],"caseHash":"sha256:4544a573bd2d1a6d9a6b498aae3e70fe6fb5ab8a47b6280975b1e4a18e9c381c","jurisdiction":"Deutschland","legalTime":"2026-09-20","mode":"audit","programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resultHash":"sha256:9abc5e2666514d8c1c216587a1b0c851881b76fd62d411a48c66823b07156c74","timezone":"Europe/Berlin"},"rulesApplied":["urn:de:corpus:clir:bgb-schuldrecht-at#UnmoeglichkeitSchliesstDenLeistungsanspruchAus","urn:de:corpus:clir:bgb-schuldrecht-at#WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht"]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:f15f5924e6477ba2ee46762ae3eddebeca505cfb73142af065f33c8eaf9e62f0\",\"calendarSnapshot\":\"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT\",\"caseHash\":\"sha256:4544a573bd2d1a6d9a6b498aae3e70fe6fb5ab8a47b6280975b1e4a18e9c381c\",\"decisionTime\":\"2026-09-20T09:00:00Z\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-20T09:00:00Z\",\"legalTime\":\"2026-09-20\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:533c89bb52acb74bb8b0e85a41dde3849026fb13a5762b6cc7de930451683038\",\"semantics\":\"law.core/0.2.1\",\"theoryHash\":\"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b\",\"timezone\":\"Europe/Berlin\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung\"},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich\"},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_unmoeglich\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen\"},\"evidence\":[],\"id\":\"urn:proof:apply:UnmoeglichkeitSchliesstDenLeistungsanspruchAus:f9cf51e6ae667042b6bec0726e59496299c4c6d296b551a5a1b16c542f20c924\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich\"],\"rule\":\"urn:de:corpus:clir:bgb-schuldrecht-at#UnmoeglichkeitSchliesstDenLeistungsanspruchAus\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag\"},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt\"},\"evidence\":[],\"id\":\"urn:proof:apply:WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht:0f5eedb07579377c6f5a2b4feb93e3004dce69b16379c2f8d7b709b05a637b78\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:UnmoeglichkeitSchliesstDenLeistungsanspruchAus:f9cf51e6ae667042b6bec0726e59496299c4c6d296b551a5a1b16c542f20c924\",\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung\",\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag\"],\"rule\":\"urn:de:corpus:clir:bgb-schuldrecht-at#WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:de:bgb:g14:v\",\"kind\":\"entity_ref\"},{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/gegenleistung-entfaellt\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht:0f5eedb07579377c6f5a2b4feb93e3004dce69b16379c2f8d7b709b05a637b78\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:38983af47967c0c6d4cbb183e8895b69a099eeccfaa239348e5ecec768277158\",\"roots\":[\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/gegenleistung-entfaellt\"]},\"resultHash\":\"sha256:9abc5e2666514d8c1c216587a1b0c851881b76fd62d411a48c66823b07156c74\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/gegenleistung-entfaellt\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/gegenleistung-entfaellt\",\"query\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/gegenleistung-entfaellt\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:901303ea65bd7148fdb49b4b3041e352833a04659b986050e685815b9efc82b3","request":{"case":{"assertions":[{"contentHash":"sha256:08afb1e9a64a0e16689f5ec3f5a363ff8001484f1dd5e8d9ca5e120ecafc066b","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"},"origin":"case_input","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"},{"contentHash":"sha256:8502293b5ca23737f8793b32e42cb61cd5243a515ee38edafea9ef434a8557fb","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"},{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"},"origin":"case_input","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"},{"contentHash":"sha256:95cbc9dbf759491a7ba3a54d97fe47f6a50d569e1d968b2c838ee9d6e4ed8978","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_unmoeglich"},"origin":"adjudicated","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"}],"constants":{"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l":{"id":"urn:de:bgb:g14:l","kind":"entity_ref"},"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v":{"id":"urn:de:bgb:g14:v","kind":"entity_ref"}},"context":{"deadlinePolicy":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#BGB_RECHTSBEHELFE_KALENDER","decisionTime":"2026-09-20T09:00:00Z","knowledgeTime":"2026-09-20T09:00:00Z","legalTime":"2026-09-20","timezone":"Europe/Berlin"},"options":{"calendarSnapshot":"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT"}},"ir":{"irSha256":"sha256:b2cfb82ac0304e3eaf081e55ce063538338233507e12a3cc8d8cdba7acb01828","kind":"world_ref","nodeCount":4019,"packages":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at","semanticHash":"sha256:8c030a1751d42bf3e0bd12820951d0af35dabd30cf55d17c2946594432c79ace"}],"programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt"},"queryId":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/gegenleistung-entfaellt"},"semanticVersion":"0.2.1"},"requestCanonicalSha256":"sha256:39740d61c9fc98fc5b9f1b600d4ace0d138a374e198c900242541222a5af5970","verification":{"matched":true,"method":"law ask: attentes du texte, Rust = Python = rejeu"}},"id":"basis-gegenleistung","kind":"truth","label":"Embargo: der Anspruch auf die Gegenleistung entfällt","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:39740d61c9fc98fc5b9f1b600d4ace0d138a374e198c900242541222a5af5970"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"},{"id":"urn:de:bgb:g14:v","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"},"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"adjudicated","conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_unmoeglich"},"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich","kind":"assertion","originStatus":"available","premises":[],"trust":"external"},{"conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen"},"id":"urn:proof:apply:UnmoeglichkeitSchliesstDenLeistungsanspruchAus:f9cf51e6ae667042b6bec0726e59496299c4c6d296b551a5a1b16c542f20c924","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#unmoeglich"],"rule":"urn:de:corpus:clir:bgb-schuldrecht-at#UnmoeglichkeitSchliesstDenLeistungsanspruchAus","sourceAnchors":["urn:de:corpus:clir:bgb-schuldrecht-at#BGB_P275"],"strength":"strict","substitution":{"v0":{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}}]},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"},"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt"},"head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt"},"id":"urn:proof:apply:WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht:0f5eedb07579377c6f5a2b4feb93e3004dce69b16379c2f8d7b709b05a637b78","kind":"rule_application","originStatus":"available","premises":["urn:proof:apply:UnmoeglichkeitSchliesstDenLeistungsanspruchAus:f9cf51e6ae667042b6bec0726e59496299c4c6d296b551a5a1b16c542f20c924","urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung","urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag"],"rule":"urn:de:corpus:clir:bgb-schuldrecht-at#WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht","sourceAnchors":["urn:de:corpus:clir:bgb-schuldrecht-at#BGB_P326"],"strength":"strict","substitution":{"v0":{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},"v1":{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}},{"id":"v1","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/EmbargoUnmoeglich/query/gegenleistung-entfaellt","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht:0f5eedb07579377c6f5a2b4feb93e3004dce69b16379c2f8d7b709b05a637b78"],"trust":"engine"}],"symbols":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung","kind":"type_decl","labels":[{"language":"de","status":"official","text":"Leistung, die der Gläubiger kraft des Schuldverhältnisses fordern kann (§ 241 Abs. 1)"},{"language":"en","status":"unofficial","text":"performance which the creditor may demand under the obligation (§ 241 (1))"}],"name":"Leistung","package":"urn:de:corpus:clir:bgb-schuldrecht-at"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#UnmoeglichkeitSchliesstDenLeistungsanspruchAus","kind":"rule","labels":[{"language":"de","status":"official","text":"Der Anspruch auf Leistung ist ausgeschlossen, soweit diese für den Schuldner oder für jedermann unmöglich ist (§ 275 Abs. 1); die Rechte des Gläubigers bestimmen sich nach den §§ 280, 283 bis 285, 311a und 326 (Abs. 4)"},{"language":"en","status":"unofficial","text":"The claim to performance is excluded to the extent that performance is impossible for the debtor or for anyone (§ 275 (1)); the creditor's rights follow §§ 280, 283 to 285, 311a and 326 ((4))"}],"package":"urn:de:corpus:clir:bgb-schuldrecht-at","strength":"strict"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag","kind":"type_decl","labels":[{"language":"de","status":"official","text":"Vertrag als Schuldverhältnis (§ 311 Abs. 1)"},{"language":"en","status":"unofficial","text":"contract as an obligation (§ 311 (1))"}],"name":"Vertrag","package":"urn:de:corpus:clir:bgb-schuldrecht-at"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#WegfallDerGegenleistungBeiAusschlussDerLeistungspflicht","kind":"rule","labels":[{"language":"de","status":"official","text":"Braucht der Schuldner nach § 275 Abs. 1 bis 3 nicht zu leisten, entfällt der Anspruch auf die Gegenleistung (§ 326 Abs. 1 Satz 1)"},{"language":"en","status":"unofficial","text":"Where the debtor need not perform under § 275 (1) to (3), the claim to the counter-performance lapses (§ 326 (1) sentence 1)"}],"package":"urn:de:corpus:clir:bgb-schuldrecht-at","strength":"strict"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Braucht der Schuldner nach § 275 Abs. 1 bis 3 nicht zu leisten, entfällt der Anspruch auf die Gegenleistung (§ 326 Abs. 1 Satz 1)"},{"language":"en","status":"unofficial","text":"where the debtor need not perform under § 275 (1) to (3), the claim to the counter-performance lapses (§ 326 (1) sentence 1)"}],"name":"anspruch_auf_die_gegenleistung_entfaellt","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt/arg/v","labels":[],"name":"v","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt/arg/l","labels":[],"name":"l","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Der Vertrag ist ein gegenseitiger Vertrag (§§ 320 ff.)"},{"language":"en","status":"unofficial","text":"the contract is a synallagmatic contract (§§ 320 et seq.)"}],"name":"gegenseitiger_vertrag","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag/arg/v","labels":[],"name":"v","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Leistung, die aus dem Schuldverhältnis geschuldet wird (§ 241 Abs. 1)"},{"language":"en","status":"unofficial","text":"performance owed under the obligation (§ 241 (1))"}],"name":"leistung_aus_schuldverhaeltnis","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis/arg/l","labels":[],"name":"l","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis/arg/s","labels":[],"name":"s","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Schuldverhaeltnis"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_unmoeglich","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Die Leistung ist von Anfang an unmöglich oder wird später unmöglich (§ 265 Satz 1, § 275 Abs. 1)"},{"language":"en","status":"unofficial","text":"performance is impossible from the outset or becomes impossible later (§ 265 sentence 1, § 275 (1))"}],"name":"leistung_unmoeglich","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_unmoeglich/arg/l","labels":[],"name":"l","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Der Anspruch auf Leistung ist ausgeschlossen, soweit diese für den Schuldner oder für jedermann unmöglich ist (§ 275 Abs. 1)"},{"language":"en","status":"unofficial","text":"the claim to performance is excluded to the extent that performance is impossible for the debtor or for anyone (§ 275 (1))"}],"name":"leistungsanspruch_ausgeschlossen","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsanspruch_ausgeschlossen/arg/l","labels":[],"name":"l","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}}],"symbolKind":"relation"}]},"provenance":{"acts":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at"}],"caseHash":"sha256:4544a573bd2d1a6d9a6b498aae3e70fe6fb5ab8a47b6280975b1e4a18e9c381c","jurisdiction":"Deutschland","legalTime":"2026-09-20","mode":"audit","programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resultHash":"sha256:9abc5e2666514d8c1c216587a1b0c851881b76fd62d411a48c66823b07156c74","timezone":"Europe/Berlin"},"request":{"args":[{"id":"urn:de:bgb:g14:v","kind":"entity_ref"},{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"facts":[{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"negated":false,"origin":"case_input","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"},{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"},{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"negated":false,"origin":"case_input","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"},{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"}],"negated":false,"origin":"adjudicated","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_unmoeglich"}],"kind":"truth","legalTime":"2026-09-20","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#anspruch_auf_die_gegenleistung_entfaellt"},"sources":[{"contentHash":"sha256:f1a15148cbf889949856c675060aead3a7d0607f1e392e1e04925417cd3c35cc","edition":"urn:de:corpus:clir:bgb-schuldrecht-at#BGB_KONSOLIDIERT","fragmentKind":"article","id":"urn:de:corpus:clir:bgb-schuldrecht-at#BGB_P275","kind":"fragment","labels":[{"language":"de","status":"official","text":"§ 275 Ausschluss der Leistungspflicht"}],"locator":"paragraph/275","package":"urn:de:corpus:clir:bgb-schuldrecht-at","texts":[{"contentHash":"sha256:e2886452d7c1518510d3aaed736f18928ce550da2190ba96b3a0897e38bb79c1","language":"de","status":"official","text":"§ 275 Ausschluss der Leistungspflicht\n(1) Der Anspruch auf Leistung ist ausgeschlossen, soweit diese für den Schuldner oder für jedermann unmöglich ist.\n(2) Der Schuldner kann die Leistung verweigern, soweit diese einen Aufwand erfordert, der unter Beachtung des Inhalts des Schuldverhältnisses und der Gebote von Treu und Glauben in einem groben Missverhältnis zu dem Leistungsinteresse des Gläubigers steht. Bei der Bestimmung der dem Schuldner zuzumutenden Anstrengungen ist auch zu berücksichtigen, ob der Schuldner das Leistungshindernis zu vertreten hat.\n(3) Der Schuldner kann die Leistung ferner verweigern, wenn er die Leistung persönlich zu erbringen hat und sie ihm unter Abwägung des seiner Leistung entgegenstehenden Hindernisses mit dem Leistungsinteresse des Gläubigers nicht zugemutet werden kann.\n(4) Die Rechte des Gläubigers bestimmen sich nach den §§ 280, 283 bis 285, 311a und 326.\nAmtlicher Hinweis:\nDiese Vorschrift dient auch der Umsetzung der Richtlinie 1999/44/EG des Europäischen Parlaments und des Rates vom 25. Mai 1999 zu bestimmten Aspekten des Verbrauchsgüterkaufs und der Garantien für Verbrauchsgüter (ABl. EG Nr. L 171 S. 12).\n"}],"visibility":"public"},{"contentHash":"sha256:afda7de2d017625d2b975dd4c55c5f2e08167d1087f362b299ce169e6c2440ed","edition":"urn:de:corpus:clir:bgb-schuldrecht-at#BGB_KONSOLIDIERT","fragmentKind":"article","id":"urn:de:corpus:clir:bgb-schuldrecht-at#BGB_P326","kind":"fragment","labels":[{"language":"de","status":"official","text":"§ 326 Befreiung von der Gegenleistung und Rücktritt beim Ausschluss der Leistungspflicht"}],"locator":"paragraph/326","package":"urn:de:corpus:clir:bgb-schuldrecht-at","texts":[{"contentHash":"sha256:e7811c069d23af244b745de264da9b1a51a9ec073b65fea27aebeb2b8622e7f8","language":"de","status":"official","text":"§ 326 Befreiung von der Gegenleistung und Rücktritt beim Ausschluss der Leistungspflicht\n(1) Braucht der Schuldner nach § 275 Abs. 1 bis 3 nicht zu leisten, entfällt der Anspruch auf die Gegenleistung; bei einer Teilleistung findet § 441 Abs. 3 entsprechende Anwendung. Satz 1 gilt nicht, wenn der Schuldner im Falle der nicht vertragsgemäßen Leistung die Nacherfüllung nach § 275 Abs. 1 bis 3 nicht zu erbringen braucht.\n(2) Ist der Gläubiger für den Umstand, auf Grund dessen der Schuldner nach § 275 Abs. 1 bis 3 nicht zu leisten braucht, allein oder weit überwiegend verantwortlich oder tritt dieser vom Schuldner nicht zu vertretende Umstand zu einer Zeit ein, zu welcher der Gläubiger im Verzug der Annahme ist, so behält der Schuldner den Anspruch auf die Gegenleistung. Er muss sich jedoch dasjenige anrechnen lassen, was er infolge der Befreiung von der Leistung erspart oder durch anderweitige Verwendung seiner Arbeitskraft erwirbt oder zu erwerben böswillig unterlässt.\n(3) Verlangt der Gläubiger nach § 285 Herausgabe des für den geschuldeten Gegenstand erlangten Ersatzes oder Abtretung des Ersatzanspruchs, so bleibt er zur Gegenleistung verpflichtet. Diese mindert sich jedoch nach Maßgabe des § 441 Abs. 3 insoweit, als der Wert des Ersatzes oder des Ersatzanspruchs hinter dem Wert der geschuldeten Leistung zurückbleibt.\n(4) Soweit die nach dieser Vorschrift nicht geschuldete Gegenleistung bewirkt ist, kann das Geleistete nach den §§ 346 bis 348 zurückgefordert werden.\n(5) Braucht der Schuldner nach § 275 Abs. 1 bis 3 nicht zu leisten, kann der Gläubiger zurücktreten; auf den Rücktritt findet § 323 mit der Maßgabe entsprechende Anwendung, dass die Fristsetzung entbehrlich ist.\nAmtlicher Hinweis:\nDiese Vorschrift dient auch der Umsetzung der Richtlinie 1999/44/EG des Europäischen Parlaments und des Rates vom 25. Mai 1999 zu bestimmten Aspekten des Verbrauchsgüterkaufs und der Garantien für Verbrauchsgüter (ABl. EG Nr. L 171 S. 12).\n"}],"visibility":"public"}],"text":"Embargo: der Anspruch auf die Gegenleistung entfällt"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","missingInputs":[],"truthStatus":"TRUE_ONLY"},"evaluation":{"conflicts":[],"issues":[],"manifest":{"artifactHash":"sha256:f15f5924e6477ba2ee46762ae3eddebeca505cfb73142af065f33c8eaf9e62f0","calendarSnapshot":"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT","caseHash":"sha256:ec429d3918f86634d2e5aa0b1d090cd3b6b7e7c20f5392605834c55242be8444","decisionTime":"2026-09-20T09:00:00Z","evidenceSnapshotHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","externalSnapshots":{},"id":"urn:manifest:oracle-1","interpretations":[],"knowledgeTime":"2026-09-20T09:00:00Z","legalTime":"2026-09-20","lockfileHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","mode":"audit","policies":{},"programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resolvedEditions":{},"semanticHash":"sha256:72f15eafe7d20e7363e2ac2ed92bace76aa6afa93949e3b52ebe4fadb794c0cb","semantics":"law.core/0.2.1","theoryHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","timezone":"Europe/Berlin"},"positions":[],"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#grob"},"conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#grobes_missverhaeltnis_von_aufwand_und_leistungsinteresse"},"evidence":[],"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#grob","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsverweigerungsrecht"},"evidence":[],"id":"urn:proof:apply:LeistungsverweigerungBeiGrobemMissverhaeltnis:ec837486ef3d8999b0dedd7e56bbc2275788f2c5bccf81446fa013e37906f7ac","kind":"rule_application","premises":["urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#grob"],"rule":"urn:de:corpus:clir:bgb-schuldrecht-at#LeistungsverweigerungBeiGrobemMissverhaeltnis","sourceAnchors":[],"substitution":{"v0":{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsverweigerungsrecht"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/GrobesMissverhaeltnis/query/leistungsverweigerungsrecht","kind":"query_evaluation","premises":["urn:proof:apply:LeistungsverweigerungBeiGrobemMissverhaeltnis:ec837486ef3d8999b0dedd7e56bbc2275788f2c5bccf81446fa013e37906f7ac"],"sourceAnchors":[]}],"proofHash":"sha256:d5c012b77117ab4b7edec0f098cf1ff1644c8c46e7df886093d4240e26ea0794","roots":["urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/GrobesMissverhaeltnis/query/leistungsverweigerungsrecht"]},"resultHash":"sha256:5845bd8ceccea0e66991e65be746bd6887b42a1fd525c4bbfaf1de5f2f356ef9","results":[{"conflicts":[],"evaluationStatus":"COMPUTED","evidence":[],"id":"urn:result:geschaeftsgrundlage-oder-unmoeglichkeit#case/GrobesMissverhaeltnis/query/leistungsverweigerungsrecht","judgmentRequests":[],"manifest":"urn:manifest:oracle-1","missingInputs":[],"normativeStatusSupports":[],"proof":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/GrobesMissverhaeltnis/query/leistungsverweigerungsrecht","query":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/GrobesMissverhaeltnis/query/leistungsverweigerungsrecht","resultKind":"PROPOSITION","sourceAnchors":[],"target":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsverweigerungsrecht","truthStatus":"TRUE_ONLY"}],"schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/GrobesMissverhaeltnis/query/leistungsverweigerungsrecht","provenance":{"acts":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at"}],"caseHash":"sha256:ec429d3918f86634d2e5aa0b1d090cd3b6b7e7c20f5392605834c55242be8444","jurisdiction":"Deutschland","legalTime":"2026-09-20","mode":"audit","programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resultHash":"sha256:5845bd8ceccea0e66991e65be746bd6887b42a1fd525c4bbfaf1de5f2f356ef9","timezone":"Europe/Berlin"},"rulesApplied":["urn:de:corpus:clir:bgb-schuldrecht-at#LeistungsverweigerungBeiGrobemMissverhaeltnis"]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:f15f5924e6477ba2ee46762ae3eddebeca505cfb73142af065f33c8eaf9e62f0\",\"calendarSnapshot\":\"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT\",\"caseHash\":\"sha256:ec429d3918f86634d2e5aa0b1d090cd3b6b7e7c20f5392605834c55242be8444\",\"decisionTime\":\"2026-09-20T09:00:00Z\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-20T09:00:00Z\",\"legalTime\":\"2026-09-20\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:72f15eafe7d20e7363e2ac2ed92bace76aa6afa93949e3b52ebe4fadb794c0cb\",\"semantics\":\"law.core/0.2.1\",\"theoryHash\":\"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b\",\"timezone\":\"Europe/Berlin\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#grob\"},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#grobes_missverhaeltnis_von_aufwand_und_leistungsinteresse\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#grob\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsverweigerungsrecht\"},\"evidence\":[],\"id\":\"urn:proof:apply:LeistungsverweigerungBeiGrobemMissverhaeltnis:ec837486ef3d8999b0dedd7e56bbc2275788f2c5bccf81446fa013e37906f7ac\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#grob\"],\"rule\":\"urn:de:corpus:clir:bgb-schuldrecht-at#LeistungsverweigerungBeiGrobemMissverhaeltnis\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:de:bgb:g14:l\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsverweigerungsrecht\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/GrobesMissverhaeltnis/query/leistungsverweigerungsrecht\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:LeistungsverweigerungBeiGrobemMissverhaeltnis:ec837486ef3d8999b0dedd7e56bbc2275788f2c5bccf81446fa013e37906f7ac\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:d5c012b77117ab4b7edec0f098cf1ff1644c8c46e7df886093d4240e26ea0794\",\"roots\":[\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/GrobesMissverhaeltnis/query/leistungsverweigerungsrecht\"]},\"resultHash\":\"sha256:5845bd8ceccea0e66991e65be746bd6887b42a1fd525c4bbfaf1de5f2f356ef9\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:geschaeftsgrundlage-oder-unmoeglichkeit#case/GrobesMissverhaeltnis/query/leistungsverweigerungsrecht\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/GrobesMissverhaeltnis/query/leistungsverweigerungsrecht\",\"query\":\"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/GrobesMissverhaeltnis/query/leistungsverweigerungsrecht\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsverweigerungsrecht\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:281e97398eacf264d7ca1eb57288c451f74005aee82d8285f52af18396d98ea9","request":{"case":{"assertions":[{"contentHash":"sha256:08afb1e9a64a0e16689f5ec3f5a363ff8001484f1dd5e8d9ca5e120ecafc066b","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#vertrag","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"},"origin":"case_input","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"},{"contentHash":"sha256:8502293b5ca23737f8793b32e42cb61cd5243a515ee38edafea9ef434a8557fb","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#leistung","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"},{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"},"origin":"case_input","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"},{"contentHash":"sha256:c528a53c8bdb18ca8cb5a59625f0ee6a7781ea23925dbd6c9fdad6deb3a823eb","evidence":[],"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#grob","kind":"assertion","literal":{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#grobes_missverhaeltnis_von_aufwand_und_leistungsinteresse"},"origin":"adjudicated","package":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit"}],"constants":{"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l":{"id":"urn:de:bgb:g14:l","kind":"entity_ref"},"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v":{"id":"urn:de:bgb:g14:v","kind":"entity_ref"}},"context":{"deadlinePolicy":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#BGB_RECHTSBEHELFE_KALENDER","decisionTime":"2026-09-20T09:00:00Z","knowledgeTime":"2026-09-20T09:00:00Z","legalTime":"2026-09-20","timezone":"Europe/Berlin"},"options":{"calendarSnapshot":"urn:de:corpus:clir:bgb-fristen#KALENDER_BUNDESWEIT"}},"ir":{"irSha256":"sha256:b2cfb82ac0304e3eaf081e55ce063538338233507e12a3cc8d8cdba7acb01828","kind":"world_ref","nodeCount":4019,"packages":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at","semanticHash":"sha256:8c030a1751d42bf3e0bd12820951d0af35dabd30cf55d17c2946594432c79ace"}],"programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsverweigerungsrecht"},"queryId":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#case/GrobesMissverhaeltnis/query/leistungsverweigerungsrecht"},"semanticVersion":"0.2.1"},"requestCanonicalSha256":"sha256:02cf44599ee8b6ede43e7a8d9b979b5e8f9779ac70e774130071db71b6a9afce","verification":{"matched":true,"method":"law ask: attentes du texte, Rust = Python = rejeu"}},"id":"basis-verweigerung","kind":"truth","label":"Grobes Missverhältnis: das Leistungsverweigerungsrecht ist festgestellt","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:02cf44599ee8b6ede43e7a8d9b979b5e8f9779ac70e774130071db71b6a9afce"},"steps":[{"assertionOrigin":"adjudicated","conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#grobes_missverhaeltnis_von_aufwand_und_leistungsinteresse"},"id":"urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#grob","kind":"assertion","originStatus":"available","premises":[],"trust":"external"},{"conclusion":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsverweigerungsrecht"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsverweigerungsrecht"},"id":"urn:proof:apply:LeistungsverweigerungBeiGrobemMissverhaeltnis:ec837486ef3d8999b0dedd7e56bbc2275788f2c5bccf81446fa013e37906f7ac","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#grob"],"rule":"urn:de:corpus:clir:bgb-schuldrecht-at#LeistungsverweigerungBeiGrobemMissverhaeltnis","sourceAnchors":["urn:de:corpus:clir:bgb-schuldrecht-at#BGB_P275"],"strength":"strict","substitution":{"v0":{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsverweigerungsrecht"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:geschaeftsgrundlage-oder-unmoeglichkeit#case/GrobesMissverhaeltnis/query/leistungsverweigerungsrecht","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:LeistungsverweigerungBeiGrobemMissverhaeltnis:ec837486ef3d8999b0dedd7e56bbc2275788f2c5bccf81446fa013e37906f7ac"],"trust":"engine"}],"symbols":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung","kind":"type_decl","labels":[{"language":"de","status":"official","text":"Leistung, die der Gläubiger kraft des Schuldverhältnisses fordern kann (§ 241 Abs. 1)"},{"language":"en","status":"unofficial","text":"performance which the creditor may demand under the obligation (§ 241 (1))"}],"name":"Leistung","package":"urn:de:corpus:clir:bgb-schuldrecht-at"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#LeistungsverweigerungBeiGrobemMissverhaeltnis","kind":"rule","labels":[{"language":"de","status":"official","text":"Der Schuldner kann die Leistung verweigern, soweit diese einen Aufwand erfordert, der in einem groben Missverhältnis zu dem Leistungsinteresse des Gläubigers steht (§ 275 Abs. 2)"},{"language":"en","status":"unofficial","text":"The debtor may refuse performance to the extent it requires effort grossly disproportionate to the creditor's interest (§ 275 (2))"}],"package":"urn:de:corpus:clir:bgb-schuldrecht-at","strength":"strict"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag","kind":"type_decl","labels":[{"language":"de","status":"official","text":"Vertrag als Schuldverhältnis (§ 311 Abs. 1)"},{"language":"en","status":"unofficial","text":"contract as an obligation (§ 311 (1))"}],"name":"Vertrag","package":"urn:de:corpus:clir:bgb-schuldrecht-at"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Der Vertrag ist ein gegenseitiger Vertrag (§§ 320 ff.)"},{"language":"en","status":"unofficial","text":"the contract is a synallagmatic contract (§§ 320 et seq.)"}],"name":"gegenseitiger_vertrag","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag/arg/v","labels":[],"name":"v","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Vertrag"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#grobes_missverhaeltnis_von_aufwand_und_leistungsinteresse","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"§ 275 Abs. 2. Das Gericht hat festgestellt, dass der Aufwand der Leistung unter Beachtung des Inhalts des Schuldverhältnisses und der Gebote von Treu und Glauben in einem groben Missverhältnis zu dem Leistungsinteresse des Gläubigers steht; dabei ist auch zu berücksichtigen, ob der Schuldner das Leistungshindernis zu vertreten hat (Satz 2)"},{"language":"en","status":"unofficial","text":"§ 275 (2). The court found that the effort required is grossly disproportionate to the creditor's interest in performance, taking into account whether the debtor is responsible for the impediment (sentence 2)"}],"name":"grobes_missverhaeltnis_von_aufwand_und_leistungsinteresse","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#grobes_missverhaeltnis_von_aufwand_und_leistungsinteresse/arg/l","labels":[],"name":"l","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Leistung, die aus dem Schuldverhältnis geschuldet wird (§ 241 Abs. 1)"},{"language":"en","status":"unofficial","text":"performance owed under the obligation (§ 241 (1))"}],"name":"leistung_aus_schuldverhaeltnis","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis/arg/l","labels":[],"name":"l","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis/arg/s","labels":[],"name":"s","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Schuldverhaeltnis"}}],"symbolKind":"relation"},{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsverweigerungsrecht","kind":"symbol_decl","labels":[{"language":"de","status":"official","text":"Der Schuldner kann die Leistung verweigern (§ 275 Abs. 2, 3)"},{"language":"en","status":"unofficial","text":"the debtor may refuse performance (§ 275 (2), (3))"}],"name":"leistungsverweigerungsrecht","package":"urn:de:corpus:clir:bgb-schuldrecht-at","parameters":[{"id":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsverweigerungsrecht/arg/l","labels":[],"name":"l","type":{"name":"urn:de:corpus:clir:bgb-schuldrecht-at#Leistung"}}],"symbolKind":"relation"}]},"provenance":{"acts":[{"artifactHash":"sha256:3e415cfbb005af104410980a4dbc3f7f2593333ebf03512988c48bd9a3a74299","namespace":"urn:de:corpus:clir:bgb-schuldrecht-at","package":"de.bgb.schuldrecht_at"}],"caseHash":"sha256:ec429d3918f86634d2e5aa0b1d090cd3b6b7e7c20f5392605834c55242be8444","jurisdiction":"Deutschland","legalTime":"2026-09-20","mode":"audit","programHash":"sha256:feab424215f3d708a75b49585b50104d0be1016fb1f8a571ef479f84e9b5330b","resultHash":"sha256:5845bd8ceccea0e66991e65be746bd6887b42a1fd525c4bbfaf1de5f2f356ef9","timezone":"Europe/Berlin"},"request":{"args":[{"id":"urn:de:bgb:g14:l","kind":"entity_ref"}],"facts":[{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"negated":false,"origin":"case_input","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#gegenseitiger_vertrag"},{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"},{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#v","kind":"const_ref"}],"negated":false,"origin":"case_input","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistung_aus_schuldverhaeltnis"},{"args":[{"id":"urn:law:examples:de:bgb:schuldrecht-at:geschaeftsgrundlage-oder-unmoeglichkeit#l","kind":"const_ref"}],"negated":false,"origin":"adjudicated","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#grobes_missverhaeltnis_von_aufwand_und_leistungsinteresse"}],"kind":"truth","legalTime":"2026-09-20","predicate":"urn:de:corpus:clir:bgb-schuldrecht-at#leistungsverweigerungsrecht"},"sources":[{"contentHash":"sha256:f1a15148cbf889949856c675060aead3a7d0607f1e392e1e04925417cd3c35cc","edition":"urn:de:corpus:clir:bgb-schuldrecht-at#BGB_KONSOLIDIERT","fragmentKind":"article","id":"urn:de:corpus:clir:bgb-schuldrecht-at#BGB_P275","kind":"fragment","labels":[{"language":"de","status":"official","text":"§ 275 Ausschluss der Leistungspflicht"}],"locator":"paragraph/275","package":"urn:de:corpus:clir:bgb-schuldrecht-at","texts":[{"contentHash":"sha256:e2886452d7c1518510d3aaed736f18928ce550da2190ba96b3a0897e38bb79c1","language":"de","status":"official","text":"§ 275 Ausschluss der Leistungspflicht\n(1) Der Anspruch auf Leistung ist ausgeschlossen, soweit diese für den Schuldner oder für jedermann unmöglich ist.\n(2) Der Schuldner kann die Leistung verweigern, soweit diese einen Aufwand erfordert, der unter Beachtung des Inhalts des Schuldverhältnisses und der Gebote von Treu und Glauben in einem groben Missverhältnis zu dem Leistungsinteresse des Gläubigers steht. Bei der Bestimmung der dem Schuldner zuzumutenden Anstrengungen ist auch zu berücksichtigen, ob der Schuldner das Leistungshindernis zu vertreten hat.\n(3) Der Schuldner kann die Leistung ferner verweigern, wenn er die Leistung persönlich zu erbringen hat und sie ihm unter Abwägung des seiner Leistung entgegenstehenden Hindernisses mit dem Leistungsinteresse des Gläubigers nicht zugemutet werden kann.\n(4) Die Rechte des Gläubigers bestimmen sich nach den §§ 280, 283 bis 285, 311a und 326.\nAmtlicher Hinweis:\nDiese Vorschrift dient auch der Umsetzung der Richtlinie 1999/44/EG des Europäischen Parlaments und des Rates vom 25. Mai 1999 zu bestimmten Aspekten des Verbrauchsgüterkaufs und der Garantien für Verbrauchsgüter (ABl. EG Nr. L 171 S. 12).\n"}],"visibility":"public"}],"text":"Grobes Missverhältnis: das Leistungsverweigerungsrecht ist festgestellt"}],"language":"de","question":{"origin":"user","text":"Ein Vertrag nach dem 1. Januar 2002: kann Anpassung nach § 313 verlangt werden, und schließt eine Unmöglichkeit den Leistungsanspruch nach § 275 aus?"},"schemaVersion":"law.answers.document/0.1"}