SynapseLayer

Operome - StGB consolidated, counterfeiting, forgery and common danger (§146 to §323c)
Sixteen sections across the Eighth, Twenty-third and Twenty-eighth Titles: counterfeiting of currency, forgery of documents and the common-danger offences. Objective Tatbestand encoded; intent and purpose elements retained where the markup retains them; penalties, attempts, negligence variants and result aggravations struck.

{Variable} input · [Computable] act / derived · «if … end if» condition · struck excluded · word-for-word dissection; the law is reconstructable from the substrate

§146 · Counterfeiting of currency

CounterfeitingOfCurrency · provenance StGB 146 · (1) whole encoded; (2)-(3) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) A term of imprisonment of not less than one year shall be imposed on anyone who 1. counterfeits money with the intention that it be put into circulation as genuine or that such circulation be facilitated, or falsifies money with this intention in such a way as to give the impression of a higher value, 2. procures or offers for sale counterfeit money with that intention, or 3. puts into circulation as genuine counterfeit money which he has counterfeited, falsified or procured under the circumstances described in points 1 or 2. (2) If the offender acts on a commercial basis or as a member of a gang which has formed for the purpose of continuously committing currency counterfeiting, the penalty shall be imprisonment for a term of not less than two years. (3) In less serious cases under paragraph 1, the penalty shall be imprisonment for a term of three months to five years; in less serious cases under paragraph 2, the penalty shall be imprisonment for a term of one year to ten years.

«if CounterfeitingOfCurrency is true»(1) A term of imprisonment of not less than one year shall be imposed on {Actor} who 1. «if {Counterfeits} is true»counterfeits money «end if» «if {ActsWithCirculationIntention} is true»with the intention that «if {CirculationAsGenuine} is true»it be put into circulation as genuine «end if» «if {CirculationFacilitated} is true»or that such circulation be facilitated «end if» «end if», or «if {Falsifies} is true»falsifies money «end if» with this intention in such a way as to «if {ImpressionOfHigherValue} is true»give the impression of a higher value «end if», 2. «if {Procures} is true»procures «end if» «if {OffersForSale} is true»or offers for sale «end if» «if {CounterfeitMoney} is true»counterfeit money «end if» with that intention, or 3. «if {PutsIntoCirculationAsGenuine} is true»puts into circulation as genuine «end if» «if {CounterfeitMoney} is true»counterfeit money «end if» «if {ObtainedUnderPoints1Or2} is true»which {Actor} has counterfeited, falsified or procured under the circumstances described in points 1 or 2 «end if». (2) If the offender acts on a commercial basis or as a member of a gang which has formed for the purpose of continuously committing currency counterfeiting, the penalty shall be imprisonment for a term of not less than two years. (3) In less serious cases under paragraph 1, the penalty shall be imprisonment for a term of three months to five years; in less serious cases under paragraph 2, the penalty shall be imprisonment for a term of one year to ten years.«end if»

Annexes

Computables

[CirculationIntention] = ActsWithCirculationIntention is true and (CirculationAsGenuine is true or CirculationFacilitated is true) [Leg2] = CounterfeitMoney is true and (Procures is true or OffersForSale is true) and CirculationIntention is true [Leg1] = (Counterfeits is true or (Falsifies is true and ImpressionOfHigherValue is true)) and CirculationIntention is true [Leg3] = CounterfeitMoney is true and PutsIntoCirculationAsGenuine is true and ObtainedUnderPoints1Or2 is true [CounterfeitingOfCurrency] = Leg1 is true or Leg2 is true or Leg3 is true

Business rules

id	kind	actor	verb / predicate	body
CFC-R01	act	Actor		Counterfeits is true
CFC-R02	act	Actor		Falsifies is true
CFC-R03	act	Actor		ActsWithCirculationIntention is true
CFC-R04	condition	None		CirculationAsGenuine is true
CFC-R05	condition	None		CirculationFacilitated is true
CFC-R06	condition	None		ImpressionOfHigherValue is true
CFC-R07	condition	None		CounterfeitMoney is true
CFC-R08	act	Actor		Procures is true
CFC-R09	act	Actor		OffersForSale is true
CFC-R10	act	Actor		PutsIntoCirculationAsGenuine is true
CFC-R11	act	Actor		ObtainedUnderPoints1Or2 is true
CFC-P0	prohibition	Actor	not realise	not CounterfeitingOfCurrency

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
anyone who	Tätersubjekt	{Actor}	—	in scope
{Actor} counterfeits money	Merkmal	{Counterfeits}	CFC-R01	is true
{Actor} falsifies money	Merkmal	{Falsifies}	CFC-R02	is true
{Actor} acts with the intention concerning circulation	Merkmal	{ActsWithCirculationIntention}	CFC-R03	is true
the money is to be put into circulation as genuine	Merkmal	{CirculationAsGenuine}	CFC-R04	is true
such circulation is to be facilitated	Merkmal	{CirculationFacilitated}	CFC-R05	is true
the falsification gives the impression of a higher value	Merkmal	{ImpressionOfHigherValue}	CFC-R06	is true
the money is counterfeit	Merkmal	{CounterfeitMoney}	CFC-R07	is true
{Actor} procures the money	Merkmal	{Procures}	CFC-R08	is true
{Actor} offers the money for sale	Merkmal	{OffersForSale}	CFC-R09	is true
{Actor} puts the money into circulation as genuine	Merkmal	{PutsIntoCirculationAsGenuine}	CFC-R10	is true
{Actor} obtained the money under the circumstances of the preceding points	Merkmal	{ObtainedUnderPoints1Or2}	CFC-R11	is true
(2) commercial/gang aggravation; (3) lesser cases	grading	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{ActsWithCirculationIntention}	Boolean	true / false / unknown	Session	{Actor} acts with the intention concerning circulation
{CirculationAsGenuine}	Boolean	true / false / unknown	Session	the money is to be put into circulation as genuine
{CirculationFacilitated}	Boolean	true / false / unknown	Session	such circulation is to be facilitated
{CounterfeitMoney}	Boolean	true / false / unknown	Session	the money is counterfeit
{Counterfeits}	Boolean	true / false / unknown	Session	{Actor} counterfeits money
{Falsifies}	Boolean	true / false / unknown	Session	{Actor} falsifies money
{ImpressionOfHigherValue}	Boolean	true / false / unknown	Session	the falsification gives the impression of a higher value
{ObtainedUnderPoints1Or2}	Boolean	true / false / unknown	Session	{Actor} obtained the money under the circumstances of the preceding points
{OffersForSale}	Boolean	true / false / unknown	Session	{Actor} offers the money for sale
{Procures}	Boolean	true / false / unknown	Session	{Actor} procures the money
{PutsIntoCirculationAsGenuine}	Boolean	true / false / unknown	Session	{Actor} puts the money into circulation as genuine

Reconstruction from the substrate

Committed by any person (the actor) who: (({Actor} counterfeits money or ({Actor} falsifies money and the falsification gives the impression of a higher value)) and ({Actor} acts with the intention concerning circulation and (the money is to be put into circulation as genuine or such circulation is to be facilitated))) or (the money is counterfeit and ({Actor} procures the money or {Actor} offers the money for sale) and ({Actor} acts with the intention concerning circulation and (the money is to be put into circulation as genuine or such circulation is to be facilitated))) or (the money is counterfeit and {Actor} puts the money into circulation as genuine and {Actor} obtained the money under the circumstances of the preceding points).

Assembled only from the variable surface forms (including the actor) and the computable structure carried in the XSD, not from the source column. It should read as the offence. This is the recoverability test: the law is reverse-derivable from the substrate.

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[CirculationIntention]	ActsWithCirculationIntention, CirculationAsGenuine, CirculationFacilitated	false	Recomputes when any input changes; propagates into the composite.
[Leg2]	CounterfeitMoney, Procures, OffersForSale, CirculationIntention	false	Recomputes when any input changes; propagates into the composite.
[Leg1]	Counterfeits, Falsifies, ImpressionOfHigherValue, CirculationIntention	false	Recomputes when any input changes; propagates into the composite.
[Leg3]	CounterfeitMoney, PutsIntoCirculationAsGenuine, ObtainedUnderPoints1Or2	false	Recomputes when any input changes; propagates into the composite.
[CounterfeitingOfCurrency]	Leg1, Leg2, Leg3	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (CFC-P0)	[CounterfeitingOfCurrency]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ActsWithCirculationIntention} ├─ {CirculationAsGenuine} ├─ {CirculationFacilitated} ├─ {CounterfeitMoney} ├─ {Counterfeits} ├─ {Falsifies} ├─ {ImpressionOfHigherValue} ├─ {ObtainedUnderPoints1Or2} ├─ {OffersForSale} ├─ {Procures} ├─ {PutsIntoCirculationAsGenuine} ↓ PHASE 2: evaluate act / intermediate computables ├─ [CirculationIntention] = ActsWithCirculationIntention is true and (CirculationAsGenuine is true or CirculationFacilitated is true) ├─ [Leg2] = CounterfeitMoney is true and (Procures is true or OffersForSale is true) and CirculationIntention is true ├─ [Leg1] = (Counterfeits is true or (Falsifies is true and ImpressionOfHigherValue is true)) and CirculationIntention is true ├─ [Leg3] = CounterfeitMoney is true and PutsIntoCirculationAsGenuine is true and ObtainedUnderPoints1Or2 is true ↓ PHASE 3: evaluate the objective conditions └─ [CounterfeitingOfCurrency] = Leg1 is true or Leg2 is true or Leg3 is true ↓ VERDICT (PrimeRule) ├─ [CounterfeitingOfCurrency] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [CounterfeitingOfCurrency] is false → not realised

Recursion / re-entry notes

No runtime re-entry. The operome is a single forward evaluation: inputs → act computable(s) → Tatbestand composite → prohibition verdict. Attempt and preparation, where the section provides for them, are separate operomes, not re-entries.

Circularity check

• [CounterfeitingOfCurrency] depends on [CirculationIntention], [Leg2], [Leg1], [Leg3]; none refer back to [CounterfeitingOfCurrency]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{ActsWithCirculationIntention}	Element/Datum: {Actor} acts with the intention concerning circulation.?	Boolean
Q3	Session	{CirculationAsGenuine}	Element/Datum: the money is to be put into circulation as genuine.?	Boolean
Q4	Session	{CirculationFacilitated}	Element/Datum: such circulation is to be facilitated.?	Boolean
Q5	Session	{CounterfeitMoney}	Element/Datum: the money is counterfeit.?	Boolean
Q6	Session	{Counterfeits}	Element/Datum: {Actor} counterfeits money.?	Boolean
Q7	Session	{Falsifies}	Element/Datum: {Actor} falsifies money.?	Boolean
Q8	Session	{ImpressionOfHigherValue}	Element/Datum: the falsification gives the impression of a higher value.?	Boolean
Q9	Session	{ObtainedUnderPoints1Or2}	Element/Datum: {Actor} obtained the money under the circumstances of the preceding points.?	Boolean
Q10	Session	{OffersForSale}	Element/Datum: {Actor} offers the money for sale.?	Boolean
Q11	Session	{Procures}	Element/Datum: {Actor} procures the money.?	Boolean
Q12	Session	{PutsIntoCirculationAsGenuine}	Element/Datum: {Actor} puts the money into circulation as genuine.?	Boolean

Flags

Scope Paragraph 1 whole: the three legs (counterfeiting and falsifying; procuring and offering; putting into circulation) with the circulation intention spanning legs 1 and 2 by the source's own back-references. Struck per the marked-up source: the sanctions head of (1), (2) and (3).

Circulation intention retained (deliberate) “in der Absicht, daß es als echt in Verkehr gebracht oder daß ein solches Inverkehrbringen ermöglicht werde” is live per the markup and the retention criterion: without it, making or holding imitation money is innocuous (props, specimens). The gate {ActsWithCirculationIntention} spans the coordinated objects; “in dieser Absicht” and “mit that intention” in legs 1 and 2 consume the same gate, mirrored in [Leg1] and [Leg2].

Leg 3's predicate {ObtainedUnderPoints1Or2} carries the back-reference to the circumstances of points 1 and 2 as a single status predicate; whether those circumstances obtained resolves against [Leg1] and [Leg2] on the facts.

Sanctions phrase The penalty stands at the head of (1) in this section's drafting; struck per the markup, with “wer” live.

Treatment §146 is Operomise-tagged.

§147 · Putting counterfeit money into circulation

PuttingCounterfeitMoneyIntoCirculation · provenance StGB 147 · (1) encoded with the rule-12 negative; (2) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who, apart from the cases referred to in Section 146, puts counterfeit money into circulation as genuine shall be punished with imprisonment for up to five years or a fine. (2) An attempt is punishable.

«if PuttingCounterfeitMoneyIntoCirculation is true»(1) {Actor} who, «if {CounterfeitingOfCurrency} is false»apart from the cases referred to in Section 146 «end if», «if {PutsIntoCirculationAsGenuine} is true»puts «end if» «if {CounterfeitMoney} is true»counterfeit money «end if» into circulation as genuine shall be punished with imprisonment for up to five years or a fine. (2) An attempt is punishable.«end if»

Annexes

Computables

[PuttingCounterfeitMoneyIntoCirculation] = CounterfeitMoney is true and PutsIntoCirculationAsGenuine is true and CounterfeitingOfCurrency is false

Business rules

id	kind	actor	verb / predicate	body
PCC-R01	condition	None		CounterfeitMoney is true
PCC-R02	act	Actor		PutsIntoCirculationAsGenuine is true
PCC-R12	condition	None	apart from the cases of Section 146 (rule-12 negative; resolves by name against the Section 146 scope)	CounterfeitingOfCurrency is false
PCC-P0	prohibition	Actor	not realise	not PuttingCounterfeitMoneyIntoCirculation

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
the money is counterfeit	Merkmal	{CounterfeitMoney}	PCC-R01	is true
{Actor} puts the money into circulation as genuine	Merkmal	{PutsIntoCirculationAsGenuine}	PCC-R02	is true
the act falls within the cases of Section 146	Merkmal	{CounterfeitingOfCurrency}	PCC-R12	is false
(2) attempt	attempt	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{CounterfeitMoney}	Boolean	true / false / unknown	Session	the money is counterfeit
{CounterfeitingOfCurrency}	Boolean	true / false / unknown	Session	the act falls within the cases of Section 146
{PutsIntoCirculationAsGenuine}	Boolean	true / false / unknown	Session	{Actor} puts the money into circulation as genuine

Reconstruction from the substrate

Committed by any person (the actor) who: the money is counterfeit and {Actor} puts the money into circulation as genuine and not the act falls within the cases of Section 146.

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[PuttingCounterfeitMoneyIntoCirculation]	CounterfeitMoney, PutsIntoCirculationAsGenuine, CounterfeitingOfCurrency	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (PCC-P0)	[PuttingCounterfeitMoneyIntoCirculation]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {CounterfeitMoney} ├─ {CounterfeitingOfCurrency} ├─ {PutsIntoCirculationAsGenuine} ↓ PHASE 2: evaluate act / intermediate computables ↓ PHASE 3: evaluate the objective conditions └─ [PuttingCounterfeitMoneyIntoCirculation] = CounterfeitMoney is true and PutsIntoCirculationAsGenuine is true and CounterfeitingOfCurrency is false ↓ VERDICT (PrimeRule) ├─ [PuttingCounterfeitMoneyIntoCirculation] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [PuttingCounterfeitMoneyIntoCirculation] is false → not realised

Recursion / re-entry notes

Circularity check

• [PuttingCounterfeitMoneyIntoCirculation] depends on ; none refer back to [PuttingCounterfeitMoneyIntoCirculation]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{CounterfeitMoney}	Element/Datum: the money is counterfeit.?	Boolean
Q3	Session	{CounterfeitingOfCurrency}	Element/Datum: the act falls within the cases of Section 146.?	Boolean
Q4	Session	{PutsIntoCirculationAsGenuine}	Element/Datum: {Actor} puts the money into circulation as genuine.?	Boolean

Flags

Scope Paragraph 1's residual circulation offence. Struck per the marked-up source: (2) attempt.

Live negative reference (rule-12) “abgesehen von den Fällen des § 146” is live and encoded as the rule-12 negative {CounterfeitingOfCurrency} is false, resolving by name against the §146 scope in this document, the same pattern as §233(5)'s live subsidiarity.

Treatment §147 is Operomise-tagged.

§267 · Forgery of documents

ForgeryOfDocuments · provenance StGB 267 · (1) encoded; (2)-(4) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who, for the purpose of deception in legal transactions, produces a false document, falsifies a genuine document or uses a false or falsified document shall be punished with imprisonment for up to five years or a fine. (2) An attempt is punishable. (3) In particularly serious cases, the penalty shall be imprisonment for a term of six months to ten years. A particularly serious case generally exists where the offender 1. acts professionally or as a member of a gang which has formed for the purpose of continuously committing fraud or forgery, 2. causes a substantial financial loss, 3. substantially endangers the security of legal transactions through a large number of false or falsified documents, or 4. abuses his powers or his position as a public official or European public official. (4) A person who commits forgery on a commercial basis as a member of a gang which has formed for the purpose of continuously committing offences under Sections 263 to 264 or 267 to 269 shall be punished with imprisonment for a term of one to ten years; in less serious cases, with imprisonment for a term of six months to five years.

«if ForgeryOfDocuments is true»(1) {Actor} who, «if {ActsToDeceiveInLegalTransactions} is true»for the purpose of deception in legal transactions «end if», «if {ProducesFalseDocument} is true»produces a false document «end if», «if {FalsifiesGenuineDocument} is true»falsifies a genuine document «end if» or «if {UsesDocument} is true»uses «end if» «if {FalseDocument} is true»a false «end if» «if {FalsifiedDocument} is true»or falsified «end if» document shall be punished with imprisonment for up to five years or a fine. (2) An attempt is punishable. (3) In particularly serious cases, the penalty shall be imprisonment for a term of six months to ten years. A particularly serious case generally exists where the offender 1. acts professionally or as a member of a gang which has formed for the purpose of continuously committing fraud or forgery, 2. causes a substantial financial loss, 3. substantially endangers the security of legal transactions through a large number of false or falsified documents, or 4. abuses his powers or his position as a public official or European public official. (4) A person who commits forgery on a commercial basis as a member of a gang which has formed for the purpose of continuously committing offences under Sections 263 to 264 or 267 to 269 shall be punished with imprisonment for a term of one to ten years; in less serious cases, with imprisonment for a term of six months to five years.«end if»

Annexes

Computables

[UseLeg] = UsesDocument is true and (FalseDocument is true or FalsifiedDocument is true) [ForgeryConduct] = ProducesFalseDocument is true or FalsifiesGenuineDocument is true or UseLeg is true [ForgeryOfDocuments] = ActsToDeceiveInLegalTransactions is true and ForgeryConduct is true

Business rules

id	kind	actor	verb / predicate	body
FOD-R01	act	Actor		ActsToDeceiveInLegalTransactions is true
FOD-R02	act	Actor		ProducesFalseDocument is true
FOD-R03	act	Actor		FalsifiesGenuineDocument is true
FOD-R04	act	Actor		UsesDocument is true
FOD-R05	condition	None		FalseDocument is true
FOD-R06	condition	None		FalsifiedDocument is true
FOD-P0	prohibition	Actor	not realise	not ForgeryOfDocuments

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
{Actor} acts for the purpose of deception in legal transactions	Merkmal	{ActsToDeceiveInLegalTransactions}	FOD-R01	is true
{Actor} produces a false document	Merkmal	{ProducesFalseDocument}	FOD-R02	is true
{Actor} falsifies a genuine document	Merkmal	{FalsifiesGenuineDocument}	FOD-R03	is true
{Actor} uses the document	Merkmal	{UsesDocument}	FOD-R04	is true
the document is false	Merkmal	{FalseDocument}	FOD-R05	is true
the document is falsified	Merkmal	{FalsifiedDocument}	FOD-R06	is true
(2) attempt; (3) serious cases; (4) gang variant	attempt / grading	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{ActsToDeceiveInLegalTransactions}	Boolean	true / false / unknown	Session	{Actor} acts for the purpose of deception in legal transactions
{FalseDocument}	Boolean	true / false / unknown	Session	the document is false
{FalsifiedDocument}	Boolean	true / false / unknown	Session	the document is falsified
{FalsifiesGenuineDocument}	Boolean	true / false / unknown	Session	{Actor} falsifies a genuine document
{ProducesFalseDocument}	Boolean	true / false / unknown	Session	{Actor} produces a false document
{UsesDocument}	Boolean	true / false / unknown	Session	{Actor} uses the document

