Computables
[EndangermentLeg] = RecklesslyCausesDanger is true and (DangerOfDeath is true or DangerOfSeriousHealthDamage is true)
[TerminationOfPregnancy] = TerminatesPregnancy is true and (AgainstWillOfPregnantWoman is true or EndangermentLeg is true)
Business rules
| id | kind | actor | verb / predicate | body |
|---|
| TPY-R01 | act | Actor | | TerminatesPregnancy is true |
| TPY-R02 | act | Actor | | AgainstWillOfPregnantWoman is true |
| TPY-R03 | act | Actor | | RecklesslyCausesDanger is true |
| TPY-R04 | condition | None | | DangerOfDeath is true |
| TPY-R05 | condition | None | | DangerOfSeriousHealthDamage is true |
| TPY-R80 | condition | None | definition (paragraph 1 sentence 2, carried): acts whose effect occurs before completion of the implantation of the fertilised egg in the uterus do not count as termination of pregnancy within the meaning of this law; bounds {TerminatesPregnancy} | TerminatesPregnancy is true |
| TPY-R81 | act | Actor | transformation (per the annotation “not included because not part of general ethics rules”): the base offence of paragraph 1 sentence 1, terminating a pregnancy as such, is excluded, consistent with Sections 218a to 219b Excluded; the encoded offence is the paragraph 2 chapeau as edited, termination against the will of the pregnant woman or with reckless endangerment of her; paragraphs 3 and 4 struck | TerminationOfPregnancy is true |
| TPY-P0 | prohibition | Actor | not realise | not TerminationOfPregnancy |
Tatbestand dissected to the Merkmal
| Source phrase | Doctrinal role | Primitive | Rule | Requires |
|---|
| Whoever | Tätersubjekt | {Actor} | — | in scope |
| {Actor} terminates a pregnancy | Merkmal | {TerminatesPregnancy} | TPY-R01 | is true |
| {Actor} acts against the will of the pregnant woman | Merkmal | {AgainstWillOfPregnantWoman} | TPY-R02 | is true |
| {Actor} recklessly causes the danger to the pregnant woman | Merkmal | {RecklesslyCausesDanger} | TPY-R03 | is true |
| the danger of death | Merkmal | {DangerOfDeath} | TPY-R04 | is true |
| the danger of serious health damage | Merkmal | {DangerOfSeriousHealthDamage} | TPY-R05 | is true |
| pre-implantation carve-out | Definition | — bounds {TerminatesPregnancy} — | TPY-R80 | carried |
| base offence (1) s.1; (3); (4) | base offence / variants | — excluded — | — | per annotation / struck |
Variables appendix
| Variable | Input | Values | Cascade | Surface form (source words) |
|---|
| {Actor} | Reference | – | Session | any person (the actor) |
| {AgainstWillOfPregnantWoman} | Boolean | true / false / unknown | Session | {Actor} acts against the will of the pregnant woman |
| {DangerOfDeath} | Boolean | true / false / unknown | Session | the danger of death |
| {DangerOfSeriousHealthDamage} | Boolean | true / false / unknown | Session | the danger of serious health damage |
| {RecklesslyCausesDanger} | Boolean | true / false / unknown | Session | {Actor} recklessly causes the danger to the pregnant woman |
| {TerminatesPregnancy} | Boolean | true / false / unknown | Session | {Actor} terminates a pregnancy |
Reconstruction from the substrate
Committed by any person (the actor) who: {Actor} terminates a pregnancy and ({Actor} acts against the will of the pregnant woman or ({Actor} recklessly causes the danger to the pregnant woman and (the danger of death or the danger of serious health damage))).
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 |
|---|
| [EndangermentLeg] | RecklesslyCausesDanger, DangerOfDeath, DangerOfSeriousHealthDamage | false | Recomputes when any input changes; propagates into the composite. |
| [TerminationOfPregnancy] | TerminatesPregnancy, AgainstWillOfPregnantWoman, EndangermentLeg | false | Final composite. Re-evaluates on any input change; cannot resolve true while any input is unknown. |
| prohibition (TPY-P0) | [TerminationOfPregnancy] | re-derives | The PrimeRule prohibition holds whenever the composite is true; re-derives on any change. |
Decision tree
PHASE 1: gather inputs (Session)
├─ {Actor}
├─ {AgainstWillOfPregnantWoman}
├─ {DangerOfDeath}
├─ {DangerOfSeriousHealthDamage}
├─ {RecklesslyCausesDanger}
├─ {TerminatesPregnancy}
↓
PHASE 2: evaluate act / intermediate computables
├─ [EndangermentLeg] = RecklesslyCausesDanger is true and (DangerOfDeath is true or DangerOfSeriousHealthDamage is true)
↓
PHASE 3: evaluate the objective conditions
└─ [TerminationOfPregnancy] = TerminatesPregnancy is true and (AgainstWillOfPregnantWoman is true or EndangermentLeg is true)
↓
VERDICT (PrimeRule)
├─ [TerminationOfPregnancy] is true → objective conditions realised → conduct PROHIBITED (subject to permissions / exceptions)
└─ [TerminationOfPregnancy] 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
• [TerminationOfPregnancy] depends on [EndangermentLeg]; none refer back to [TerminationOfPregnancy]. 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 | {AgainstWillOfPregnantWoman} | Element/Datum: {Actor} acts against the will of the pregnant woman.? | Boolean |
| Q3 | Session | {DangerOfDeath} | Element/Datum: the danger of death.? | Boolean |
| Q4 | Session | {DangerOfSeriousHealthDamage} | Element/Datum: the danger of serious health damage.? | Boolean |
| Q5 | Session | {RecklesslyCausesDanger} | Element/Datum: {Actor} recklessly causes the danger to the pregnant woman.? | Boolean |
| Q6 | Session | {TerminatesPregnancy} | Element/Datum: {Actor} terminates a pregnancy.? | Boolean |
Flags
Transformation (prominent) The base offence, terminating a pregnancy as such, is excluded per the annotation “not included because not part of general ethics rules”, consistent with §§218a to 219b Excluded. The encoded offence is the edited paragraph 2 chapeau: termination against the will of the pregnant woman, or with reckless endangerment of her life or health. The serious-cases penalty machinery is struck; the circumstances are offence-constituting here, not grading.
Definition carried The pre-implantation carve-out of (1) sentence 2 bounds {TerminatesPregnancy} and is carried as TPY-R80; the strike markers around (1) are incomplete in the source document, the annotation governs the base offence and the definition serves the live (2).
Treatment §218 Operomise (transformed); §§218a, 218b, 218c, 219, 219a, 219b Excluded.