Reconstruction from the substrate

Committed by any person (the actor) who: {Actor} acts for the purpose of deception in legal transactions and ({Actor} produces a false document or {Actor} falsifies a genuine document or ({Actor} uses the document and (the document is false or the document is falsified))).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[UseLeg]	UsesDocument, FalseDocument, FalsifiedDocument	false	Recomputes when any input changes; propagates into the composite.
[ForgeryConduct]	ProducesFalseDocument, FalsifiesGenuineDocument, UseLeg	false	Recomputes when any input changes; propagates into the composite.
[ForgeryOfDocuments]	ActsToDeceiveInLegalTransactions, ForgeryConduct	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (FOD-P0)	[ForgeryOfDocuments]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ActsToDeceiveInLegalTransactions} ├─ {FalseDocument} ├─ {FalsifiedDocument} ├─ {FalsifiesGenuineDocument} ├─ {ProducesFalseDocument} ├─ {UsesDocument} ↓ PHASE 2: evaluate act / intermediate computables ├─ [UseLeg] = UsesDocument is true and (FalseDocument is true or FalsifiedDocument is true) ├─ [ForgeryConduct] = ProducesFalseDocument is true or FalsifiesGenuineDocument is true or UseLeg is true ↓ PHASE 3: evaluate the objective conditions └─ [ForgeryOfDocuments] = ActsToDeceiveInLegalTransactions is true and ForgeryConduct is true ↓ VERDICT (PrimeRule) ├─ [ForgeryOfDocuments] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [ForgeryOfDocuments] is false → not realised

Recursion / re-entry notes

Circularity check

• [ForgeryOfDocuments] depends on [UseLeg], [ForgeryConduct]; none refer back to [ForgeryOfDocuments]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{ActsToDeceiveInLegalTransactions}	Element/Datum: {Actor} acts for the purpose of deception in legal transactions.?	Boolean
Q3	Session	{FalseDocument}	Element/Datum: the document is false.?	Boolean
Q4	Session	{FalsifiedDocument}	Element/Datum: the document is falsified.?	Boolean
Q5	Session	{FalsifiesGenuineDocument}	Element/Datum: {Actor} falsifies a genuine document.?	Boolean
Q6	Session	{ProducesFalseDocument}	Element/Datum: {Actor} produces a false document.?	Boolean
Q7	Session	{UsesDocument}	Element/Datum: {Actor} uses the document.?	Boolean

Flags

Scope Paragraph 1: the deception purpose over the three forgery conducts. Struck per the marked-up source: (2) to (4) whole.

Deception purpose retained (deliberate) “zur Täuschung im Rechtsverkehr” is live per the markup and the retention criterion: producing or handling an imitation document without that purpose is innocuous (specimens, film props, exercises). Carried as the single gate {ActsToDeceiveInLegalTransactions}.

§270 extension The deception gate is extended by the live §270 deeming rule: falsely influencing a data-processing operation in legal transactions is deemed equivalent to deception in legal transactions; the equivalence is authored in the §270 definition scope of this document and consumed here by name.

Treatment §267 is Operomise-tagged; folded into this document by plan, closing the open question from the property chapter.

§270 · Deception in legal transactions involving data processing

DeceptionInDataProcessing · provenance StGB 270 · wholly live · definition scope

Source (English, unofficial)

Operome markup - original text encoded

Deception in legal transactions is deemed equivalent to the false influencing of a data-processing operation in legal transactions.

«if DeceptionInLegalTransactions is true»Deception in legal transactions is deemed equivalent to «if {FalselyInfluencesDataProcessing} is true»the false influencing of a data-processing operation in legal transactions «end if».«end if»

Annexes

Computables

[DeceptionInLegalTransactions] = FalselyInfluencesDataProcessing is true

Business rules

id	kind	actor	verb / predicate	body
DDP-D0	definition	Actor	deeming rule: the false influencing of a data-processing operation in legal transactions is deemed equivalent to deception in legal transactions; consumed by name by the Section 267 deception gate	FalselyInfluencesDataProcessing is true
DDP-P0	prohibition	Actor	not realise	not DeceptionInLegalTransactions

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
deeming rule	equivalence	[DeceptionInLegalTransactions]	DDP-D0	authored definition
the false influencing of a data-processing operation	Merkmal	{FalselyInfluencesDataProcessing}	DDP-D0	is true

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{FalselyInfluencesDataProcessing}	Boolean	true / false / unknown	Session	{Actor} falsely influences a data-processing operation in legal transactions

Reconstruction from the substrate

Committed by any person (the actor) who: {Actor} falsely influences a data-processing operation in legal transactions.

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[DeceptionInLegalTransactions]	FalselyInfluencesDataProcessing	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (DDP-P0)	[DeceptionInLegalTransactions]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {FalselyInfluencesDataProcessing} ↓ PHASE 2: evaluate act / intermediate computables ↓ PHASE 3: evaluate the objective conditions └─ [DeceptionInLegalTransactions] = FalselyInfluencesDataProcessing is true ↓ VERDICT (PrimeRule) ├─ [DeceptionInLegalTransactions] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [DeceptionInLegalTransactions] is false → not realised

Recursion / re-entry notes

Circularity check

• [DeceptionInLegalTransactions] depends on ; none refer back to [DeceptionInLegalTransactions]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{FalselyInfluencesDataProcessing}	Element/Datum: {Actor} falsely influences a data-processing operation in legal transactions.?	Boolean

Flags

Scope The single sentence, wholly live in the markup, nothing struck: a deeming rule, not an offence. It is encoded as a definition scope on the §184h pattern, authoring [DeceptionInLegalTransactions] for consumption by name.

Consumer §267's gate {ActsToDeceiveInLegalTransactions} reads its extended content from this scope: deception purposes satisfied through the false influencing of data processing fall within the gate.

Treatment §270 is Operomise-tagged.

§306 · Arson

Arson · provenance StGB 306 · (1) whole encoded; (2) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who sets on fire, or destroys wholly or in part by setting a fire, the following objects belonging to another: 1. buildings or huts, 2. business premises or technical installations, in particular machines, 3. warehouses or stocks of goods, 4. motor vehicles, rail, air or water vehicles, 5. forests, heathland or moors, or 6. installations or products of agriculture, the food industry or forestry, shall be punished with imprisonment for a term of one to ten years. (2) In less serious cases, the penalty shall be imprisonment for a term of six months to five years.

«if Arson is true»(1) {Actor} who, in respect of the following objects «if {BelongsToAnother} is true»belonging to another «end if»: 1. «if {Buildings} is true»buildings «end if» «if {Huts} is true»or huts «end if», 2. «if {BusinessPremises} is true»business premises «end if» «if {TechnicalInstallations} is true»or technical installations, in particular machines «end if», 3. «if {Warehouses} is true»warehouses «end if» «if {StocksOfGoods} is true»or stocks of goods «end if», 4. «if {MotorVehicles} is true»motor vehicles «end if» «if {RailVehicles} is true», rail «end if» «if {AirVehicles} is true», air «end if» «if {WaterVehicles} is true»or water vehicles «end if», 5. «if {Forests} is true»forests «end if» «if {Heathland} is true», heathland «end if» «if {Moors} is true»or moors «end if», or 6. «if {SectorInstallations} is true»installations «end if» «if {SectorProducts} is true»or products «end if» «if {AgriculturalSector} is true»of agriculture «end if» «if {FoodSector} is true», the food industry «end if» «if {ForestrySector} is true»or forestry «end if», «if {SetsOnFire} is true»sets the object on fire «end if» or «if {DestroysByFireSetting} is true»destroys it «if {Wholly} is true»wholly «end if» «if {InPart} is true»or in part «end if» by setting a fire «end if» shall be punished with imprisonment for a term of one to ten years. (2) In less serious cases, the penalty shall be imprisonment for a term of six months to five years.«end if»

Annexes

Computables

[Object1] = Buildings is true or Huts is true [Object2] = BusinessPremises is true or TechnicalInstallations is true [Object3] = Warehouses is true or StocksOfGoods is true [Object4] = MotorVehicles is true or RailVehicles is true or AirVehicles is true or WaterVehicles is true [Object5] = Forests is true or Heathland is true or Moors is true [Object6] = (AgriculturalSector is true or FoodSector is true or ForestrySector is true) and (SectorInstallations is true or SectorProducts is true) [ArsonObject] = Object1 is true or Object2 is true or Object3 is true or Object4 is true or Object5 is true or Object6 is true [ArsonConduct] = SetsOnFire is true or (DestroysByFireSetting is true and (Wholly is true or InPart is true)) [Arson] = BelongsToAnother is true and ArsonObject is true and ArsonConduct is true

Business rules

id	kind	actor	verb / predicate	body
ARS-R01	condition	None		BelongsToAnother is true
ARS-R02	condition	None		Buildings is true
ARS-R03	condition	None		Huts is true
ARS-R04	condition	None		BusinessPremises is true
ARS-R05	condition	None		TechnicalInstallations is true
ARS-R06	condition	None		Warehouses is true
ARS-R07	condition	None		StocksOfGoods is true
ARS-R08	condition	None		MotorVehicles is true
ARS-R09	condition	None		RailVehicles is true
ARS-R10	condition	None		AirVehicles is true
ARS-R11	condition	None		WaterVehicles is true
ARS-R12	condition	None		Forests is true
ARS-R13	condition	None		Heathland is true
ARS-R14	condition	None		Moors is true
ARS-R15	condition	None		AgriculturalSector is true
ARS-R16	condition	None		FoodSector is true
ARS-R17	condition	None		ForestrySector is true
ARS-R18	condition	None		SectorInstallations is true
ARS-R19	condition	None		SectorProducts is true
ARS-R20	act	Actor		SetsOnFire is true
ARS-R21	act	Actor		DestroysByFireSetting is true
ARS-R22	condition	None		Wholly is true
ARS-R23	condition	None		InPart is true
ARS-P0	prohibition	Actor	not realise	not Arson

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
the object belongs to another	Merkmal	{BelongsToAnother}	ARS-R01	is true
buildings	Merkmal	{Buildings}	ARS-R02	is true
huts	Merkmal	{Huts}	ARS-R03	is true
business premises	Merkmal	{BusinessPremises}	ARS-R04	is true
technical installations	Merkmal	{TechnicalInstallations}	ARS-R05	is true
warehouses	Merkmal	{Warehouses}	ARS-R06	is true
stocks of goods	Merkmal	{StocksOfGoods}	ARS-R07	is true
motor vehicles	Merkmal	{MotorVehicles}	ARS-R08	is true
rail vehicles	Merkmal	{RailVehicles}	ARS-R09	is true
air vehicles	Merkmal	{AirVehicles}	ARS-R10	is true
water vehicles	Merkmal	{WaterVehicles}	ARS-R11	is true
forests	Merkmal	{Forests}	ARS-R12	is true
heathland	Merkmal	{Heathland}	ARS-R13	is true
moors	Merkmal	{Moors}	ARS-R14	is true
of agriculture	Merkmal	{AgriculturalSector}	ARS-R15	is true
of the food industry	Merkmal	{FoodSector}	ARS-R16	is true
of forestry	Merkmal	{ForestrySector}	ARS-R17	is true
installations	Merkmal	{SectorInstallations}	ARS-R18	is true
products	Merkmal	{SectorProducts}	ARS-R19	is true
{Actor} sets the object on fire	Merkmal	{SetsOnFire}	ARS-R20	is true
{Actor} destroys the object by setting a fire	Merkmal	{DestroysByFireSetting}	ARS-R21	is true
wholly	Merkmal	{Wholly}	ARS-R22	is true
in part	Merkmal	{InPart}	ARS-R23	is true
(2) lesser cases	grading	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{AgriculturalSector}	Boolean	true / false / unknown	Session	of agriculture
{AirVehicles}	Boolean	true / false / unknown	Session	air vehicles
{BelongsToAnother}	Boolean	true / false / unknown	Session	the object belongs to another
{Buildings}	Boolean	true / false / unknown	Session	buildings
{BusinessPremises}	Boolean	true / false / unknown	Session	business premises
{DestroysByFireSetting}	Boolean	true / false / unknown	Session	{Actor} destroys the object by setting a fire
{FoodSector}	Boolean	true / false / unknown	Session	of the food industry
{ForestrySector}	Boolean	true / false / unknown	Session	of forestry
{Forests}	Boolean	true / false / unknown	Session	forests
{Heathland}	Boolean	true / false / unknown	Session	heathland
{Huts}	Boolean	true / false / unknown	Session	huts
{InPart}	Boolean	true / false / unknown	Session	in part
{Moors}	Boolean	true / false / unknown	Session	moors
{MotorVehicles}	Boolean	true / false / unknown	Session	motor vehicles
{RailVehicles}	Boolean	true / false / unknown	Session	rail vehicles
{SectorInstallations}	Boolean	true / false / unknown	Session	installations
{SectorProducts}	Boolean	true / false / unknown	Session	products
{SetsOnFire}	Boolean	true / false / unknown	Session	{Actor} sets the object on fire
{StocksOfGoods}	Boolean	true / false / unknown	Session	stocks of goods
{TechnicalInstallations}	Boolean	true / false / unknown	Session	technical installations
{Warehouses}	Boolean	true / false / unknown	Session	warehouses
{WaterVehicles}	Boolean	true / false / unknown	Session	water vehicles
{Wholly}	Boolean	true / false / unknown	Session	wholly

Reconstruction from the substrate

Committed by any person (the actor) who: the object belongs to another and ((buildings or huts) or (business premises or technical installations) or (warehouses or stocks of goods) or (motor vehicles or rail vehicles or air vehicles or water vehicles) or (forests or heathland or moors) or ((of agriculture or of the food industry or of forestry) and (installations or products))) and ({Actor} sets the object on fire or ({Actor} destroys the object by setting a fire and (wholly or in part))).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[Object1]	Buildings, Huts	false	Recomputes when any input changes; propagates into the composite.
[Object2]	BusinessPremises, TechnicalInstallations	false	Recomputes when any input changes; propagates into the composite.
[Object3]	Warehouses, StocksOfGoods	false	Recomputes when any input changes; propagates into the composite.
[Object4]	MotorVehicles, RailVehicles, AirVehicles, WaterVehicles	false	Recomputes when any input changes; propagates into the composite.
[Object5]	Forests, Heathland, Moors	false	Recomputes when any input changes; propagates into the composite.
[Object6]	AgriculturalSector, FoodSector, ForestrySector, SectorInstallations, SectorProducts	false	Recomputes when any input changes; propagates into the composite.
[ArsonObject]	Object1, Object2, Object3, Object4, Object5, Object6	false	Recomputes when any input changes; propagates into the composite.
[ArsonConduct]	SetsOnFire, DestroysByFireSetting, Wholly, InPart	false	Recomputes when any input changes; propagates into the composite.
[Arson]	BelongsToAnother, ArsonObject, ArsonConduct	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (ARS-P0)	[Arson]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {AgriculturalSector} ├─ {AirVehicles} ├─ {BelongsToAnother} ├─ {Buildings} ├─ {BusinessPremises} ├─ {DestroysByFireSetting} ├─ {FoodSector} ├─ {ForestrySector} ├─ {Forests} ├─ {Heathland} ├─ {Huts} ├─ {InPart} ├─ {Moors} ├─ {MotorVehicles} ├─ {RailVehicles} ├─ {SectorInstallations} ├─ {SectorProducts} ├─ {SetsOnFire} ├─ {StocksOfGoods} ├─ {TechnicalInstallations} ├─ {Warehouses} ├─ {WaterVehicles} ├─ {Wholly} ↓ PHASE 2: evaluate act / intermediate computables ├─ [Object1] = Buildings is true or Huts is true ├─ [Object2] = BusinessPremises is true or TechnicalInstallations is true ├─ [Object3] = Warehouses is true or StocksOfGoods is true ├─ [Object4] = MotorVehicles is true or RailVehicles is true or AirVehicles is true or WaterVehicles is true ├─ [Object5] = Forests is true or Heathland is true or Moors is true ├─ [Object6] = (AgriculturalSector is true or FoodSector is true or ForestrySector is true) and (SectorInstallations is true or SectorProducts is true) ├─ [ArsonObject] = Object1 is true or Object2 is true or Object3 is true or Object4 is true or Object5 is true or Object6 is true ├─ [ArsonConduct] = SetsOnFire is true or (DestroysByFireSetting is true and (Wholly is true or InPart is true)) ↓ PHASE 3: evaluate the objective conditions └─ [Arson] = BelongsToAnother is true and ArsonObject is true and ArsonConduct is true ↓ VERDICT (PrimeRule) ├─ [Arson] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [Arson] is false → not realised

Recursion / re-entry notes

Circularity check

• [Arson] depends on [Object1], [Object2], [Object3], [Object4], [Object5], [Object6], [ArsonObject], [ArsonConduct]; none refer back to [Arson]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{AgriculturalSector}	Element/Datum: of agriculture.?	Boolean
Q3	Session	{AirVehicles}	Element/Datum: air vehicles.?	Boolean
Q4	Session	{BelongsToAnother}	Element/Datum: the object belongs to another.?	Boolean
Q5	Session	{Buildings}	Element/Datum: buildings.?	Boolean
Q6	Session	{BusinessPremises}	Element/Datum: business premises.?	Boolean
Q7	Session	{DestroysByFireSetting}	Element/Datum: {Actor} destroys the object by setting a fire.?	Boolean
Q8	Session	{FoodSector}	Element/Datum: of the food industry.?	Boolean
Q9	Session	{ForestrySector}	Element/Datum: of forestry.?	Boolean
Q10	Session	{Forests}	Element/Datum: forests.?	Boolean
Q11	Session	{Heathland}	Element/Datum: heathland.?	Boolean
Q12	Session	{Huts}	Element/Datum: huts.?	Boolean
Q13	Session	{InPart}	Element/Datum: in part.?	Boolean
Q14	Session	{Moors}	Element/Datum: moors.?	Boolean
Q15	Session	{MotorVehicles}	Element/Datum: motor vehicles.?	Boolean
Q16	Session	{RailVehicles}	Element/Datum: rail vehicles.?	Boolean
Q17	Session	{SectorInstallations}	Element/Datum: installations.?	Boolean
Q18	Session	{SectorProducts}	Element/Datum: products.?	Boolean
Q19	Session	{SetsOnFire}	Element/Datum: {Actor} sets the object on fire.?	Boolean
Q20	Session	{StocksOfGoods}	Element/Datum: stocks of goods.?	Boolean
Q21	Session	{TechnicalInstallations}	Element/Datum: technical installations.?	Boolean
Q22	Session	{Warehouses}	Element/Datum: warehouses.?	Boolean
Q23	Session	{WaterVehicles}	Element/Datum: water vehicles.?	Boolean
Q24	Session	{Wholly}	Element/Datum: wholly.?	Boolean

Flags

Scope Paragraph 1 whole: the six-number object catalogue over the ownership qualifier and the two fire conducts with the extent pair. Struck per the marked-up source: (2) lesser cases. §306a to §306f are Excluded in the Treatment column (aggravations, consequences, negligence, repentance, fire hazard) and not encoded.

Catalogue decomposition Each atomic object stands in its own gated block per the encoding principles, eighteen object variables across the six numbers; number 6's sector-times-kind structure is carried as the cross product of the three sector qualifiers and the two kinds in [Object6]. “namentlich Maschinen” is illustrative of technical installations and stays in the markup text under that variable.

Conduct pair “in Brand setzt” and “durch eine Brandlegung ganz oder teilweise zerstört” are distinct conducts: setting on fire requires no destruction; destruction by fire-setting carries the extent pair, mirrored in [ArsonConduct].

Treatment §306 is Operomise-tagged.

§307 · Causing an explosion through nuclear energy

NuclearExplosion · provenance StGB 307 · (1) encoded; (2)-(4) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who undertakes to cause an explosion by releasing nuclear energy and thereby to endanger the limb or life of another person or property of another of significant value shall be punished with imprisonment for a term of not less than five years. (2) Any person who causes an explosion by releasing nuclear energy and thereby negligently endangers the limb or life of another person or property of another of significant value shall be punished with imprisonment for a term of one to ten years. (3) If the offender at least recklessly causes the death of another person by the act, the penalty shall be 1. in the cases of paragraph 1, imprisonment for life or for a term of not less than ten years, 2. in the cases of paragraph 2, imprisonment for a term of not less than five years. (4) Any person who acts negligently in the cases of paragraph 2 and negligently causes the danger shall be punished with imprisonment for up to three years or a fine.

«if NuclearExplosion is true»(1) {Actor} who «if {Undertakes} is true»undertakes «end if» «if {CausesExplosion} is true»to cause an explosion «end if» «if {ByReleaseOfNuclearEnergy} is true»by releasing nuclear energy «end if» and thereby to endanger «if {EndangersLimbOfAnother} is true»the limb «end if» «if {EndangersLifeOfAnother} is true»or life of another person «end if» or «if {EndangersPropertyOfAnother} is true»property of another «if {OfSignificantValue} is true»of significant value «end if» «end if» shall be punished with imprisonment for a term of not less than five years. (2) Any person who causes an explosion by releasing nuclear energy and thereby negligently endangers the limb or life of another person or property of another of significant value shall be punished with imprisonment for a term of one to ten years. (3) If the offender at least recklessly causes the death of another person by the act, the penalty shall be 1. in the cases of paragraph 1, imprisonment for life or for a term of not less than ten years, 2. in the cases of paragraph 2, imprisonment for a term of not less than five years. (4) Any person who acts negligently in the cases of paragraph 2 and negligently causes the danger shall be punished with imprisonment for up to three years or a fine.«end if»

Annexes

Computables

[Endangerment] = EndangersLimbOfAnother is true or EndangersLifeOfAnother is true or (EndangersPropertyOfAnother is true and OfSignificantValue is true) [NuclearExplosion] = Undertakes is true and CausesExplosion is true and ByReleaseOfNuclearEnergy is true and Endangerment is true

Business rules

id	kind	actor	verb / predicate	body
NEX-R01	act	Actor		Undertakes is true
NEX-R02	condition	None		CausesExplosion is true
NEX-R03	condition	None		ByReleaseOfNuclearEnergy is true
NEX-R04	condition	None		EndangersLimbOfAnother is true
NEX-R05	condition	None		EndangersLifeOfAnother is true
NEX-R06	condition	None		EndangersPropertyOfAnother is true
NEX-R07	condition	None		OfSignificantValue is true
NEX-P0	prohibition	Actor	not realise	not NuclearExplosion

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
{Actor} undertakes the act	Merkmal	{Undertakes}	NEX-R01	is true
to cause an explosion	Merkmal	{CausesExplosion}	NEX-R02	is true
by releasing nuclear energy	Merkmal	{ByReleaseOfNuclearEnergy}	NEX-R03	is true
thereby to endanger the limb of another person	Merkmal	{EndangersLimbOfAnother}	NEX-R04	is true
thereby to endanger the life of another person	Merkmal	{EndangersLifeOfAnother}	NEX-R05	is true
thereby to endanger property of another	Merkmal	{EndangersPropertyOfAnother}	NEX-R06	is true
the property is of significant value	Merkmal	{OfSignificantValue}	NEX-R07	is true
(2) negligent-endangerment variant; (3) death results; (4) double negligence	variants / results	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{ByReleaseOfNuclearEnergy}	Boolean	true / false / unknown	Session	by releasing nuclear energy
{CausesExplosion}	Boolean	true / false / unknown	Session	to cause an explosion
{EndangersLifeOfAnother}	Boolean	true / false / unknown	Session	thereby to endanger the life of another person
{EndangersLimbOfAnother}	Boolean	true / false / unknown	Session	thereby to endanger the limb of another person
{EndangersPropertyOfAnother}	Boolean	true / false / unknown	Session	thereby to endanger property of another
{OfSignificantValue}	Boolean	true / false / unknown	Session	the property is of significant value
{Undertakes}	Boolean	true / false / unknown	Session	{Actor} undertakes the act

Reconstruction from the substrate

Committed by any person (the actor) who: {Actor} undertakes the act and to cause an explosion and by releasing nuclear energy and (thereby to endanger the limb of another person or thereby to endanger the life of another person or (thereby to endanger property of another and the property is of significant value)).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[Endangerment]	EndangersLimbOfAnother, EndangersLifeOfAnother, EndangersPropertyOfAnother, OfSignificantValue	false	Recomputes when any input changes; propagates into the composite.
[NuclearExplosion]	Undertakes, CausesExplosion, ByReleaseOfNuclearEnergy, Endangerment	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (NEX-P0)	[NuclearExplosion]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ByReleaseOfNuclearEnergy} ├─ {CausesExplosion} ├─ {EndangersLifeOfAnother} ├─ {EndangersLimbOfAnother} ├─ {EndangersPropertyOfAnother} ├─ {OfSignificantValue} ├─ {Undertakes} ↓ PHASE 2: evaluate act / intermediate computables ├─ [Endangerment] = EndangersLimbOfAnother is true or EndangersLifeOfAnother is true or (EndangersPropertyOfAnother is true and OfSignificantValue is true) ↓ PHASE 3: evaluate the objective conditions └─ [NuclearExplosion] = Undertakes is true and CausesExplosion is true and ByReleaseOfNuclearEnergy is true and Endangerment is true ↓ VERDICT (PrimeRule) ├─ [NuclearExplosion] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [NuclearExplosion] is false → not realised

Recursion / re-entry notes

Circularity check

• [NuclearExplosion] depends on [Endangerment]; none refer back to [NuclearExplosion]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{ByReleaseOfNuclearEnergy}	Element/Datum: by releasing nuclear energy.?	Boolean
Q3	Session	{CausesExplosion}	Element/Datum: to cause an explosion.?	Boolean
Q4	Session	{EndangersLifeOfAnother}	Element/Datum: thereby to endanger the life of another person.?	Boolean
Q5	Session	{EndangersLimbOfAnother}	Element/Datum: thereby to endanger the limb of another person.?	Boolean
Q6	Session	{EndangersPropertyOfAnother}	Element/Datum: thereby to endanger property of another.?	Boolean
Q7	Session	{OfSignificantValue}	Element/Datum: the property is of significant value.?	Boolean
Q8	Session	{Undertakes}	Element/Datum: {Actor} undertakes the act.?	Boolean

Flags

Scope Paragraph 1 only: the undertaking offence. Struck per the marked-up source: (2) to (4) whole.

Unternehmensdelikt “Wer es unternimmt” makes (1) an undertaking offence: the attempt is the completed offence. {Undertakes} gates the infinitive elements (causing the explosion, the nuclear means and the endangerment as the content of the undertaking), so the composite is satisfied by the undertaking itself, faithful to the German structure.

Shared endangerment Merkmal “Leib oder Leben eines anderen Menschen oder fremde Sachen von bedeutendem Wert” carries the shared endangerment names ({EndangersLimbOfAnother}, {EndangersLifeOfAnother}, {EndangersPropertyOfAnother} with {OfSignificantValue}), shared with §308, §315 and §315a.

Treatment §307 is Operomise-tagged.

§308 · Causing an explosion involving explosives

ExplosivesExplosion · provenance StGB 308 · (1) encoded; (2)-(7) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who, other than by releasing nuclear energy, in particular by explosives, causes an explosion and thereby endangers the limb or life of another person or property of another of significant value shall be punished with imprisonment for a term of not less than one year. (2) If the offender causes a serious damage to the health of another person or damage to the health of a large number of people by the act, the penalty shall be imprisonment for a term of not less than two years. (3) Any person who causes the explosion for the commission of a theft (Section 242), a gang theft (Section 244(1) no. 2) or an aggravated gang theft (Section 244a) shall be punished, in the cases of paragraph 1, with imprisonment for a term of not less than two years, in the cases of paragraph 2, with imprisonment for a term of not less than five years. (4) If the offender at least recklessly causes the death of another person by the act, the penalty shall be imprisonment for life or for a term of not less than ten years. (5) In less serious cases of paragraph 1, the penalty shall be imprisonment for a term of six months to five years; in less serious cases of paragraphs 2 and 3, imprisonment for a term of one to ten years. (6) Any person who negligently causes the danger in the cases of paragraph 1 shall be punished with imprisonment for up to five years or a fine. (7) Any person who acts negligently in the cases of paragraph 1 and negligently causes the danger shall be punished with imprisonment for up to three years or a fine.

«if ExplosivesExplosion is true»(1) {Actor} who, «if {OtherThanNuclearRelease} is true»other than by releasing nuclear energy «end if», in particular by explosives, «if {CausesExplosion} is true»causes an explosion «end if» and thereby endangers «if {EndangersLimbOfAnother} is true»the limb «end if» «if {EndangersLifeOfAnother} is true»or life of another person «end if» or «if {EndangersPropertyOfAnother} is true»property of another «if {OfSignificantValue} is true»of significant value «end if» «end if» shall be punished with imprisonment for a term of not less than one year. (2) If the offender causes a serious damage to the health of another person or damage to the health of a large number of people by the act, the penalty shall be imprisonment for a term of not less than two years. (3) Any person who causes the explosion for the commission of a theft (Section 242), a gang theft (Section 244(1) no. 2) or an aggravated gang theft (Section 244a) shall be punished, in the cases of paragraph 1, with imprisonment for a term of not less than two years, in the cases of paragraph 2, with imprisonment for a term of not less than five years. (4) If the offender at least recklessly causes the death of another person by the act, the penalty shall be imprisonment for life or for a term of not less than ten years. (5) In less serious cases of paragraph 1, the penalty shall be imprisonment for a term of six months to five years; in less serious cases of paragraphs 2 and 3, imprisonment for a term of one to ten years. (6) Any person who negligently causes the danger in the cases of paragraph 1 shall be punished with imprisonment for up to five years or a fine. (7) Any person who acts negligently in the cases of paragraph 1 and negligently causes the danger shall be punished with imprisonment for up to three years or a fine.«end if»

Annexes

Computables

[Endangerment] = EndangersLimbOfAnother is true or EndangersLifeOfAnother is true or (EndangersPropertyOfAnother is true and OfSignificantValue is true) [ExplosivesExplosion] = CausesExplosion is true and OtherThanNuclearRelease is true and Endangerment is true

Business rules

id	kind	actor	verb / predicate	body
EEX-R01	act	Actor		CausesExplosion is true
EEX-R02	condition	None		OtherThanNuclearRelease is true
EEX-R03	act	Actor		EndangersLimbOfAnother is true
EEX-R04	act	Actor		EndangersLifeOfAnother is true
EEX-R05	act	Actor		EndangersPropertyOfAnother is true
EEX-R06	condition	None		OfSignificantValue is true
EEX-P0	prohibition	Actor	not realise	not ExplosivesExplosion

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
{Actor} causes an explosion	Merkmal	{CausesExplosion}	EEX-R01	is true
other than by releasing nuclear energy	Merkmal	{OtherThanNuclearRelease}	EEX-R02	is true
{Actor} thereby endangers the limb of another person	Merkmal	{EndangersLimbOfAnother}	EEX-R03	is true
{Actor} thereby endangers the life of another person	Merkmal	{EndangersLifeOfAnother}	EEX-R04	is true
{Actor} thereby endangers property of another	Merkmal	{EndangersPropertyOfAnother}	EEX-R05	is true
the property is of significant value	Merkmal	{OfSignificantValue}	EEX-R06	is true
(2)-(7): health results, theft purpose, death results, lesser cases, negligence variants	results / purpose grading / negligence	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{CausesExplosion}	Boolean	true / false / unknown	Session	{Actor} causes an explosion
{EndangersLifeOfAnother}	Boolean	true / false / unknown	Session	{Actor} thereby endangers the life of another person
{EndangersLimbOfAnother}	Boolean	true / false / unknown	Session	{Actor} thereby endangers the limb of another person
{EndangersPropertyOfAnother}	Boolean	true / false / unknown	Session	{Actor} thereby endangers property of another
{OfSignificantValue}	Boolean	true / false / unknown	Session	the property is of significant value
{OtherThanNuclearRelease}	Boolean	true / false / unknown	Session	other than by releasing nuclear energy

Reconstruction from the substrate

Committed by any person (the actor) who: {Actor} causes an explosion and other than by releasing nuclear energy and ({Actor} thereby endangers the limb of another person or {Actor} thereby endangers the life of another person or ({Actor} thereby endangers property of another and the property is of significant value)).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[Endangerment]	EndangersLimbOfAnother, EndangersLifeOfAnother, EndangersPropertyOfAnother, OfSignificantValue	false	Recomputes when any input changes; propagates into the composite.
[ExplosivesExplosion]	CausesExplosion, OtherThanNuclearRelease, Endangerment	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (EEX-P0)	[ExplosivesExplosion]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {CausesExplosion} ├─ {EndangersLifeOfAnother} ├─ {EndangersLimbOfAnother} ├─ {EndangersPropertyOfAnother} ├─ {OfSignificantValue} ├─ {OtherThanNuclearRelease} ↓ PHASE 2: evaluate act / intermediate computables ├─ [Endangerment] = EndangersLimbOfAnother is true or EndangersLifeOfAnother is true or (EndangersPropertyOfAnother is true and OfSignificantValue is true) ↓ PHASE 3: evaluate the objective conditions └─ [ExplosivesExplosion] = CausesExplosion is true and OtherThanNuclearRelease is true and Endangerment is true ↓ VERDICT (PrimeRule) ├─ [ExplosivesExplosion] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [ExplosivesExplosion] is false → not realised

Recursion / re-entry notes

Circularity check

• [ExplosivesExplosion] depends on [Endangerment]; none refer back to [ExplosivesExplosion]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{CausesExplosion}	Element/Datum: {Actor} causes an explosion.?	Boolean
Q3	Session	{EndangersLifeOfAnother}	Element/Datum: {Actor} thereby endangers the life of another person.?	Boolean
Q4	Session	{EndangersLimbOfAnother}	Element/Datum: {Actor} thereby endangers the limb of another person.?	Boolean
Q5	Session	{EndangersPropertyOfAnother}	Element/Datum: {Actor} thereby endangers property of another.?	Boolean
Q6	Session	{OfSignificantValue}	Element/Datum: the property is of significant value.?	Boolean
Q7	Session	{OtherThanNuclearRelease}	Element/Datum: other than by releasing nuclear energy.?	Boolean

Flags

Scope Paragraph 1: the completed endangerment offence. Struck per the marked-up source: (2) to (7) whole.

Contrast with §307 Here the explosion and the endangerment are completed conduct (“herbeiführt ... gefährdet”), not an undertaking; “namentlich durch Sprengstoff” is illustrative of the non-nuclear means and stays in the markup text under {OtherThanNuclearRelease}.

Shared endangerment Merkmal The shared endangerment names are reused; identity with §307, §315 and §315a is by name.

Treatment §308 is Operomise-tagged.

§309 · Misuse of ionising radiation

MisuseOfIonisingRadiation · provenance StGB 309 · (1) and (6) encoded; (2)-(5) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who, with the intention of damaging the health of another person, undertakes to expose that person to ionising radiation capable of damaging that person's health shall be punished with imprisonment for a term of one to ten years. (2) If the offender undertakes to expose an incalculable number of people to such radiation, the penalty shall be imprisonment for a term of not less than five years. (3) If, in the cases of paragraph 1, the offender causes a serious damage to the health of another person or damage to the health of a large number of people by the act, the penalty shall be imprisonment for a term of not less than two years. (4) If the offender at least recklessly causes the death of another person by the act, the penalty shall be imprisonment for life or for a term of not less than ten years. (5) In less serious cases of paragraph 1, the penalty shall be imprisonment for a term of six months to five years; in less serious cases of paragraph 3, imprisonment for a term of one to ten years. (6) Any person who, with the intention 1. of impairing the usability of a thing of another of significant value, 2. of lastingly altering adversely a body of water, the air or the soil, or 3. of damaging animals or plants of significant value not belonging to them, exposes the thing, the body of water, the air, the soil, the animals or the plants to ionising radiation capable of causing such impairments, alterations or damage shall be punished with imprisonment for up to five years or a fine. An attempt is punishable.

«if MisuseOfIonisingRadiation is true»(1) {Actor} who, «if {ActsWithHealthDamageIntention} is true»with the intention of damaging the health of another person «end if», «if {Undertakes} is true»undertakes «end if» «if {ExposesPersonToRadiation} is true»to expose that person to ionising radiation «end if» «if {RadiationCapableOfDamagingHealth} is true»capable of damaging that person's health «end if» shall be punished with imprisonment for a term of one to ten years. (2) If the offender undertakes to expose an incalculable number of people to such radiation, the penalty shall be imprisonment for a term of not less than five years. (3) If, in the cases of paragraph 1, the offender causes a serious damage to the health of another person or damage to the health of a large number of people by the act, the penalty shall be imprisonment for a term of not less than two years. (4) If the offender at least recklessly causes the death of another person by the act, the penalty shall be imprisonment for life or for a term of not less than ten years. (5) In less serious cases of paragraph 1, the penalty shall be imprisonment for a term of six months to five years; in less serious cases of paragraph 3, imprisonment for a term of one to ten years. (6) {Actor} who, «if {ActsWithImpairmentIntention} is true»with the intention 1. «if {ImpairUsability} is true»of impairing the usability of a thing «end if» «if {ThingOfAnother} is true»of another «end if» «if {ThingOfSignificantValue} is true»of significant value «end if», 2. «if {LastinglyAdverselyAlter} is true»of lastingly altering adversely «end if» «if {BodyOfWater} is true»a body of water «end if» «if {Air} is true», the air «end if» «if {Soil} is true»or the soil «end if», or 3. «if {DamageAnimals} is true»of damaging animals «end if» «if {DamagePlants} is true»or plants «end if» «if {AnimalsPlantsOfSignificantValue} is true»of significant value «end if» «if {NotBelongingToActor} is true»not belonging to {Actor} «end if» «end if», «if {ExposesObjectToRadiation} is true»exposes the object to ionising radiation «end if» «if {RadiationCapableOfSuchEffects} is true»capable of causing such impairments, alterations or damage «end if» shall be punished with imprisonment for up to five years or a fine . An attempt is punishable.«end if»

Annexes

Computables

[Intent3] = (DamageAnimals is true or DamagePlants is true) and NotBelongingToActor is true and AnimalsPlantsOfSignificantValue is true [Intent1] = ImpairUsability is true and ThingOfAnother is true and ThingOfSignificantValue is true [Intent2] = LastinglyAdverselyAlter is true and (BodyOfWater is true or Air is true or Soil is true) [Para6Intent] = ActsWithImpairmentIntention is true and (Intent1 is true or Intent2 is true or Intent3 is true) [Para6] = Para6Intent is true and ExposesObjectToRadiation is true and RadiationCapableOfSuchEffects is true [Para1] = ActsWithHealthDamageIntention is true and Undertakes is true and ExposesPersonToRadiation is true and RadiationCapableOfDamagingHealth is true [MisuseOfIonisingRadiation] = Para1 is true or Para6 is true

Business rules

id	kind	actor	verb / predicate	body
IRD-R01	act	Actor		ActsWithHealthDamageIntention is true
IRD-R02	act	Actor		Undertakes is true
IRD-R03	condition	None		ExposesPersonToRadiation is true
IRD-R04	condition	None		RadiationCapableOfDamagingHealth is true
IRD-R05	act	Actor		ActsWithImpairmentIntention is true
IRD-R06	condition	None		ImpairUsability is true
IRD-R07	condition	None		ThingOfAnother is true
IRD-R08	condition	None		ThingOfSignificantValue is true
IRD-R09	condition	None		LastinglyAdverselyAlter is true
IRD-R10	condition	None		BodyOfWater is true
IRD-R11	condition	None		Air is true
IRD-R12	condition	None		Soil is true
IRD-R13	condition	None		DamageAnimals is true
IRD-R14	condition	None		DamagePlants is true
IRD-R15	condition	None		NotBelongingToActor is true
IRD-R16	condition	None		AnimalsPlantsOfSignificantValue is true
IRD-R17	act	Actor		ExposesObjectToRadiation is true
IRD-R18	condition	None		RadiationCapableOfSuchEffects is true
IRD-P0	prohibition	Actor	not realise	not MisuseOfIonisingRadiation

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
{Actor} acts with the intention of damaging the health of another person	Merkmal	{ActsWithHealthDamageIntention}	IRD-R01	is true
{Actor} undertakes the act	Merkmal	{Undertakes}	IRD-R02	is true
to expose that person to ionising radiation	Merkmal	{ExposesPersonToRadiation}	IRD-R03	is true
the radiation is capable of damaging that person's health	Merkmal	{RadiationCapableOfDamagingHealth}	IRD-R04	is true
{Actor} acts with the intention under one of the three points	Merkmal	{ActsWithImpairmentIntention}	IRD-R05	is true
to impair the usability of a thing	Merkmal	{ImpairUsability}	IRD-R06	is true
the thing belongs to another	Merkmal	{ThingOfAnother}	IRD-R07	is true
the thing is of significant value	Merkmal	{ThingOfSignificantValue}	IRD-R08	is true
lastingly to alter adversely	Merkmal	{LastinglyAdverselyAlter}	IRD-R09	is true
a body of water	Merkmal	{BodyOfWater}	IRD-R10	is true
the air	Merkmal	{Air}	IRD-R11	is true
the soil	Merkmal	{Soil}	IRD-R12	is true
to damage animals	Merkmal	{DamageAnimals}	IRD-R13	is true
to damage plants	Merkmal	{DamagePlants}	IRD-R14	is true
the objects do not belong to {Actor}	Merkmal	{NotBelongingToActor}	IRD-R15	is true
the objects are of significant value	Merkmal	{AnimalsPlantsOfSignificantValue}	IRD-R16	is true
{Actor} exposes the object to ionising radiation	Merkmal	{ExposesObjectToRadiation}	IRD-R17	is true
the radiation is capable of causing such effects	Merkmal	{RadiationCapableOfSuchEffects}	IRD-R18	is true
(2) incalculable-number variant; (3) health results; (4) death results; (5) lesser cases; (6) attempt	variants / results / attempt	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{ActsWithHealthDamageIntention}	Boolean	true / false / unknown	Session	{Actor} acts with the intention of damaging the health of another person
{ActsWithImpairmentIntention}	Boolean	true / false / unknown	Session	{Actor} acts with the intention under one of the three points
{Air}	Boolean	true / false / unknown	Session	the air
{AnimalsPlantsOfSignificantValue}	Boolean	true / false / unknown	Session	the objects are of significant value
{BodyOfWater}	Boolean	true / false / unknown	Session	a body of water
{DamageAnimals}	Boolean	true / false / unknown	Session	to damage animals
{DamagePlants}	Boolean	true / false / unknown	Session	to damage plants
{ExposesObjectToRadiation}	Boolean	true / false / unknown	Session	{Actor} exposes the object to ionising radiation
{ExposesPersonToRadiation}	Boolean	true / false / unknown	Session	to expose that person to ionising radiation
{ImpairUsability}	Boolean	true / false / unknown	Session	to impair the usability of a thing
{LastinglyAdverselyAlter}	Boolean	true / false / unknown	Session	lastingly to alter adversely
{NotBelongingToActor}	Boolean	true / false / unknown	Session	the objects do not belong to {Actor}
{RadiationCapableOfDamagingHealth}	Boolean	true / false / unknown	Session	the radiation is capable of damaging that person's health
{RadiationCapableOfSuchEffects}	Boolean	true / false / unknown	Session	the radiation is capable of causing such effects
{Soil}	Boolean	true / false / unknown	Session	the soil
{ThingOfAnother}	Boolean	true / false / unknown	Session	the thing belongs to another
{ThingOfSignificantValue}	Boolean	true / false / unknown	Session	the thing is of significant value
{Undertakes}	Boolean	true / false / unknown	Session	{Actor} undertakes the act

Reconstruction from the substrate

Committed by any person (the actor) who: ({Actor} acts with the intention of damaging the health of another person and {Actor} undertakes the act and to expose that person to ionising radiation and the radiation is capable of damaging that person's health) or (({Actor} acts with the intention under one of the three points and ((to impair the usability of a thing and the thing belongs to another and the thing is of significant value) or (lastingly to alter adversely and (a body of water or the air or the soil)) or ((to damage animals or to damage plants) and the objects do not belong to {Actor} and the objects are of significant value))) and {Actor} exposes the object to ionising radiation and the radiation is capable of causing such effects).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[Intent3]	DamageAnimals, DamagePlants, NotBelongingToActor, AnimalsPlantsOfSignificantValue	false	Recomputes when any input changes; propagates into the composite.
[Intent1]	ImpairUsability, ThingOfAnother, ThingOfSignificantValue	false	Recomputes when any input changes; propagates into the composite.
[Intent2]	LastinglyAdverselyAlter, BodyOfWater, Air, Soil	false	Recomputes when any input changes; propagates into the composite.
[Para6Intent]	ActsWithImpairmentIntention, Intent1, Intent2, Intent3	false	Recomputes when any input changes; propagates into the composite.
[Para6]	Para6Intent, ExposesObjectToRadiation, RadiationCapableOfSuchEffects	false	Recomputes when any input changes; propagates into the composite.
[Para1]	ActsWithHealthDamageIntention, Undertakes, ExposesPersonToRadiation, RadiationCapableOfDamagingHealth	false	Recomputes when any input changes; propagates into the composite.
[MisuseOfIonisingRadiation]	Para1, Para6	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (IRD-P0)	[MisuseOfIonisingRadiation]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ActsWithHealthDamageIntention} ├─ {ActsWithImpairmentIntention} ├─ {Air} ├─ {AnimalsPlantsOfSignificantValue} ├─ {BodyOfWater} ├─ {DamageAnimals} ├─ {DamagePlants} ├─ {ExposesObjectToRadiation} ├─ {ExposesPersonToRadiation} ├─ {ImpairUsability} ├─ {LastinglyAdverselyAlter} ├─ {NotBelongingToActor} ├─ {RadiationCapableOfDamagingHealth} ├─ {RadiationCapableOfSuchEffects} ├─ {Soil} ├─ {ThingOfAnother} ├─ {ThingOfSignificantValue} ├─ {Undertakes} ↓ PHASE 2: evaluate act / intermediate computables ├─ [Intent3] = (DamageAnimals is true or DamagePlants is true) and NotBelongingToActor is true and AnimalsPlantsOfSignificantValue is true ├─ [Intent1] = ImpairUsability is true and ThingOfAnother is true and ThingOfSignificantValue is true ├─ [Intent2] = LastinglyAdverselyAlter is true and (BodyOfWater is true or Air is true or Soil is true) ├─ [Para6Intent] = ActsWithImpairmentIntention is true and (Intent1 is true or Intent2 is true or Intent3 is true) ├─ [Para6] = Para6Intent is true and ExposesObjectToRadiation is true and RadiationCapableOfSuchEffects is true ├─ [Para1] = ActsWithHealthDamageIntention is true and Undertakes is true and ExposesPersonToRadiation is true and RadiationCapableOfDamagingHealth is true ↓ PHASE 3: evaluate the objective conditions └─ [MisuseOfIonisingRadiation] = Para1 is true or Para6 is true ↓ VERDICT (PrimeRule) ├─ [MisuseOfIonisingRadiation] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [MisuseOfIonisingRadiation] is false → not realised

Recursion / re-entry notes

Circularity check

• [MisuseOfIonisingRadiation] depends on [Intent3], [Intent1], [Intent2], [Para6Intent], [Para6], [Para1]; none refer back to [MisuseOfIonisingRadiation]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{ActsWithHealthDamageIntention}	Element/Datum: {Actor} acts with the intention of damaging the health of another person.?	Boolean
Q3	Session	{ActsWithImpairmentIntention}	Element/Datum: {Actor} acts with the intention under one of the three points.?	Boolean
Q4	Session	{Air}	Element/Datum: the air.?	Boolean
Q5	Session	{AnimalsPlantsOfSignificantValue}	Element/Datum: the objects are of significant value.?	Boolean
Q6	Session	{BodyOfWater}	Element/Datum: a body of water.?	Boolean
Q7	Session	{DamageAnimals}	Element/Datum: to damage animals.?	Boolean
Q8	Session	{DamagePlants}	Element/Datum: to damage plants.?	Boolean
Q9	Session	{ExposesObjectToRadiation}	Element/Datum: {Actor} exposes the object to ionising radiation.?	Boolean
Q10	Session	{ExposesPersonToRadiation}	Element/Datum: to expose that person to ionising radiation.?	Boolean
Q11	Session	{ImpairUsability}	Element/Datum: to impair the usability of a thing.?	Boolean
Q12	Session	{LastinglyAdverselyAlter}	Element/Datum: lastingly to alter adversely.?	Boolean
Q13	Session	{NotBelongingToActor}	Element/Datum: the objects do not belong to {Actor}.?	Boolean
Q14	Session	{RadiationCapableOfDamagingHealth}	Element/Datum: the radiation is capable of damaging that person's health.?	Boolean
Q15	Session	{RadiationCapableOfSuchEffects}	Element/Datum: the radiation is capable of causing such effects.?	Boolean
Q16	Session	{Soil}	Element/Datum: the soil.?	Boolean
Q17	Session	{ThingOfAnother}	Element/Datum: the thing belongs to another.?	Boolean
Q18	Session	{ThingOfSignificantValue}	Element/Datum: the thing is of significant value.?	Boolean
Q19	Session	{Undertakes}	Element/Datum: {Actor} undertakes the act.?	Boolean

Flags

Scope Paragraphs 1 and 6: the health-damage undertaking against a person, and the object-exposure offence with its three-point intention catalogue. Struck per the marked-up source: (2) to (5), and (6)'s penalty and attempt sentence.

Both intent heads retained (deliberate) “in der Absicht, die Gesundheit ... zu schädigen” in (1) and the three-point “in der Absicht” catalogue in (6) are live per the markup and the retention criterion: exposing things or persons to radiation capable of harm occurs lawfully (radiotherapy, sterilisation, materials testing); the intention is what separates the offence. The (6) gate {ActsWithImpairmentIntention} spans the three coordinated intent legs.

Unternehmensdelikt in (1) “es unternimmt” as in §307: the undertaking is the completed offence; the exposure and capability are the content of the undertaking.

Note for §310 §310's preparation leg 1 references the undertaking under §309(2), which is struck here; that reference resolves as an input in the §310 scope, while its references to (1) and (6) resolve in-corpus against this scope.

Treatment §309 is Operomise-tagged.

§310 · Preparation of an explosion or radiation offence

PreparationOfExplosionOrRadiationOffence · provenance StGB 310 · (1) encoded; (2)-(3) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who, for the preparation of 1. a specific undertaking within the meaning of Section 307(1) or Section 309(2), 2. an offence under Section 308(1) which is to be committed by means of explosives, 3. an offence under Section 309(1), or 4. an offence under Section 309(6), produces, procures for themselves or another, transports, keeps in custody or makes available to another nuclear fuels, other radioactive substances, explosives or the special devices necessary for committing the act, shall be punished, in the cases of point 1, with imprisonment for a term of one to ten years, in the cases of points 2 and 3, with imprisonment for a term of six months to five years, in the cases of point 4, with imprisonment for up to three years or a fine. (2) In less serious cases of paragraph 1 no. 1, the penalty shall be imprisonment for a term of six months to five years. (3) In the cases of paragraph 1 nos. 3 and 4, an attempt is punishable.

«if PreparationOfExplosionOrRadiationOffence is true»(1) {Actor} who, for the preparation of 1. «if {PreparesUndertaking307} is true»a specific undertaking within the meaning of Section 307(1) «end if» «if {PreparesUndertaking309Para2} is true»or Section 309(2) «end if», 2. «if {PreparesOffence308ByExplosives} is true»an offence under Section 308(1) which is to be committed by means of explosives «end if», 3. «if {PreparesOffence309Para1} is true»an offence under Section 309(1) «end if», or 4. «if {PreparesOffence309Para6} is true»an offence under Section 309(6) «end if», «if {Produces} is true»produces «end if» «if {Procures} is true», procures «if {ForSelf} is true»for {Actor} «end if» «if {ForAnother} is true»or another «end if» «end if» «if {Transports} is true», transports «end if» «if {KeepsInCustody} is true», keeps in custody «end if» «if {MakesAvailableToAnother} is true»or makes available to another «end if» «if {NuclearFuels} is true»nuclear fuels «end if» «if {OtherRadioactiveSubstances} is true», other radioactive substances «end if» «if {Explosives} is true», explosives «end if» «if {SpecialDevices} is true»or the special devices necessary for committing the act «end if», shall be punished, in the cases of point 1, with imprisonment for a term of one to ten years, in the cases of points 2 and 3, with imprisonment for a term of six months to five years, in the cases of point 4, with imprisonment for up to three years or a fine. (2) In less serious cases of paragraph 1 no. 1, the penalty shall be imprisonment for a term of six months to five years. (3) In the cases of paragraph 1 nos. 3 and 4, an attempt is punishable.«end if»

Annexes

Computables

[PreparedOffence] = PreparesUndertaking307 is true or PreparesUndertaking309Para2 is true or PreparesOffence308ByExplosives is true or PreparesOffence309Para1 is true or PreparesOffence309Para6 is true [PreparationObject] = NuclearFuels is true or OtherRadioactiveSubstances is true or Explosives is true or SpecialDevices is true [PreparationVerbs] = Produces is true or (Procures is true and (ForSelf is true or ForAnother is true)) or Transports is true or KeepsInCustody is true or MakesAvailableToAnother is true [PreparationOfExplosionOrRadiationOffence] = PreparedOffence is true and PreparationObject is true and PreparationVerbs is true

Business rules

id	kind	actor	verb / predicate	body
PER-R01	act	Actor		PreparesUndertaking307 is true
PER-R02	act	Actor		PreparesUndertaking309Para2 is true
PER-R03	act	Actor		PreparesOffence308ByExplosives is true
PER-R04	act	Actor		PreparesOffence309Para1 is true
PER-R05	act	Actor		PreparesOffence309Para6 is true
PER-R06	condition	None		NuclearFuels is true
PER-R07	condition	None		OtherRadioactiveSubstances is true
PER-R08	condition	None		Explosives is true
PER-R09	condition	None		SpecialDevices is true
PER-R10	act	Actor		Produces is true
PER-R11	act	Actor		Procures is true
PER-R12	condition	None		ForSelf is true
PER-R13	condition	None		ForAnother is true
PER-R14	act	Actor		Transports is true
PER-R15	act	Actor		KeepsInCustody is true
PER-R16	act	Actor		MakesAvailableToAnother is true
PER-P0	prohibition	Actor	not realise	not PreparationOfExplosionOrRadiationOffence

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
{Actor} prepares a specific undertaking within the meaning of Section 307(1)	Merkmal	{PreparesUndertaking307}	PER-R01	is true
{Actor} prepares a specific undertaking within the meaning of Section 309(2)	Merkmal	{PreparesUndertaking309Para2}	PER-R02	is true
{Actor} prepares an offence under Section 308(1) to be committed by means of explosives	Merkmal	{PreparesOffence308ByExplosives}	PER-R03	is true
{Actor} prepares an offence under Section 309(1)	Merkmal	{PreparesOffence309Para1}	PER-R04	is true
{Actor} prepares an offence under Section 309(6)	Merkmal	{PreparesOffence309Para6}	PER-R05	is true
nuclear fuels	Merkmal	{NuclearFuels}	PER-R06	is true
other radioactive substances	Merkmal	{OtherRadioactiveSubstances}	PER-R07	is true
explosives	Merkmal	{Explosives}	PER-R08	is true
the special devices necessary for committing the act	Merkmal	{SpecialDevices}	PER-R09	is true
{Actor} produces the object	Merkmal	{Produces}	PER-R10	is true
{Actor} procures the object	Merkmal	{Procures}	PER-R11	is true
for {Actor}	Merkmal	{ForSelf}	PER-R12	is true
for another person	Merkmal	{ForAnother}	PER-R13	is true
{Actor} transports the object	Merkmal	{Transports}	PER-R14	is true
{Actor} keeps the object in custody	Merkmal	{KeepsInCustody}	PER-R15	is true
{Actor} makes the object available to another person	Merkmal	{MakesAvailableToAnother}	PER-R16	is true
(1) tiered penalties; (2) lesser cases; (3) attempt	grading / attempt	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{Explosives}	Boolean	true / false / unknown	Session	explosives
{ForAnother}	Boolean	true / false / unknown	Session	for another person
{ForSelf}	Boolean	true / false / unknown	Session	for {Actor}
{KeepsInCustody}	Boolean	true / false / unknown	Session	{Actor} keeps the object in custody
{MakesAvailableToAnother}	Boolean	true / false / unknown	Session	{Actor} makes the object available to another person
{NuclearFuels}	Boolean	true / false / unknown	Session	nuclear fuels
{OtherRadioactiveSubstances}	Boolean	true / false / unknown	Session	other radioactive substances
{PreparesOffence308ByExplosives}	Boolean	true / false / unknown	Session	{Actor} prepares an offence under Section 308(1) to be committed by means of explosives
{PreparesOffence309Para1}	Boolean	true / false / unknown	Session	{Actor} prepares an offence under Section 309(1)
{PreparesOffence309Para6}	Boolean	true / false / unknown	Session	{Actor} prepares an offence under Section 309(6)
{PreparesUndertaking307}	Boolean	true / false / unknown	Session	{Actor} prepares a specific undertaking within the meaning of Section 307(1)
{PreparesUndertaking309Para2}	Boolean	true / false / unknown	Session	{Actor} prepares a specific undertaking within the meaning of Section 309(2)
{Procures}	Boolean	true / false / unknown	Session	{Actor} procures the object
{Produces}	Boolean	true / false / unknown	Session	{Actor} produces the object
{SpecialDevices}	Boolean	true / false / unknown	Session	the special devices necessary for committing the act
{Transports}	Boolean	true / false / unknown	Session	{Actor} transports the object

Reconstruction from the substrate

Committed by any person (the actor) who: ({Actor} prepares a specific undertaking within the meaning of Section 307(1) or {Actor} prepares a specific undertaking within the meaning of Section 309(2) or {Actor} prepares an offence under Section 308(1) to be committed by means of explosives or {Actor} prepares an offence under Section 309(1) or {Actor} prepares an offence under Section 309(6)) and (nuclear fuels or other radioactive substances or explosives or the special devices necessary for committing the act) and ({Actor} produces the object or ({Actor} procures the object and (for {Actor} or for another person)) or {Actor} transports the object or {Actor} keeps the object in custody or {Actor} makes the object available to another person).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[PreparedOffence]	PreparesUndertaking307, PreparesUndertaking309Para2, PreparesOffence308ByExplosives, PreparesOffence309Para1, PreparesOffence309Para6	false	Recomputes when any input changes; propagates into the composite.
[PreparationObject]	NuclearFuels, OtherRadioactiveSubstances, Explosives, SpecialDevices	false	Recomputes when any input changes; propagates into the composite.
[PreparationVerbs]	Produces, Procures, ForSelf, ForAnother, Transports, KeepsInCustody, MakesAvailableToAnother	false	Recomputes when any input changes; propagates into the composite.
[PreparationOfExplosionOrRadiationOffence]	PreparedOffence, PreparationObject, PreparationVerbs	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (PER-P0)	[PreparationOfExplosionOrRadiationOffence]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {Explosives} ├─ {ForAnother} ├─ {ForSelf} ├─ {KeepsInCustody} ├─ {MakesAvailableToAnother} ├─ {NuclearFuels} ├─ {OtherRadioactiveSubstances} ├─ {PreparesOffence308ByExplosives} ├─ {PreparesOffence309Para1} ├─ {PreparesOffence309Para6} ├─ {PreparesUndertaking307} ├─ {PreparesUndertaking309Para2} ├─ {Procures} ├─ {Produces} ├─ {SpecialDevices} ├─ {Transports} ↓ PHASE 2: evaluate act / intermediate computables ├─ [PreparedOffence] = PreparesUndertaking307 is true or PreparesUndertaking309Para2 is true or PreparesOffence308ByExplosives is true or PreparesOffence309Para1 is true or PreparesOffence309Para6 is true ├─ [PreparationObject] = NuclearFuels is true or OtherRadioactiveSubstances is true or Explosives is true or SpecialDevices is true ├─ [PreparationVerbs] = Produces is true or (Procures is true and (ForSelf is true or ForAnother is true)) or Transports is true or KeepsInCustody is true or MakesAvailableToAnother is true ↓ PHASE 3: evaluate the objective conditions └─ [PreparationOfExplosionOrRadiationOffence] = PreparedOffence is true and PreparationObject is true and PreparationVerbs is true ↓ VERDICT (PrimeRule) ├─ [PreparationOfExplosionOrRadiationOffence] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [PreparationOfExplosionOrRadiationOffence] is false → not realised

Recursion / re-entry notes

Circularity check

• [PreparationOfExplosionOrRadiationOffence] depends on [PreparedOffence], [PreparationObject], [PreparationVerbs]; none refer back to [PreparationOfExplosionOrRadiationOffence]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{Explosives}	Element/Datum: explosives.?	Boolean
Q3	Session	{ForAnother}	Element/Datum: for another person.?	Boolean
Q4	Session	{ForSelf}	Element/Datum: for {Actor}.?	Boolean
Q5	Session	{KeepsInCustody}	Element/Datum: {Actor} keeps the object in custody.?	Boolean
Q6	Session	{MakesAvailableToAnother}	Element/Datum: {Actor} makes the object available to another person.?	Boolean
Q7	Session	{NuclearFuels}	Element/Datum: nuclear fuels.?	Boolean
Q8	Session	{OtherRadioactiveSubstances}	Element/Datum: other radioactive substances.?	Boolean
Q9	Session	{PreparesOffence308ByExplosives}	Element/Datum: {Actor} prepares an offence under Section 308(1) to be committed by means of explosives.?	Boolean
Q10	Session	{PreparesOffence309Para1}	Element/Datum: {Actor} prepares an offence under Section 309(1).?	Boolean
Q11	Session	{PreparesOffence309Para6}	Element/Datum: {Actor} prepares an offence under Section 309(6).?	Boolean
Q12	Session	{PreparesUndertaking307}	Element/Datum: {Actor} prepares a specific undertaking within the meaning of Section 307(1).?	Boolean
Q13	Session	{PreparesUndertaking309Para2}	Element/Datum: {Actor} prepares a specific undertaking within the meaning of Section 309(2).?	Boolean
Q14	Session	{Procures}	Element/Datum: {Actor} procures the object.?	Boolean
Q15	Session	{Produces}	Element/Datum: {Actor} produces the object.?	Boolean
Q16	Session	{SpecialDevices}	Element/Datum: the special devices necessary for committing the act.?	Boolean
Q17	Session	{Transports}	Element/Datum: {Actor} transports the object.?	Boolean

Flags

Scope Paragraph 1 whole: the four prepared-offence legs over the four-object catalogue and the five preparation verbs. Struck per the marked-up source: the tiered penalty clause inside (1), (2) and (3).

Cross-references, mixed resolution {PreparesUndertaking307}, {PreparesOffence309Para1} and {PreparesOffence309Para6} resolve in-corpus against the §307 and §309 scopes of this document. {PreparesUndertaking309Para2} references §309(2), which the markup strikes in that scope; that leg resolves as an input, recorded here. {PreparesOffence308ByExplosives} resolves against the §308 scope with the by-explosives qualification carried in the variable.

Verb set The five verbs match §263a(3) except that “befördert” (transports) replaces “feilhält” (offers for sale); the beneficiary pair attaches to {Procures} only, mirrored in [PreparationVerbs].

Treatment §310 is Operomise-tagged.

§315 · Dangerous interference with rail, shipping and air traffic

DangerousTrafficInterference · provenance StGB 315 · (1) encoded; (2)-(6) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who impairs the safety of rail, suspension railway, shipping or air traffic by 1. destroying, damaging or removing installations or means of transport, 2. creating obstacles, 3. giving false signs or signals, or 4. undertaking a similar, equally dangerous interference, and thereby endangers the limb or life of another person or property of another of significant value, shall be punished with imprisonment for a term of six months to ten years. (2) An attempt is punishable. (3) A term of imprisonment of not less than one year shall be imposed if the offender 1. acts with the intention of a) causing an accident, or b) facilitating or covering up another offence, or 2. causes a serious damage to the health of another person or damage to the health of a large number of people by the act. (4) In less serious cases of paragraph 1, the penalty shall be imprisonment for a term of three months to five years; in less serious cases of paragraph 3, imprisonment for a term of six months to five years. (5) Any person who negligently causes the danger in the cases of paragraph 1 shall be punished with imprisonment for up to five years or a fine. (6) Any person who acts negligently in the cases of paragraph 1 and negligently causes the danger shall be punished with imprisonment for up to two years or a fine.

«if DangerousTrafficInterference is true»(1) {Actor} who «if {ImpairsSafety} is true»impairs the safety of «end if» «if {RailTraffic} is true»rail «end if» «if {SuspensionRailwayTraffic} is true», suspension railway «end if» «if {ShippingTraffic} is true», shipping «end if» «if {AirTraffic} is true»or air traffic «end if» by 1. «if {Destroys} is true»destroying «end if» «if {Damages} is true», damaging «end if» «if {Removes} is true»or removing «end if» «if {Installations} is true»installations «end if» «if {MeansOfTransport} is true»or means of transport «end if», 2. «if {CreatesObstacles} is true»creating obstacles «end if», 3. «if {GivesFalseSigns} is true»giving false signs «end if» «if {GivesFalseSignals} is true»or signals «end if», or 4. «if {SimilarDangerousInterference} is true»undertaking a similar, equally dangerous interference «end if», and thereby endangers «if {EndangersLimbOfAnother} is true»the limb «end if» «if {EndangersLifeOfAnother} is true»or life of another person «end if» or «if {EndangersPropertyOfAnother} is true»property of another «if {OfSignificantValue} is true»of significant value «end if» «end if» shall be punished with imprisonment for a term of six months to ten years. (2) An attempt is punishable. (3) A term of imprisonment of not less than one year shall be imposed if the offender 1. acts with the intention of a) causing an accident, or b) facilitating or covering up another offence, or 2. causes a serious damage to the health of another person or damage to the health of a large number of people by the act. (4) In less serious cases of paragraph 1, the penalty shall be imprisonment for a term of three months to five years; in less serious cases of paragraph 3, imprisonment for a term of six months to five years. (5) Any person who negligently causes the danger in the cases of paragraph 1 shall be punished with imprisonment for up to five years or a fine. (6) Any person who acts negligently in the cases of paragraph 1 and negligently causes the danger shall be punished with imprisonment for up to two years or a fine.«end if»

Annexes

Computables

[TrafficMode] = RailTraffic is true or SuspensionRailwayTraffic is true or ShippingTraffic is true or AirTraffic is true [Means1] = (Destroys is true or Damages is true or Removes is true) and (Installations is true or MeansOfTransport is true) [InterferenceMeans] = Means1 is true or CreatesObstacles is true or GivesFalseSigns is true or GivesFalseSignals is true or SimilarDangerousInterference is true [Endangerment] = EndangersLimbOfAnother is true or EndangersLifeOfAnother is true or (EndangersPropertyOfAnother is true and OfSignificantValue is true) [DangerousTrafficInterference] = ImpairsSafety is true and TrafficMode is true and InterferenceMeans is true and Endangerment is true

Business rules

id	kind	actor	verb / predicate	body
DIT-R01	act	Actor		ImpairsSafety is true
DIT-R02	condition	None		RailTraffic is true
DIT-R03	condition	None		SuspensionRailwayTraffic is true
DIT-R04	condition	None		ShippingTraffic is true
DIT-R05	condition	None		AirTraffic is true
DIT-R06	act	Actor		Destroys is true
DIT-R07	act	Actor		Damages is true
DIT-R08	act	Actor		Removes is true
DIT-R09	condition	None		Installations is true
DIT-R10	condition	None		MeansOfTransport is true
DIT-R11	act	Actor		CreatesObstacles is true
DIT-R12	act	Actor		GivesFalseSigns is true
DIT-R13	act	Actor		GivesFalseSignals is true
DIT-R14	act	Actor		SimilarDangerousInterference is true
DIT-R15	act	Actor		EndangersLimbOfAnother is true
DIT-R16	act	Actor		EndangersLifeOfAnother is true
DIT-R17	act	Actor		EndangersPropertyOfAnother is true
DIT-R18	condition	None		OfSignificantValue is true
DIT-P0	prohibition	Actor	not realise	not DangerousTrafficInterference

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
{Actor} impairs the safety of the traffic	Merkmal	{ImpairsSafety}	DIT-R01	is true
rail traffic	Merkmal	{RailTraffic}	DIT-R02	is true
suspension railway traffic	Merkmal	{SuspensionRailwayTraffic}	DIT-R03	is true
shipping traffic	Merkmal	{ShippingTraffic}	DIT-R04	is true
air traffic	Merkmal	{AirTraffic}	DIT-R05	is true
{Actor} destroys the object	Merkmal	{Destroys}	DIT-R06	is true
{Actor} damages the object	Merkmal	{Damages}	DIT-R07	is true
{Actor} removes the object	Merkmal	{Removes}	DIT-R08	is true
installations	Merkmal	{Installations}	DIT-R09	is true
means of transport	Merkmal	{MeansOfTransport}	DIT-R10	is true
{Actor} creates obstacles	Merkmal	{CreatesObstacles}	DIT-R11	is true
{Actor} gives false signs	Merkmal	{GivesFalseSigns}	DIT-R12	is true
{Actor} gives false signals	Merkmal	{GivesFalseSignals}	DIT-R13	is true
{Actor} undertakes a similarly dangerous interference	Merkmal	{SimilarDangerousInterference}	DIT-R14	is true
{Actor} thereby endangers the limb of another person	Merkmal	{EndangersLimbOfAnother}	DIT-R15	is true
{Actor} thereby endangers the life of another person	Merkmal	{EndangersLifeOfAnother}	DIT-R16	is true
{Actor} thereby endangers property of another	Merkmal	{EndangersPropertyOfAnother}	DIT-R17	is true
the property is of significant value	Merkmal	{OfSignificantValue}	DIT-R18	is true
(2) attempt; (3) intent and result aggravations; (4) lesser cases; (5)-(6) negligence variants	attempt / grading / negligence	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{AirTraffic}	Boolean	true / false / unknown	Session	air traffic
{CreatesObstacles}	Boolean	true / false / unknown	Session	{Actor} creates obstacles
{Damages}	Boolean	true / false / unknown	Session	{Actor} damages the object
{Destroys}	Boolean	true / false / unknown	Session	{Actor} destroys the object
{EndangersLifeOfAnother}	Boolean	true / false / unknown	Session	{Actor} thereby endangers the life of another person
{EndangersLimbOfAnother}	Boolean	true / false / unknown	Session	{Actor} thereby endangers the limb of another person
{EndangersPropertyOfAnother}	Boolean	true / false / unknown	Session	{Actor} thereby endangers property of another
{GivesFalseSignals}	Boolean	true / false / unknown	Session	{Actor} gives false signals
{GivesFalseSigns}	Boolean	true / false / unknown	Session	{Actor} gives false signs
{ImpairsSafety}	Boolean	true / false / unknown	Session	{Actor} impairs the safety of the traffic
{Installations}	Boolean	true / false / unknown	Session	installations
{MeansOfTransport}	Boolean	true / false / unknown	Session	means of transport
{OfSignificantValue}	Boolean	true / false / unknown	Session	the property is of significant value
{RailTraffic}	Boolean	true / false / unknown	Session	rail traffic
{Removes}	Boolean	true / false / unknown	Session	{Actor} removes the object
{ShippingTraffic}	Boolean	true / false / unknown	Session	shipping traffic
{SimilarDangerousInterference}	Boolean	true / false / unknown	Session	{Actor} undertakes a similarly dangerous interference
{SuspensionRailwayTraffic}	Boolean	true / false / unknown	Session	suspension railway traffic

Reconstruction from the substrate

Committed by any person (the actor) who: {Actor} impairs the safety of the traffic and (rail traffic or suspension railway traffic or shipping traffic or air traffic) and ((({Actor} destroys the object or {Actor} damages the object or {Actor} removes the object) and (installations or means of transport)) or {Actor} creates obstacles or {Actor} gives false signs or {Actor} gives false signals or {Actor} undertakes a similarly dangerous interference) and ({Actor} thereby endangers the limb of another person or {Actor} thereby endangers the life of another person or ({Actor} thereby endangers property of another and the property is of significant value)).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[TrafficMode]	RailTraffic, SuspensionRailwayTraffic, ShippingTraffic, AirTraffic	false	Recomputes when any input changes; propagates into the composite.
[Means1]	Destroys, Damages, Removes, Installations, MeansOfTransport	false	Recomputes when any input changes; propagates into the composite.
[InterferenceMeans]	Means1, CreatesObstacles, GivesFalseSigns, GivesFalseSignals, SimilarDangerousInterference	false	Recomputes when any input changes; propagates into the composite.
[Endangerment]	EndangersLimbOfAnother, EndangersLifeOfAnother, EndangersPropertyOfAnother, OfSignificantValue	false	Recomputes when any input changes; propagates into the composite.
[DangerousTrafficInterference]	ImpairsSafety, TrafficMode, InterferenceMeans, Endangerment	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (DIT-P0)	[DangerousTrafficInterference]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {AirTraffic} ├─ {CreatesObstacles} ├─ {Damages} ├─ {Destroys} ├─ {EndangersLifeOfAnother} ├─ {EndangersLimbOfAnother} ├─ {EndangersPropertyOfAnother} ├─ {GivesFalseSignals} ├─ {GivesFalseSigns} ├─ {ImpairsSafety} ├─ {Installations} ├─ {MeansOfTransport} ├─ {OfSignificantValue} ├─ {RailTraffic} ├─ {Removes} ├─ {ShippingTraffic} ├─ {SimilarDangerousInterference} ├─ {SuspensionRailwayTraffic} ↓ PHASE 2: evaluate act / intermediate computables ├─ [TrafficMode] = RailTraffic is true or SuspensionRailwayTraffic is true or ShippingTraffic is true or AirTraffic is true ├─ [Means1] = (Destroys is true or Damages is true or Removes is true) and (Installations is true or MeansOfTransport is true) ├─ [InterferenceMeans] = Means1 is true or CreatesObstacles is true or GivesFalseSigns is true or GivesFalseSignals is true or SimilarDangerousInterference is true ├─ [Endangerment] = EndangersLimbOfAnother is true or EndangersLifeOfAnother is true or (EndangersPropertyOfAnother is true and OfSignificantValue is true) ↓ PHASE 3: evaluate the objective conditions └─ [DangerousTrafficInterference] = ImpairsSafety is true and TrafficMode is true and InterferenceMeans is true and Endangerment is true ↓ VERDICT (PrimeRule) ├─ [DangerousTrafficInterference] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [DangerousTrafficInterference] is false → not realised

Recursion / re-entry notes

Circularity check

• [DangerousTrafficInterference] depends on [TrafficMode], [Means1], [InterferenceMeans], [Endangerment]; none refer back to [DangerousTrafficInterference]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{AirTraffic}	Element/Datum: air traffic.?	Boolean
Q3	Session	{CreatesObstacles}	Element/Datum: {Actor} creates obstacles.?	Boolean
Q4	Session	{Damages}	Element/Datum: {Actor} damages the object.?	Boolean
Q5	Session	{Destroys}	Element/Datum: {Actor} destroys the object.?	Boolean
Q6	Session	{EndangersLifeOfAnother}	Element/Datum: {Actor} thereby endangers the life of another person.?	Boolean
Q7	Session	{EndangersLimbOfAnother}	Element/Datum: {Actor} thereby endangers the limb of another person.?	Boolean
Q8	Session	{EndangersPropertyOfAnother}	Element/Datum: {Actor} thereby endangers property of another.?	Boolean
Q9	Session	{GivesFalseSignals}	Element/Datum: {Actor} gives false signals.?	Boolean
Q10	Session	{GivesFalseSigns}	Element/Datum: {Actor} gives false signs.?	Boolean
Q11	Session	{ImpairsSafety}	Element/Datum: {Actor} impairs the safety of the traffic.?	Boolean
Q12	Session	{Installations}	Element/Datum: installations.?	Boolean
Q13	Session	{MeansOfTransport}	Element/Datum: means of transport.?	Boolean
Q14	Session	{OfSignificantValue}	Element/Datum: the property is of significant value.?	Boolean
Q15	Session	{RailTraffic}	Element/Datum: rail traffic.?	Boolean
Q16	Session	{Removes}	Element/Datum: {Actor} removes the object.?	Boolean
Q17	Session	{ShippingTraffic}	Element/Datum: shipping traffic.?	Boolean
Q18	Session	{SimilarDangerousInterference}	Element/Datum: {Actor} undertakes a similarly dangerous interference.?	Boolean
Q19	Session	{SuspensionRailwayTraffic}	Element/Datum: suspension railway traffic.?	Boolean

Flags

Scope Paragraph 1 whole: the safety-impairment chapeau over the four traffic modes, the four interference means and the endangerment. Struck per the marked-up source: (2) to (6); the accident-or-concealment intentions live in struck (3) and so escalate, consistent with the retention criterion since (1)'s wrongfulness is objective. §315b to §315f (road traffic) are Excluded in the Treatment column.

Means decomposition Number 1's three verbs span the two coordinated objects in [Means1]; numbers 2 to 4 are single-act legs; the analogy clause of number 4 (“ein ähnlicher, ebenso gefährlicher Eingriff”) is a single evaluative act variable whose similarity assessment escalates.

Shared endangerment Merkmal The shared endangerment names are reused, identical by name with §307, §308 and §315a.

Treatment §315 is Operomise-tagged.

§315a · Endangering rail, shipping and air traffic

EndangeringTraffic · provenance StGB 315a · (1) encoded; (2)-(3) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Imprisonment for up to five years or a fine shall be imposed on anyone who 1. operates a rail or suspension railway vehicle, a ship or an aircraft although, as a result of the consumption of alcoholic beverages or other intoxicating substances or as a result of mental or physical deficiencies, they are unable to operate the vehicle safely, or 2. as the operator of such a vehicle or as a person otherwise responsible for safety, grossly breaches legal provisions on the safety of rail, suspension railway, shipping or air traffic, and thereby endangers the limb or life of another person or property of another of significant value. (2) In the cases of paragraph 1 no. 1, an attempt is punishable. (3) Any person who, in the cases of paragraph 1, 1. negligently causes the danger, or 2. acts negligently and negligently causes the danger, shall be punished with imprisonment for up to two years or a fine.

«if EndangeringTraffic is true»(1) Imprisonment for up to five years or a fine shall be imposed on {Actor} who 1. «if {OperatesVehicle} is true»operates «end if» «if {RailVehicle} is true»a rail «end if» «if {SuspensionRailwayVehicle} is true»or suspension railway vehicle «end if» «if {Ship} is true», a ship «end if» «if {Aircraft} is true»or an aircraft «end if» although, «if {ConsumptionOfAlcohol} is true»as a result of the consumption of alcoholic beverages «end if» «if {OtherIntoxicants} is true»or other intoxicating substances «end if» «if {MentalDeficiencies} is true»or as a result of mental «end if» «if {PhysicalDeficiencies} is true»or physical deficiencies «end if», «if {UnableToOperateSafely} is true»{Actor} is unable to operate the vehicle safely «end if», or 2. «if {AsOperator} is true»as the operator of such a vehicle «end if» «if {AsPersonResponsibleForSafety} is true»or as a person otherwise responsible for safety «end if», «if {GrosslyBreachesSafetyProvisions} is true»grossly breaches legal provisions on the safety of rail, suspension railway, shipping or air traffic «end if», and thereby endangers «if {EndangersLimbOfAnother} is true»the limb «end if» «if {EndangersLifeOfAnother} is true»or life of another person «end if» or «if {EndangersPropertyOfAnother} is true»property of another «if {OfSignificantValue} is true»of significant value «end if» «end if». (2) In the cases of paragraph 1 no. 1, an attempt is punishable. (3) Any person who, in the cases of paragraph 1, 1. negligently causes the danger, or 2. acts negligently and negligently causes the danger, shall be punished with imprisonment for up to two years or a fine.«end if»

Annexes

Computables

[VehicleObject] = RailVehicle is true or SuspensionRailwayVehicle is true or Ship is true or Aircraft is true [Leg2] = (AsOperator is true or AsPersonResponsibleForSafety is true) and GrosslyBreachesSafetyProvisions is true [Incapacity] = UnableToOperateSafely is true and (ConsumptionOfAlcohol is true or OtherIntoxicants is true or MentalDeficiencies is true or PhysicalDeficiencies is true) [Leg1] = OperatesVehicle is true and VehicleObject is true and Incapacity is true [Endangerment] = EndangersLimbOfAnother is true or EndangersLifeOfAnother is true or (EndangersPropertyOfAnother is true and OfSignificantValue is true) [EndangeringTraffic] = (Leg1 is true or Leg2 is true) and Endangerment is true

Business rules

id	kind	actor	verb / predicate	body
ERT-R01	act	Actor		OperatesVehicle is true
ERT-R02	condition	None		RailVehicle is true
ERT-R03	condition	None		SuspensionRailwayVehicle is true
ERT-R04	condition	None		Ship is true
ERT-R05	condition	None		Aircraft is true
ERT-R06	condition	None		UnableToOperateSafely is true
ERT-R07	condition	None		ConsumptionOfAlcohol is true
ERT-R08	condition	None		OtherIntoxicants is true
ERT-R09	condition	None		MentalDeficiencies is true
ERT-R10	condition	None		PhysicalDeficiencies is true
ERT-R11	condition	None		AsOperator is true
ERT-R12	condition	None		AsPersonResponsibleForSafety is true
ERT-R13	act	Actor		GrosslyBreachesSafetyProvisions is true
ERT-R14	act	Actor		EndangersLimbOfAnother is true
ERT-R15	act	Actor		EndangersLifeOfAnother is true
ERT-R16	act	Actor		EndangersPropertyOfAnother is true
ERT-R17	condition	None		OfSignificantValue is true
ERT-P0	prohibition	Actor	not realise	not EndangeringTraffic

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
anyone who	Tätersubjekt	{Actor}	—	in scope
{Actor} operates the vehicle	Merkmal	{OperatesVehicle}	ERT-R01	is true
a rail vehicle	Merkmal	{RailVehicle}	ERT-R02	is true
a suspension railway vehicle	Merkmal	{SuspensionRailwayVehicle}	ERT-R03	is true
a ship	Merkmal	{Ship}	ERT-R04	is true
an aircraft	Merkmal	{Aircraft}	ERT-R05	is true
{Actor} is unable to operate the vehicle safely	Merkmal	{UnableToOperateSafely}	ERT-R06	is true
as a result of the consumption of alcoholic beverages	Merkmal	{ConsumptionOfAlcohol}	ERT-R07	is true
as a result of other intoxicating substances	Merkmal	{OtherIntoxicants}	ERT-R08	is true
as a result of mental deficiencies	Merkmal	{MentalDeficiencies}	ERT-R09	is true
as a result of physical deficiencies	Merkmal	{PhysicalDeficiencies}	ERT-R10	is true
as the operator of such a vehicle	Merkmal	{AsOperator}	ERT-R11	is true
as a person otherwise responsible for safety	Merkmal	{AsPersonResponsibleForSafety}	ERT-R12	is true
{Actor} grossly breaches legal provisions on the safety of the traffic	Merkmal	{GrosslyBreachesSafetyProvisions}	ERT-R13	is true
{Actor} thereby endangers the limb of another person	Merkmal	{EndangersLimbOfAnother}	ERT-R14	is true
{Actor} thereby endangers the life of another person	Merkmal	{EndangersLifeOfAnother}	ERT-R15	is true
{Actor} thereby endangers property of another	Merkmal	{EndangersPropertyOfAnother}	ERT-R16	is true
the property is of significant value	Merkmal	{OfSignificantValue}	ERT-R17	is true
(2) attempt; (3) negligence variants	attempt / negligence	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{Aircraft}	Boolean	true / false / unknown	Session	an aircraft
{AsOperator}	Boolean	true / false / unknown	Session	as the operator of such a vehicle
{AsPersonResponsibleForSafety}	Boolean	true / false / unknown	Session	as a person otherwise responsible for safety
{ConsumptionOfAlcohol}	Boolean	true / false / unknown	Session	as a result of the consumption of alcoholic beverages
{EndangersLifeOfAnother}	Boolean	true / false / unknown	Session	{Actor} thereby endangers the life of another person
{EndangersLimbOfAnother}	Boolean	true / false / unknown	Session	{Actor} thereby endangers the limb of another person
{EndangersPropertyOfAnother}	Boolean	true / false / unknown	Session	{Actor} thereby endangers property of another
{GrosslyBreachesSafetyProvisions}	Boolean	true / false / unknown	Session	{Actor} grossly breaches legal provisions on the safety of the traffic
{MentalDeficiencies}	Boolean	true / false / unknown	Session	as a result of mental deficiencies
{OfSignificantValue}	Boolean	true / false / unknown	Session	the property is of significant value
{OperatesVehicle}	Boolean	true / false / unknown	Session	{Actor} operates the vehicle
{OtherIntoxicants}	Boolean	true / false / unknown	Session	as a result of other intoxicating substances
{PhysicalDeficiencies}	Boolean	true / false / unknown	Session	as a result of physical deficiencies
{RailVehicle}	Boolean	true / false / unknown	Session	a rail vehicle
{Ship}	Boolean	true / false / unknown	Session	a ship
{SuspensionRailwayVehicle}	Boolean	true / false / unknown	Session	a suspension railway vehicle
{UnableToOperateSafely}	Boolean	true / false / unknown	Session	{Actor} is unable to operate the vehicle safely

Reconstruction from the substrate

Committed by any person (the actor) who: (({Actor} operates the vehicle and (a rail vehicle or a suspension railway vehicle or a ship or an aircraft) and ({Actor} is unable to operate the vehicle safely and (as a result of the consumption of alcoholic beverages or as a result of other intoxicating substances or as a result of mental deficiencies or as a result of physical deficiencies))) or ((as the operator of such a vehicle or as a person otherwise responsible for safety) and {Actor} grossly breaches legal provisions on the safety of the traffic)) and ({Actor} thereby endangers the limb of another person or {Actor} thereby endangers the life of another person or ({Actor} thereby endangers property of another and the property is of significant value)).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[VehicleObject]	RailVehicle, SuspensionRailwayVehicle, Ship, Aircraft	false	Recomputes when any input changes; propagates into the composite.
[Leg2]	AsOperator, AsPersonResponsibleForSafety, GrosslyBreachesSafetyProvisions	false	Recomputes when any input changes; propagates into the composite.
[Incapacity]	UnableToOperateSafely, ConsumptionOfAlcohol, OtherIntoxicants, MentalDeficiencies, PhysicalDeficiencies	false	Recomputes when any input changes; propagates into the composite.
[Leg1]	OperatesVehicle, VehicleObject, Incapacity	false	Recomputes when any input changes; propagates into the composite.
[Endangerment]	EndangersLimbOfAnother, EndangersLifeOfAnother, EndangersPropertyOfAnother, OfSignificantValue	false	Recomputes when any input changes; propagates into the composite.
[EndangeringTraffic]	Leg1, Leg2, Endangerment	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (ERT-P0)	[EndangeringTraffic]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {Aircraft} ├─ {AsOperator} ├─ {AsPersonResponsibleForSafety} ├─ {ConsumptionOfAlcohol} ├─ {EndangersLifeOfAnother} ├─ {EndangersLimbOfAnother} ├─ {EndangersPropertyOfAnother} ├─ {GrosslyBreachesSafetyProvisions} ├─ {MentalDeficiencies} ├─ {OfSignificantValue} ├─ {OperatesVehicle} ├─ {OtherIntoxicants} ├─ {PhysicalDeficiencies} ├─ {RailVehicle} ├─ {Ship} ├─ {SuspensionRailwayVehicle} ├─ {UnableToOperateSafely} ↓ PHASE 2: evaluate act / intermediate computables ├─ [VehicleObject] = RailVehicle is true or SuspensionRailwayVehicle is true or Ship is true or Aircraft is true ├─ [Leg2] = (AsOperator is true or AsPersonResponsibleForSafety is true) and GrosslyBreachesSafetyProvisions is true ├─ [Incapacity] = UnableToOperateSafely is true and (ConsumptionOfAlcohol is true or OtherIntoxicants is true or MentalDeficiencies is true or PhysicalDeficiencies is true) ├─ [Leg1] = OperatesVehicle is true and VehicleObject is true and Incapacity is true ├─ [Endangerment] = EndangersLimbOfAnother is true or EndangersLifeOfAnother is true or (EndangersPropertyOfAnother is true and OfSignificantValue is true) ↓ PHASE 3: evaluate the objective conditions └─ [EndangeringTraffic] = (Leg1 is true or Leg2 is true) and Endangerment is true ↓ VERDICT (PrimeRule) ├─ [EndangeringTraffic] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [EndangeringTraffic] is false → not realised

Recursion / re-entry notes

Circularity check

• [EndangeringTraffic] depends on [VehicleObject], [Leg2], [Incapacity], [Leg1], [Endangerment]; none refer back to [EndangeringTraffic]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{Aircraft}	Element/Datum: an aircraft.?	Boolean
Q3	Session	{AsOperator}	Element/Datum: as the operator of such a vehicle.?	Boolean
Q4	Session	{AsPersonResponsibleForSafety}	Element/Datum: as a person otherwise responsible for safety.?	Boolean
Q5	Session	{ConsumptionOfAlcohol}	Element/Datum: as a result of the consumption of alcoholic beverages.?	Boolean
Q6	Session	{EndangersLifeOfAnother}	Element/Datum: {Actor} thereby endangers the life of another person.?	Boolean
Q7	Session	{EndangersLimbOfAnother}	Element/Datum: {Actor} thereby endangers the limb of another person.?	Boolean
Q8	Session	{EndangersPropertyOfAnother}	Element/Datum: {Actor} thereby endangers property of another.?	Boolean
Q9	Session	{GrosslyBreachesSafetyProvisions}	Element/Datum: {Actor} grossly breaches legal provisions on the safety of the traffic.?	Boolean
Q10	Session	{MentalDeficiencies}	Element/Datum: as a result of mental deficiencies.?	Boolean
Q11	Session	{OfSignificantValue}	Element/Datum: the property is of significant value.?	Boolean
Q12	Session	{OperatesVehicle}	Element/Datum: {Actor} operates the vehicle.?	Boolean
Q13	Session	{OtherIntoxicants}	Element/Datum: as a result of other intoxicating substances.?	Boolean
Q14	Session	{PhysicalDeficiencies}	Element/Datum: as a result of physical deficiencies.?	Boolean
Q15	Session	{RailVehicle}	Element/Datum: a rail vehicle.?	Boolean
Q16	Session	{Ship}	Element/Datum: a ship.?	Boolean
Q17	Session	{SuspensionRailwayVehicle}	Element/Datum: a suspension railway vehicle.?	Boolean
Q18	Session	{UnableToOperateSafely}	Element/Datum: {Actor} is unable to operate the vehicle safely.?	Boolean

Flags

Scope Paragraph 1 whole: the incapacitated-operation leg and the gross-breach leg, sharing the endangerment. Struck per the marked-up source: the sanctions head of (1), (2) and (3).

Incapacity decomposition The four causes (alcohol, other intoxicants, mental, physical) each stand in their own gated block, disjoined in [Incapacity] under the {UnableToOperateSafely} head; the same alcohol and intoxicant variables recur by name in §316.

Gross breach “grob pflichtwidriges Verhalten gegen Rechtsvorschriften” is a single evaluative act variable; which provision was breached and the grossness assessment escalate.

Treatment §315a is Operomise-tagged.

§316 · Drink-driving

DrinkDriving · provenance StGB 316 · (1) core encoded; subsidiarity and (2) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who operates a vehicle in traffic (Sections 315 to 315e) although, as a result of the consumption of alcoholic beverages or other intoxicating substances, they are unable to operate the vehicle safely shall be punished with imprisonment for up to one year or a fine, unless the act is subject to punishment under Section 315a or Section 315c. (2) A person who commits the act negligently shall also be punished under paragraph 1.

«if DrinkDriving is true»(1) {Actor} who «if {OperatesVehicleInTraffic} is true»operates a vehicle in traffic (Sections 315 to 315e) «end if» although, «if {ConsumptionOfAlcohol} is true»as a result of the consumption of alcoholic beverages «end if» «if {OtherIntoxicants} is true»or other intoxicating substances «end if», «if {UnableToOperateSafely} is true»{Actor} is unable to operate the vehicle safely «end if» shall be punished with imprisonment for up to one year or a fine, unless the act is subject to punishment under Section 315a or Section 315c. (2) A person who commits the act negligently shall also be punished under paragraph 1.«end if»

Annexes

Computables

[DrinkDriving] = OperatesVehicleInTraffic is true and UnableToOperateSafely is true and (ConsumptionOfAlcohol is true or OtherIntoxicants is true)

Business rules

id	kind	actor	verb / predicate	body
DDR-R01	act	Actor		OperatesVehicleInTraffic is true
DDR-R02	condition	None		UnableToOperateSafely is true
DDR-R03	condition	None		ConsumptionOfAlcohol is true
DDR-R04	condition	None		OtherIntoxicants is true
DDR-P0	prohibition	Actor	not realise	not DrinkDriving

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
{Actor} operates a vehicle in traffic (Sections 315 to 315e)	Merkmal	{OperatesVehicleInTraffic}	DDR-R01	is true
{Actor} is unable to operate the vehicle safely	Merkmal	{UnableToOperateSafely}	DDR-R02	is true
as a result of the consumption of alcoholic beverages	Merkmal	{ConsumptionOfAlcohol}	DDR-R03	is true
as a result of other intoxicating substances	Merkmal	{OtherIntoxicants}	DDR-R04	is true
(1) subsidiarity clause; (2) negligence variant	subsidiarity / negligence	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{ConsumptionOfAlcohol}	Boolean	true / false / unknown	Session	as a result of the consumption of alcoholic beverages
{OperatesVehicleInTraffic}	Boolean	true / false / unknown	Session	{Actor} operates a vehicle in traffic (Sections 315 to 315e)
{OtherIntoxicants}	Boolean	true / false / unknown	Session	as a result of other intoxicating substances
{UnableToOperateSafely}	Boolean	true / false / unknown	Session	{Actor} is unable to operate the vehicle safely

Reconstruction from the substrate

Committed by any person (the actor) who: {Actor} operates a vehicle in traffic (Sections 315 to 315e) and {Actor} is unable to operate the vehicle safely and (as a result of the consumption of alcoholic beverages or as a result of other intoxicating substances).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[DrinkDriving]	OperatesVehicleInTraffic, UnableToOperateSafely, ConsumptionOfAlcohol, OtherIntoxicants	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (DDR-P0)	[DrinkDriving]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ConsumptionOfAlcohol} ├─ {OperatesVehicleInTraffic} ├─ {OtherIntoxicants} ├─ {UnableToOperateSafely} ↓ PHASE 2: evaluate act / intermediate computables ↓ PHASE 3: evaluate the objective conditions └─ [DrinkDriving] = OperatesVehicleInTraffic is true and UnableToOperateSafely is true and (ConsumptionOfAlcohol is true or OtherIntoxicants is true) ↓ VERDICT (PrimeRule) ├─ [DrinkDriving] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [DrinkDriving] is false → not realised

Recursion / re-entry notes

Circularity check

• [DrinkDriving] depends on ; none refer back to [DrinkDriving]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{ConsumptionOfAlcohol}	Element/Datum: as a result of the consumption of alcoholic beverages.?	Boolean
Q3	Session	{OperatesVehicleInTraffic}	Element/Datum: {Actor} operates a vehicle in traffic (Sections 315 to 315e).?	Boolean
Q4	Session	{OtherIntoxicants}	Element/Datum: as a result of other intoxicating substances.?	Boolean
Q5	Session	{UnableToOperateSafely}	Element/Datum: {Actor} is unable to operate the vehicle safely.?	Boolean

Flags

Scope Paragraph 1's core. Struck per the marked-up source: the penalty with the §315a/§315c subsidiarity clause inside it, and (2) the negligence variant.

Subsidiarity struck (recorded) The subsidiarity clause sits inside the penalty strike, as in §246 and §248b and unlike §233(5) and §147; followed as marked, the asymmetry recorded as an editorial decision.

Shared Merkmal with §315a {UnableToOperateSafely}, {ConsumptionOfAlcohol} and {OtherIntoxicants} reuse the §315a names; identity is by name. The mental and physical deficiency causes of §315a have no counterpart here, exactly as the German narrows.

Treatment §316 is Operomise-tagged.

§316c · Attacks on air and sea traffic

AttacksOnAirAndSeaTraffic · provenance StGB 316c · (1) whole encoded; (2)-(4) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Imprisonment for a term of not less than five years shall be imposed on anyone who 1. uses violence or attacks the freedom of decision of a person or undertakes other machinations in order thereby to gain control over, or to influence the navigation of, a) a civil aircraft in flight, or b) a ship employed in civil maritime traffic, or 2. in order to destroy or damage such an aircraft or ship or its cargo on board, uses firearms or undertakes to cause an explosion or a fire. An aircraft which has already been boarded by members of the crew or by passengers, or the loading of which has already begun, or which has not yet been left as scheduled by members of the crew or by passengers, or the scheduled unloading of which is not yet complete, stands equal to an aircraft in flight. (2) In less serious cases, the penalty shall be imprisonment for a term of one to ten years. (3) If the offender at least recklessly causes the death of another person by the act, the penalty shall be imprisonment for life or for a term of not less than ten years. (4) Any person who, for the preparation of an offence under paragraph 1, produces, procures for themselves or another, keeps in custody or makes available to another firearms, explosives or other substances or devices intended for causing an explosion or a fire shall be punished with imprisonment for a term of six months to five years.

«if AttacksOnAirAndSeaTraffic is true»(1) Imprisonment for a term of not less than five years shall be imposed on {Actor} who 1. «if {UsesViolence} is true»uses violence «end if» «if {AttacksFreedomOfDecision} is true»or attacks the freedom of decision of a person «end if» «if {OtherMachinations} is true»or undertakes other machinations «end if» «if {ActsWithControlIntention} is true»in order thereby «if {GainControl} is true»to gain control over «end if» «if {InfluenceNavigation} is true»or to influence the navigation of «end if» «end if» a) «if {CivilAircraftInFlight} is true»a civil aircraft in flight «end if», or b) «if {CivilShipAtSea} is true»a ship employed in civil maritime traffic «end if», or 2. «if {ActsWithDestructionIntention} is true»in order to destroy or damage such an aircraft or ship «if {CargoOnBoard} is true»or its cargo on board «end if» «end if», «if {UsesFirearms} is true»uses firearms «end if» or «if {UndertakesExplosion} is true»undertakes to cause an explosion «end if» «if {UndertakesFire} is true»or a fire «end if». «if [AircraftInFlight] is true»An aircraft which «if {BoardedByCrewOrPassengers} is true»has already been boarded by members of the crew or by passengers «end if», or «if {LoadingBegun} is true»the loading of which has already begun «end if», or which «if {NotYetLeftAsScheduled} is true»has not yet been left as scheduled by members of the crew or by passengers «end if», or «if {UnloadingNotComplete} is true»the scheduled unloading of which is not yet complete «end if», stands equal to an aircraft in flight «end if». (2) In less serious cases, the penalty shall be imprisonment for a term of one to ten years. (3) If the offender at least recklessly causes the death of another person by the act, the penalty shall be imprisonment for life or for a term of not less than ten years. (4) Any person who, for the preparation of an offence under paragraph 1, produces, procures for themselves or another, keeps in custody or makes available to another firearms, explosives or other substances or devices intended for causing an explosion or a fire shall be punished with imprisonment for a term of six months to five years.«end if»

Annexes

Computables

[AircraftInFlight] = BoardedByCrewOrPassengers is true or LoadingBegun is true or NotYetLeftAsScheduled is true or UnloadingNotComplete is true [Craft] = CivilAircraftInFlight is true or CivilShipAtSea is true [Leg2Means] = UsesFirearms is true or UndertakesExplosion is true or UndertakesFire is true [Leg2] = ActsWithDestructionIntention is true and Craft is true and Leg2Means is true [Leg1Means] = UsesViolence is true or AttacksFreedomOfDecision is true or OtherMachinations is true [Leg1Purpose] = ActsWithControlIntention is true and (GainControl is true or InfluenceNavigation is true) [Leg1] = Leg1Means is true and Leg1Purpose is true and Craft is true [AttacksOnAirAndSeaTraffic] = Leg1 is true or Leg2 is true

Business rules

id	kind	actor	verb / predicate	body
AST-R01	act	Actor		UsesViolence is true
AST-R02	act	Actor		AttacksFreedomOfDecision is true
AST-R03	act	Actor		OtherMachinations is true
AST-R04	act	Actor		ActsWithControlIntention is true
AST-R05	condition	None		GainControl is true
AST-R06	condition	None		InfluenceNavigation is true
AST-R07	condition	None		CivilAircraftInFlight is true
AST-R08	condition	None		CivilShipAtSea is true
AST-R09	act	Actor		ActsWithDestructionIntention is true
AST-R10	condition	None		CargoOnBoard is true
AST-R11	act	Actor		UsesFirearms is true
AST-R12	act	Actor		UndertakesExplosion is true
AST-R13	act	Actor		UndertakesFire is true
AST-R14	condition	None		BoardedByCrewOrPassengers is true
AST-R15	condition	None		LoadingBegun is true
AST-R16	condition	None		NotYetLeftAsScheduled is true
AST-R17	condition	None		UnloadingNotComplete is true
AST-R80	condition	None	equivalence (sentence 2): an aircraft already boarded, in loading, not yet left as scheduled or not yet fully unloaded stands equal to an aircraft in flight; authored as [AircraftInFlight] and consumed by {CivilAircraftInFlight}	AircraftInFlight is true
AST-P0	prohibition	Actor	not realise	not AttacksOnAirAndSeaTraffic

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
anyone who	Tätersubjekt	{Actor}	—	in scope
{Actor} uses violence	Merkmal	{UsesViolence}	AST-R01	is true
{Actor} attacks the freedom of decision of a person	Merkmal	{AttacksFreedomOfDecision}	AST-R02	is true
{Actor} undertakes other machinations	Merkmal	{OtherMachinations}	AST-R03	is true
{Actor} acts in order to achieve the aim concerning the craft	Merkmal	{ActsWithControlIntention}	AST-R04	is true
to gain control over the craft	Merkmal	{GainControl}	AST-R05	is true
to influence the navigation of the craft	Merkmal	{InfluenceNavigation}	AST-R06	is true
a civil aircraft in flight	Merkmal	{CivilAircraftInFlight}	AST-R07	is true
a ship employed in civil maritime traffic	Merkmal	{CivilShipAtSea}	AST-R08	is true
{Actor} acts in order to destroy the craft	Merkmal	{ActsWithDestructionIntention}	AST-R09	is true
the aim extends to the cargo on board	Merkmal	{CargoOnBoard}	AST-R10	is true
{Actor} uses firearms	Merkmal	{UsesFirearms}	AST-R11	is true
{Actor} undertakes to cause an explosion	Merkmal	{UndertakesExplosion}	AST-R12	is true
{Actor} undertakes to cause a fire	Merkmal	{UndertakesFire}	AST-R13	is true
the aircraft has already been boarded	Merkmal	{BoardedByCrewOrPassengers}	AST-R14	is true
the loading of the aircraft has already begun	Merkmal	{LoadingBegun}	AST-R15	is true
the aircraft has not yet been left as scheduled	Merkmal	{NotYetLeftAsScheduled}	AST-R16	is true
the scheduled unloading of the aircraft is not yet complete	Merkmal	{UnloadingNotComplete}	AST-R17	is true
(2) lesser cases; (3) death results; (4) preparation variant	grading / results / preparation	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{ActsWithControlIntention}	Boolean	true / false / unknown	Session	{Actor} acts in order to achieve the aim concerning the craft
{ActsWithDestructionIntention}	Boolean	true / false / unknown	Session	{Actor} acts in order to destroy the craft
{AttacksFreedomOfDecision}	Boolean	true / false / unknown	Session	{Actor} attacks the freedom of decision of a person
{BoardedByCrewOrPassengers}	Boolean	true / false / unknown	Session	the aircraft has already been boarded
{CargoOnBoard}	Boolean	true / false / unknown	Session	the aim extends to the cargo on board
{CivilAircraftInFlight}	Boolean	true / false / unknown	Session	a civil aircraft in flight
{CivilShipAtSea}	Boolean	true / false / unknown	Session	a ship employed in civil maritime traffic
{GainControl}	Boolean	true / false / unknown	Session	to gain control over the craft
{InfluenceNavigation}	Boolean	true / false / unknown	Session	to influence the navigation of the craft
{LoadingBegun}	Boolean	true / false / unknown	Session	the loading of the aircraft has already begun
{NotYetLeftAsScheduled}	Boolean	true / false / unknown	Session	the aircraft has not yet been left as scheduled
{OtherMachinations}	Boolean	true / false / unknown	Session	{Actor} undertakes other machinations
{UndertakesExplosion}	Boolean	true / false / unknown	Session	{Actor} undertakes to cause an explosion
{UndertakesFire}	Boolean	true / false / unknown	Session	{Actor} undertakes to cause a fire
{UnloadingNotComplete}	Boolean	true / false / unknown	Session	the scheduled unloading of the aircraft is not yet complete
{UsesFirearms}	Boolean	true / false / unknown	Session	{Actor} uses firearms
{UsesViolence}	Boolean	true / false / unknown	Session	{Actor} uses violence

Reconstruction from the substrate

Committed by any person (the actor) who: (({Actor} uses violence or {Actor} attacks the freedom of decision of a person or {Actor} undertakes other machinations) and ({Actor} acts in order to achieve the aim concerning the craft and (to gain control over the craft or to influence the navigation of the craft)) and (a civil aircraft in flight or a ship employed in civil maritime traffic)) or ({Actor} acts in order to destroy the craft and (a civil aircraft in flight or a ship employed in civil maritime traffic) and ({Actor} uses firearms or {Actor} undertakes to cause an explosion or {Actor} undertakes to cause a fire)).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[AircraftInFlight]	BoardedByCrewOrPassengers, LoadingBegun, NotYetLeftAsScheduled, UnloadingNotComplete	false	Recomputes when any input changes; propagates into the composite.
[Craft]	CivilAircraftInFlight, CivilShipAtSea	false	Recomputes when any input changes; propagates into the composite.
[Leg2Means]	UsesFirearms, UndertakesExplosion, UndertakesFire	false	Recomputes when any input changes; propagates into the composite.
[Leg2]	ActsWithDestructionIntention, Craft, Leg2Means	false	Recomputes when any input changes; propagates into the composite.
[Leg1Means]	UsesViolence, AttacksFreedomOfDecision, OtherMachinations	false	Recomputes when any input changes; propagates into the composite.
[Leg1Purpose]	ActsWithControlIntention, GainControl, InfluenceNavigation	false	Recomputes when any input changes; propagates into the composite.
[Leg1]	Leg1Means, Leg1Purpose, Craft	false	Recomputes when any input changes; propagates into the composite.
[AttacksOnAirAndSeaTraffic]	Leg1, Leg2	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (AST-P0)	[AttacksOnAirAndSeaTraffic]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {ActsWithControlIntention} ├─ {ActsWithDestructionIntention} ├─ {AttacksFreedomOfDecision} ├─ {BoardedByCrewOrPassengers} ├─ {CargoOnBoard} ├─ {CivilAircraftInFlight} ├─ {CivilShipAtSea} ├─ {GainControl} ├─ {InfluenceNavigation} ├─ {LoadingBegun} ├─ {NotYetLeftAsScheduled} ├─ {OtherMachinations} ├─ {UndertakesExplosion} ├─ {UndertakesFire} ├─ {UnloadingNotComplete} ├─ {UsesFirearms} ├─ {UsesViolence} ↓ PHASE 2: evaluate act / intermediate computables ├─ [AircraftInFlight] = BoardedByCrewOrPassengers is true or LoadingBegun is true or NotYetLeftAsScheduled is true or UnloadingNotComplete is true ├─ [Craft] = CivilAircraftInFlight is true or CivilShipAtSea is true ├─ [Leg2Means] = UsesFirearms is true or UndertakesExplosion is true or UndertakesFire is true ├─ [Leg2] = ActsWithDestructionIntention is true and Craft is true and Leg2Means is true ├─ [Leg1Means] = UsesViolence is true or AttacksFreedomOfDecision is true or OtherMachinations is true ├─ [Leg1Purpose] = ActsWithControlIntention is true and (GainControl is true or InfluenceNavigation is true) ├─ [Leg1] = Leg1Means is true and Leg1Purpose is true and Craft is true ↓ PHASE 3: evaluate the objective conditions └─ [AttacksOnAirAndSeaTraffic] = Leg1 is true or Leg2 is true ↓ VERDICT (PrimeRule) ├─ [AttacksOnAirAndSeaTraffic] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [AttacksOnAirAndSeaTraffic] is false → not realised

Recursion / re-entry notes

Circularity check

• [AttacksOnAirAndSeaTraffic] depends on [AircraftInFlight], [Craft], [Leg2Means], [Leg2], [Leg1Means], [Leg1Purpose], [Leg1]; none refer back to [AttacksOnAirAndSeaTraffic]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{ActsWithControlIntention}	Element/Datum: {Actor} acts in order to achieve the aim concerning the craft.?	Boolean
Q3	Session	{ActsWithDestructionIntention}	Element/Datum: {Actor} acts in order to destroy the craft.?	Boolean
Q4	Session	{AttacksFreedomOfDecision}	Element/Datum: {Actor} attacks the freedom of decision of a person.?	Boolean
Q5	Session	{BoardedByCrewOrPassengers}	Element/Datum: the aircraft has already been boarded.?	Boolean
Q6	Session	{CargoOnBoard}	Element/Datum: the aim extends to the cargo on board.?	Boolean
Q7	Session	{CivilAircraftInFlight}	Element/Datum: a civil aircraft in flight.?	Boolean
Q8	Session	{CivilShipAtSea}	Element/Datum: a ship employed in civil maritime traffic.?	Boolean
Q9	Session	{GainControl}	Element/Datum: to gain control over the craft.?	Boolean
Q10	Session	{InfluenceNavigation}	Element/Datum: to influence the navigation of the craft.?	Boolean
Q11	Session	{LoadingBegun}	Element/Datum: the loading of the aircraft has already begun.?	Boolean
Q12	Session	{NotYetLeftAsScheduled}	Element/Datum: the aircraft has not yet been left as scheduled.?	Boolean
Q13	Session	{OtherMachinations}	Element/Datum: {Actor} undertakes other machinations.?	Boolean
Q14	Session	{UndertakesExplosion}	Element/Datum: {Actor} undertakes to cause an explosion.?	Boolean
Q15	Session	{UndertakesFire}	Element/Datum: {Actor} undertakes to cause a fire.?	Boolean
Q16	Session	{UnloadingNotComplete}	Element/Datum: the scheduled unloading of the aircraft is not yet complete.?	Boolean
Q17	Session	{UsesFirearms}	Element/Datum: {Actor} uses firearms.?	Boolean
Q18	Session	{UsesViolence}	Element/Datum: {Actor} uses violence.?	Boolean

Flags

Scope Paragraph 1 whole, both sentences: the control leg, the destruction leg, and the in-flight equivalence. Struck per the marked-up source: the sanctions head of (1), (2), (3) and (4).

Both purposes retained (deliberate) “um dadurch die Herrschaft ... zu erlangen oder auf dessen Führung einzuwirken” and “um ... zu zerstören oder zu beschädigen” are live per the markup and the retention criterion: each is what separates the offence from conduct otherwise covered elsewhere. The destruction-or-damage coordination lives inside the {ActsWithDestructionIntention} gate text with the {CargoOnBoard} extension gated separately.

In-flight equivalence authored (sentence 2) The live second sentence authors [AircraftInFlight]: the four ground states stand equal to flight; {CivilAircraftInFlight} reads its extended content from it, recorded as rule AST-R80 on the §232 sentence-2 pattern.

Preparation struck (deliberate contrast) (4)'s preparation variant is struck, the opposite of §263a(3) and §310; recorded as an editorial decision.

Treatment §316c is Operomise-tagged.

§317 · Disruption of telecommunications facilities

DisruptionOfTelecommunications · provenance StGB 317 · (1) encoded; (2)-(3) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who prevents or endangers the operation of a telecommunications installation serving public purposes by destroying, damaging, removing, altering or rendering unusable a thing serving the operation, or by withdrawing the electrical power intended for the operation, shall be punished with imprisonment for up to five years or a fine. (2) An attempt is punishable. (3) A person who commits the act negligently shall be punished with imprisonment for up to one year or a fine.

«if DisruptionOfTelecommunications is true»(1) {Actor} who «if {PreventsOperation} is true»prevents «end if» «if {EndangersOperation} is true»or endangers «end if» the operation of «if {TelecomInstallation} is true»a telecommunications installation serving public purposes «end if» by «if {Destroys} is true»destroying «end if» «if {Damages} is true», damaging «end if» «if {Removes} is true», removing «end if» «if {Alters} is true», altering «end if» «if {RendersUnusable} is true»or rendering unusable «end if» «if {ThingServingOperation} is true»a thing serving the operation «end if», or by «if {WithdrawsElectricalPower} is true»withdrawing the electrical power intended for the operation «end if», shall be punished with imprisonment for up to five years or a fine. (2) An attempt is punishable. (3) A person who commits the act negligently shall be punished with imprisonment for up to one year or a fine.«end if»

Annexes

Computables

[ThingConduct] = ThingServingOperation is true and (Destroys is true or Damages is true or Removes is true or Alters is true or RendersUnusable is true) [InterferenceResult] = PreventsOperation is true or EndangersOperation is true [InterferenceMeans] = ThingConduct is true or WithdrawsElectricalPower is true [DisruptionOfTelecommunications] = TelecomInstallation is true and InterferenceResult is true and InterferenceMeans is true

Business rules

id	kind	actor	verb / predicate	body
DTC-R01	condition	None		TelecomInstallation is true
DTC-R02	act	Actor		PreventsOperation is true
DTC-R03	act	Actor		EndangersOperation is true
DTC-R04	condition	None		ThingServingOperation is true
DTC-R05	act	Actor		Destroys is true
DTC-R06	act	Actor		Damages is true
DTC-R07	act	Actor		Removes is true
DTC-R08	act	Actor		Alters is true
DTC-R09	act	Actor		RendersUnusable is true
DTC-R10	act	Actor		WithdrawsElectricalPower is true
DTC-P0	prohibition	Actor	not realise	not DisruptionOfTelecommunications

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
a telecommunications installation serving public purposes	Merkmal	{TelecomInstallation}	DTC-R01	is true
{Actor} prevents the operation of the installation	Merkmal	{PreventsOperation}	DTC-R02	is true
{Actor} endangers the operation of the installation	Merkmal	{EndangersOperation}	DTC-R03	is true
a thing serving the operation	Merkmal	{ThingServingOperation}	DTC-R04	is true
{Actor} destroys the thing	Merkmal	{Destroys}	DTC-R05	is true
{Actor} damages the thing	Merkmal	{Damages}	DTC-R06	is true
{Actor} removes the thing	Merkmal	{Removes}	DTC-R07	is true
{Actor} alters the thing	Merkmal	{Alters}	DTC-R08	is true
{Actor} renders the thing unusable	Merkmal	{RendersUnusable}	DTC-R09	is true
{Actor} withdraws the electrical power intended for the operation	Merkmal	{WithdrawsElectricalPower}	DTC-R10	is true
(2) attempt; (3) negligence variant	attempt / negligence	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{Alters}	Boolean	true / false / unknown	Session	{Actor} alters the thing
{Damages}	Boolean	true / false / unknown	Session	{Actor} damages the thing
{Destroys}	Boolean	true / false / unknown	Session	{Actor} destroys the thing
{EndangersOperation}	Boolean	true / false / unknown	Session	{Actor} endangers the operation of the installation
{PreventsOperation}	Boolean	true / false / unknown	Session	{Actor} prevents the operation of the installation
{Removes}	Boolean	true / false / unknown	Session	{Actor} removes the thing
{RendersUnusable}	Boolean	true / false / unknown	Session	{Actor} renders the thing unusable
{TelecomInstallation}	Boolean	true / false / unknown	Session	a telecommunications installation serving public purposes
{ThingServingOperation}	Boolean	true / false / unknown	Session	a thing serving the operation
{WithdrawsElectricalPower}	Boolean	true / false / unknown	Session	{Actor} withdraws the electrical power intended for the operation

Reconstruction from the substrate

Committed by any person (the actor) who: a telecommunications installation serving public purposes and ({Actor} prevents the operation of the installation or {Actor} endangers the operation of the installation) and ((a thing serving the operation and ({Actor} destroys the thing or {Actor} damages the thing or {Actor} removes the thing or {Actor} alters the thing or {Actor} renders the thing unusable)) or {Actor} withdraws the electrical power intended for the operation).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[ThingConduct]	ThingServingOperation, Destroys, Damages, Removes, Alters, RendersUnusable	false	Recomputes when any input changes; propagates into the composite.
[InterferenceResult]	PreventsOperation, EndangersOperation	false	Recomputes when any input changes; propagates into the composite.
[InterferenceMeans]	ThingConduct, WithdrawsElectricalPower	false	Recomputes when any input changes; propagates into the composite.
[DisruptionOfTelecommunications]	TelecomInstallation, InterferenceResult, InterferenceMeans	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (DTC-P0)	[DisruptionOfTelecommunications]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {Alters} ├─ {Damages} ├─ {Destroys} ├─ {EndangersOperation} ├─ {PreventsOperation} ├─ {Removes} ├─ {RendersUnusable} ├─ {TelecomInstallation} ├─ {ThingServingOperation} ├─ {WithdrawsElectricalPower} ↓ PHASE 2: evaluate act / intermediate computables ├─ [ThingConduct] = ThingServingOperation is true and (Destroys is true or Damages is true or Removes is true or Alters is true or RendersUnusable is true) ├─ [InterferenceResult] = PreventsOperation is true or EndangersOperation is true ├─ [InterferenceMeans] = ThingConduct is true or WithdrawsElectricalPower is true ↓ PHASE 3: evaluate the objective conditions └─ [DisruptionOfTelecommunications] = TelecomInstallation is true and InterferenceResult is true and InterferenceMeans is true ↓ VERDICT (PrimeRule) ├─ [DisruptionOfTelecommunications] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [DisruptionOfTelecommunications] is false → not realised

Recursion / re-entry notes

Circularity check

• [DisruptionOfTelecommunications] depends on [ThingConduct], [InterferenceResult], [InterferenceMeans]; none refer back to [DisruptionOfTelecommunications]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{Alters}	Element/Datum: {Actor} alters the thing.?	Boolean
Q3	Session	{Damages}	Element/Datum: {Actor} damages the thing.?	Boolean
Q4	Session	{Destroys}	Element/Datum: {Actor} destroys the thing.?	Boolean
Q5	Session	{EndangersOperation}	Element/Datum: {Actor} endangers the operation of the installation.?	Boolean
Q6	Session	{PreventsOperation}	Element/Datum: {Actor} prevents the operation of the installation.?	Boolean
Q7	Session	{Removes}	Element/Datum: {Actor} removes the thing.?	Boolean
Q8	Session	{RendersUnusable}	Element/Datum: {Actor} renders the thing unusable.?	Boolean
Q9	Session	{TelecomInstallation}	Element/Datum: a telecommunications installation serving public purposes.?	Boolean
Q10	Session	{ThingServingOperation}	Element/Datum: a thing serving the operation.?	Boolean
Q11	Session	{WithdrawsElectricalPower}	Element/Datum: {Actor} withdraws the electrical power intended for the operation.?	Boolean

Flags

Scope Paragraph 1 whole: the two interference results over the five thing-conducts and the power-withdrawal alternative. Struck per the marked-up source: (2) and (3).

Verb set The five thing-verbs (destroys, damages, removes, alters, renders unusable) plus the power withdrawal mirror §316b's drafting, which is Excluded; the overlap is by wording only, not by reference.

Treatment §317 is Operomise-tagged.

§318 · Damage to important facilities

DamageToImportantFacilities · provenance StGB 318 · (1) whole encoded; (2)-(6) struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who damages or destroys water pipes, locks, weirs, dykes, dams or other hydraulic structures, or bridges, ferries, ways or protective barriers, or devices serving mining operations for water management, for ventilation or for the entry and exit of the workers, and thereby endangers the limb or life of another person, shall be punished with imprisonment for a term of three months to five years. (2) An attempt is punishable. (3) If the offender causes a serious damage to the health of another person or damage to the health of a large number of people by the act, the penalty shall be imprisonment for a term of one to ten years. (4) If the offender causes the death of another person by the act, the penalty shall be imprisonment for a term of not less than three years. (5) In less serious cases of paragraph 3, the penalty shall be imprisonment for a term of six months to five years; in less serious cases of paragraph 4, imprisonment for a term of one to ten years. (6) Any person who, in the cases of paragraph 1, 1. negligently causes the danger, or 2. acts negligently and negligently causes the danger, shall be punished with imprisonment for up to three years or a fine.

«if DamageToImportantFacilities is true»(1) {Actor} who «if {Damages} is true»damages «end if» «if {Destroys} is true»or destroys «end if» «if {WaterPipes} is true»water pipes «end if» «if {Locks} is true», locks «end if» «if {Weirs} is true», weirs «end if» «if {Dykes} is true», dykes «end if» «if {Dams} is true», dams «end if» «if {OtherHydraulicStructures} is true»or other hydraulic structures «end if», or «if {Bridges} is true»bridges «end if» «if {Ferries} is true», ferries «end if» «if {Ways} is true», ways «end if» «if {ProtectiveBarriers} is true»or protective barriers «end if», or devices serving mining operations «if {MiningWaterManagementDevices} is true»for water management «end if» «if {MiningVentilationDevices} is true», for ventilation «end if» «if {MiningAccessDevices} is true»or for the entry and exit of the workers «end if», and thereby endangers «if {EndangersLimbOfAnother} is true»the limb «end if» «if {EndangersLifeOfAnother} is true»or life of another person «end if», shall be punished with imprisonment for a term of three months to five years. (2) An attempt is punishable. (3) If the offender causes a serious damage to the health of another person or damage to the health of a large number of people by the act, the penalty shall be imprisonment for a term of one to ten years. (4) If the offender causes the death of another person by the act, the penalty shall be imprisonment for a term of not less than three years. (5) In less serious cases of paragraph 3, the penalty shall be imprisonment for a term of six months to five years; in less serious cases of paragraph 4, imprisonment for a term of one to ten years. (6) Any person who, in the cases of paragraph 1, 1. negligently causes the danger, or 2. acts negligently and negligently causes the danger, shall be punished with imprisonment for up to three years or a fine.«end if»

Annexes

Computables

[Group2] = Bridges is true or Ferries is true or Ways is true or ProtectiveBarriers is true [Group1] = WaterPipes is true or Locks is true or Weirs is true or Dykes is true or Dams is true or OtherHydraulicStructures is true [Group3] = MiningWaterManagementDevices is true or MiningVentilationDevices is true or MiningAccessDevices is true [FacilityObject] = Group1 is true or Group2 is true or Group3 is true [Endangerment] = EndangersLimbOfAnother is true or EndangersLifeOfAnother is true [DamageConduct] = Damages is true or Destroys is true [DamageToImportantFacilities] = FacilityObject is true and DamageConduct is true and Endangerment is true

Business rules

id	kind	actor	verb / predicate	body
DIF-R01	act	Actor		Damages is true
DIF-R02	act	Actor		Destroys is true
DIF-R03	condition	None		WaterPipes is true
DIF-R04	condition	None		Locks is true
DIF-R05	condition	None		Weirs is true
DIF-R06	condition	None		Dykes is true
DIF-R07	condition	None		Dams is true
DIF-R08	condition	None		OtherHydraulicStructures is true
DIF-R09	condition	None		Bridges is true
DIF-R10	condition	None		Ferries is true
DIF-R11	condition	None		Ways is true
DIF-R12	condition	None		ProtectiveBarriers is true
DIF-R13	condition	None		MiningWaterManagementDevices is true
DIF-R14	condition	None		MiningVentilationDevices is true
DIF-R15	condition	None		MiningAccessDevices is true
DIF-R16	act	Actor		EndangersLimbOfAnother is true
DIF-R17	act	Actor		EndangersLifeOfAnother is true
DIF-P0	prohibition	Actor	not realise	not DamageToImportantFacilities

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
{Actor} damages the facility	Merkmal	{Damages}	DIF-R01	is true
{Actor} destroys the facility	Merkmal	{Destroys}	DIF-R02	is true
water pipes	Merkmal	{WaterPipes}	DIF-R03	is true
locks	Merkmal	{Locks}	DIF-R04	is true
weirs	Merkmal	{Weirs}	DIF-R05	is true
dykes	Merkmal	{Dykes}	DIF-R06	is true
dams	Merkmal	{Dams}	DIF-R07	is true
other hydraulic structures	Merkmal	{OtherHydraulicStructures}	DIF-R08	is true
bridges	Merkmal	{Bridges}	DIF-R09	is true
ferries	Merkmal	{Ferries}	DIF-R10	is true
ways	Merkmal	{Ways}	DIF-R11	is true
protective barriers	Merkmal	{ProtectiveBarriers}	DIF-R12	is true
devices serving mining operations for water management	Merkmal	{MiningWaterManagementDevices}	DIF-R13	is true
devices serving mining operations for ventilation	Merkmal	{MiningVentilationDevices}	DIF-R14	is true
devices serving mining operations for the access of the workers	Merkmal	{MiningAccessDevices}	DIF-R15	is true
{Actor} thereby endangers the limb of another person	Merkmal	{EndangersLimbOfAnother}	DIF-R16	is true
{Actor} thereby endangers the life of another person	Merkmal	{EndangersLifeOfAnother}	DIF-R17	is true
(2) attempt; (3)-(5) result aggravations and lesser cases; (6) negligence variants	attempt / results / negligence	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Actor}	Reference	–	Session	any person (the actor)
{Bridges}	Boolean	true / false / unknown	Session	bridges
{Damages}	Boolean	true / false / unknown	Session	{Actor} damages the facility
{Dams}	Boolean	true / false / unknown	Session	dams
{Destroys}	Boolean	true / false / unknown	Session	{Actor} destroys the facility
{Dykes}	Boolean	true / false / unknown	Session	dykes
{EndangersLifeOfAnother}	Boolean	true / false / unknown	Session	{Actor} thereby endangers the life of another person
{EndangersLimbOfAnother}	Boolean	true / false / unknown	Session	{Actor} thereby endangers the limb of another person
{Ferries}	Boolean	true / false / unknown	Session	ferries
{Locks}	Boolean	true / false / unknown	Session	locks
{MiningAccessDevices}	Boolean	true / false / unknown	Session	devices serving mining operations for the access of the workers
{MiningVentilationDevices}	Boolean	true / false / unknown	Session	devices serving mining operations for ventilation
{MiningWaterManagementDevices}	Boolean	true / false / unknown	Session	devices serving mining operations for water management
{OtherHydraulicStructures}	Boolean	true / false / unknown	Session	other hydraulic structures
{ProtectiveBarriers}	Boolean	true / false / unknown	Session	protective barriers
{WaterPipes}	Boolean	true / false / unknown	Session	water pipes
{Ways}	Boolean	true / false / unknown	Session	ways
{Weirs}	Boolean	true / false / unknown	Session	weirs

Reconstruction from the substrate

Committed by any person (the actor) who: ((water pipes or locks or weirs or dykes or dams or other hydraulic structures) or (bridges or ferries or ways or protective barriers) or (devices serving mining operations for water management or devices serving mining operations for ventilation or devices serving mining operations for the access of the workers)) and ({Actor} damages the facility or {Actor} destroys the facility) and ({Actor} thereby endangers the limb of another person or {Actor} thereby endangers the life of another person).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[Group2]	Bridges, Ferries, Ways, ProtectiveBarriers	false	Recomputes when any input changes; propagates into the composite.
[Group1]	WaterPipes, Locks, Weirs, Dykes, Dams, OtherHydraulicStructures	false	Recomputes when any input changes; propagates into the composite.
[Group3]	MiningWaterManagementDevices, MiningVentilationDevices, MiningAccessDevices	false	Recomputes when any input changes; propagates into the composite.
[FacilityObject]	Group1, Group2, Group3	false	Recomputes when any input changes; propagates into the composite.
[Endangerment]	EndangersLimbOfAnother, EndangersLifeOfAnother	false	Recomputes when any input changes; propagates into the composite.
[DamageConduct]	Damages, Destroys	false	Recomputes when any input changes; propagates into the composite.
[DamageToImportantFacilities]	FacilityObject, DamageConduct, Endangerment	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (DIF-P0)	[DamageToImportantFacilities]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Actor} ├─ {Bridges} ├─ {Damages} ├─ {Dams} ├─ {Destroys} ├─ {Dykes} ├─ {EndangersLifeOfAnother} ├─ {EndangersLimbOfAnother} ├─ {Ferries} ├─ {Locks} ├─ {MiningAccessDevices} ├─ {MiningVentilationDevices} ├─ {MiningWaterManagementDevices} ├─ {OtherHydraulicStructures} ├─ {ProtectiveBarriers} ├─ {WaterPipes} ├─ {Ways} ├─ {Weirs} ↓ PHASE 2: evaluate act / intermediate computables ├─ [Group2] = Bridges is true or Ferries is true or Ways is true or ProtectiveBarriers is true ├─ [Group1] = WaterPipes is true or Locks is true or Weirs is true or Dykes is true or Dams is true or OtherHydraulicStructures is true ├─ [Group3] = MiningWaterManagementDevices is true or MiningVentilationDevices is true or MiningAccessDevices is true ├─ [FacilityObject] = Group1 is true or Group2 is true or Group3 is true ├─ [Endangerment] = EndangersLimbOfAnother is true or EndangersLifeOfAnother is true ├─ [DamageConduct] = Damages is true or Destroys is true ↓ PHASE 3: evaluate the objective conditions └─ [DamageToImportantFacilities] = FacilityObject is true and DamageConduct is true and Endangerment is true ↓ VERDICT (PrimeRule) ├─ [DamageToImportantFacilities] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [DamageToImportantFacilities] is false → not realised

Recursion / re-entry notes

Circularity check

• [DamageToImportantFacilities] depends on [Group2], [Group1], [Group3], [FacilityObject], [Endangerment], [DamageConduct]; none refer back to [DamageToImportantFacilities]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q2	Session	{Bridges}	Element/Datum: bridges.?	Boolean
Q3	Session	{Damages}	Element/Datum: {Actor} damages the facility.?	Boolean
Q4	Session	{Dams}	Element/Datum: dams.?	Boolean
Q5	Session	{Destroys}	Element/Datum: {Actor} destroys the facility.?	Boolean
Q6	Session	{Dykes}	Element/Datum: dykes.?	Boolean
Q7	Session	{EndangersLifeOfAnother}	Element/Datum: {Actor} thereby endangers the life of another person.?	Boolean
Q8	Session	{EndangersLimbOfAnother}	Element/Datum: {Actor} thereby endangers the limb of another person.?	Boolean
Q9	Session	{Ferries}	Element/Datum: ferries.?	Boolean
Q10	Session	{Locks}	Element/Datum: locks.?	Boolean
Q11	Session	{MiningAccessDevices}	Element/Datum: devices serving mining operations for the access of the workers.?	Boolean
Q12	Session	{MiningVentilationDevices}	Element/Datum: devices serving mining operations for ventilation.?	Boolean
Q13	Session	{MiningWaterManagementDevices}	Element/Datum: devices serving mining operations for water management.?	Boolean
Q14	Session	{OtherHydraulicStructures}	Element/Datum: other hydraulic structures.?	Boolean
Q15	Session	{ProtectiveBarriers}	Element/Datum: protective barriers.?	Boolean
Q16	Session	{WaterPipes}	Element/Datum: water pipes.?	Boolean
Q17	Session	{Ways}	Element/Datum: ways.?	Boolean
Q18	Session	{Weirs}	Element/Datum: weirs.?	Boolean

Flags

Scope Paragraph 1 whole: the two conducts over the thirteen facility objects in three groups, with the limb-or-life endangerment. Struck per the marked-up source: (2) to (6).

Endangerment narrowed (faithful) The endangerment limb is “Leib oder Leben eines anderen Menschen” only; the property limb of the shared formula (§307, §308, §315, §315a) has no counterpart in this section, and none is encoded. The two live endangerment names are shared by name.

Catalogue decomposition Thirteen facility objects in their own gated blocks across the three source groups; the mining devices carry their purpose qualifications in the variable surfaces.

Treatment §318 is Operomise-tagged.

§323c · Failure to render assistance; obstruction of rescuers

FailureToRenderAssistance · provenance StGB 323c · (1) and (2) encoded; sanctions phrases struck

Source (English, unofficial)

Operome markup - original text encoded

(1) Any person who, in the case of an accident or common danger or distress, fails to render assistance although this is necessary and can reasonably be expected of them in the circumstances, in particular where it is possible without substantial danger to themselves and without breach of other important duties, shall be punished with imprisonment for up to one year or a fine. (2) The same penalty shall apply to anyone who, in these situations, obstructs a person who is rendering or wishes to render assistance to a third party.

«if FailureToRenderAssistance is true»(1) {Actor} who, in the case of «if {Accident} is true»an accident «end if» «if {CommonDanger} is true»or common danger «end if» «if {Distress} is true»or distress «end if», «if {FailsToRenderAssistance} is true»fails to render assistance «end if» although this is «if {AssistanceNecessary} is true»necessary «end if» and «if {ReasonableInCircumstances} is true»can reasonably be expected of {Actor} in the circumstances, in particular where it is possible without substantial danger to {Actor} and without breach of other important duties «end if», shall be punished with imprisonment for up to one year or a fine. (2) The same penalty shall apply to {Actor} who, in these situations, «if {ObstructsPerson} is true»obstructs a person «end if» who «if {PersonRendersAssistance} is true»is rendering «end if» «if {PersonWishesToRenderAssistance} is true»or wishes to render «end if» assistance to a third party.«end if»

Annexes

Computables

[Situation] = Accident is true or CommonDanger is true or Distress is true [Para1] = Situation is true and FailsToRenderAssistance is true and AssistanceNecessary is true and ReasonableInCircumstances is true [Para2] = Situation is true and ObstructsPerson is true and (PersonRendersAssistance is true or PersonWishesToRenderAssistance is true) [FailureToRenderAssistance] = Para1 is true or Para2 is true

Business rules

id	kind	actor	verb / predicate	body
FRA-R01	condition	None		Accident is true
FRA-R02	condition	None		CommonDanger is true
FRA-R03	condition	None		Distress is true
FRA-R04	act	Actor		FailsToRenderAssistance is true
FRA-R05	condition	None		AssistanceNecessary is true
FRA-R06	condition	None		ReasonableInCircumstances is true
FRA-R07	act	Actor		ObstructsPerson is true
FRA-R08	condition	None		PersonRendersAssistance is true
FRA-R09	condition	None		PersonWishesToRenderAssistance is true
FRA-P0	prohibition	Actor	not realise	not FailureToRenderAssistance

Tatbestand dissected to the Merkmal

Source phrase	Doctrinal role	Primitive	Rule	Requires
Any person who	Tätersubjekt	{Actor}	—	in scope
an accident	Merkmal	{Accident}	FRA-R01	is true
common danger	Merkmal	{CommonDanger}	FRA-R02	is true
distress	Merkmal	{Distress}	FRA-R03	is true
{Actor} fails to render assistance	Merkmal	{FailsToRenderAssistance}	FRA-R04	is true
the assistance is necessary	Merkmal	{AssistanceNecessary}	FRA-R05	is true
the assistance can reasonably be expected of {Actor} in the circumstances	Merkmal	{ReasonableInCircumstances}	FRA-R06	is true
{Actor} obstructs a person	Merkmal	{ObstructsPerson}	FRA-R07	is true
that person renders assistance to a third party	Merkmal	{PersonRendersAssistance}	FRA-R08	is true
that person wishes to render assistance to a third party	Merkmal	{PersonWishesToRenderAssistance}	FRA-R09	is true
penalty phrases of (1) and (2)	sanction	— excluded —	—	struck

Variables appendix

Variable	Input	Values	Cascade	Surface form (source words)
{Accident}	Boolean	true / false / unknown	Session	an accident
{Actor}	Reference	–	Session	any person (the actor)
{AssistanceNecessary}	Boolean	true / false / unknown	Session	the assistance is necessary
{CommonDanger}	Boolean	true / false / unknown	Session	common danger
{Distress}	Boolean	true / false / unknown	Session	distress
{FailsToRenderAssistance}	Boolean	true / false / unknown	Session	{Actor} fails to render assistance
{ObstructsPerson}	Boolean	true / false / unknown	Session	{Actor} obstructs a person
{PersonRendersAssistance}	Boolean	true / false / unknown	Session	that person renders assistance to a third party
{PersonWishesToRenderAssistance}	Boolean	true / false / unknown	Session	that person wishes to render assistance to a third party
{ReasonableInCircumstances}	Boolean	true / false / unknown	Session	the assistance can reasonably be expected of {Actor} in the circumstances

Reconstruction from the substrate

Committed by any person (the actor) who: ((an accident or common danger or distress) and {Actor} fails to render assistance and the assistance is necessary and the assistance can reasonably be expected of {Actor} in the circumstances) or ((an accident or common danger or distress) and {Actor} obstructs a person and (that person renders assistance to a third party or that person wishes to render assistance to a third party)).

Dependent assessments (reactive invalidation)

Assessment	Depends on	Invalidation	Trigger effect
[Situation]	Accident, CommonDanger, Distress	false	Recomputes when any input changes; propagates into the composite.
[Para1]	Situation, FailsToRenderAssistance, AssistanceNecessary, ReasonableInCircumstances	false	Recomputes when any input changes; propagates into the composite.
[Para2]	Situation, ObstructsPerson, PersonRendersAssistance, PersonWishesToRenderAssistance	false	Recomputes when any input changes; propagates into the composite.
[FailureToRenderAssistance]	Para1, Para2	false	Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown.
prohibition (FRA-P0)	[FailureToRenderAssistance]	re-derives	The PrimeRule prohibition holds whenever the composite is true; re-derives on any change.

Decision tree

PHASE 1: gather inputs (Session) ├─ {Accident} ├─ {Actor} ├─ {AssistanceNecessary} ├─ {CommonDanger} ├─ {Distress} ├─ {FailsToRenderAssistance} ├─ {ObstructsPerson} ├─ {PersonRendersAssistance} ├─ {PersonWishesToRenderAssistance} ├─ {ReasonableInCircumstances} ↓ PHASE 2: evaluate act / intermediate computables ├─ [Situation] = Accident is true or CommonDanger is true or Distress is true ├─ [Para1] = Situation is true and FailsToRenderAssistance is true and AssistanceNecessary is true and ReasonableInCircumstances is true ├─ [Para2] = Situation is true and ObstructsPerson is true and (PersonRendersAssistance is true or PersonWishesToRenderAssistance is true) ↓ PHASE 3: evaluate the objective conditions └─ [FailureToRenderAssistance] = Para1 is true or Para2 is true ↓ VERDICT (PrimeRule) ├─ [FailureToRenderAssistance] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions) └─ [FailureToRenderAssistance] is false → not realised

Recursion / re-entry notes

Circularity check

• [FailureToRenderAssistance] depends on [Situation], [Para1], [Para2]; none refer back to [FailureToRenderAssistance]. No definitional cycle.

• Each computable reduces to input Booleans; the graph is a DAG and topologically sortable. Tristate is monotone: any unknown input holds the composite at unknown rather than forcing a verdict.

Questionnaire

#	Cascade	Variable	Question / prompt	Input
Q1	Session	{Accident}	Element/Datum: an accident.?	Boolean
Q2	Session	{Actor}	Who or what is the actor? Any natural person, legal person, or non-human system. Canonical home: PrimeRule.?	Reference
Q3	Session	{AssistanceNecessary}	Element/Datum: the assistance is necessary.?	Boolean
Q4	Session	{CommonDanger}	Element/Datum: common danger.?	Boolean
Q5	Session	{Distress}	Element/Datum: distress.?	Boolean
Q6	Session	{FailsToRenderAssistance}	Element/Datum: {Actor} fails to render assistance.?	Boolean
Q7	Session	{ObstructsPerson}	Element/Datum: {Actor} obstructs a person.?	Boolean
Q8	Session	{PersonRendersAssistance}	Element/Datum: that person renders assistance to a third party.?	Boolean
Q9	Session	{PersonWishesToRenderAssistance}	Element/Datum: that person wishes to render assistance to a third party.?	Boolean
Q10	Session	{ReasonableInCircumstances}	Element/Datum: the assistance can reasonably be expected of {Actor} in the circumstances.?	Boolean

Flags

Scope Both paragraphs live: the failure offence and the obstruction-of-rescuers variant. Struck per the marked-up source: (1)'s penalty and (2)'s “Ebenso wird bestraft” head, the standing sanctions-phrase rule.

“insbesondere” illustration “insbesondere ohne erhebliche eigene Gefahr und ohne Verletzung anderer wichtiger Pflichten möglich” is illustrative of the reasonableness standard, not a separate element; it stays in the markup text under {ReasonableInCircumstances}, the “namentlich” treatment.

Para 2's situation reference “in diesen Situationen” resolves against [Situation], the same disjunction as paragraph 1; an obstruction outside an accident, common danger or distress is not within the composite.

Genuine omission offence Paragraph 1 is an echtes Unterlassungsdelikt: the conduct element is the failure itself; no §13 commission-by-omission bridge is needed or referenced.

Treatment §323c is Operomise-tagged.

SynapseLayer operome extraction · Lisbon, 10 June 2026