Published package / CLIR
la.aquinas.summa.i_ii_gratia
v0.1.0Sancti Thomae de Aquino, Summa theologiae I-II, quaestiones 109-114
A package can be printed as a standalone module in a general-purpose language that answers without the rules engine: an answer and its status, with no proof, hashes or canonical document. Everything on this page comes from the generation plan built with the index; the gallery computes nothing of its own.
Generation plan
The plan builds: the package can be printed as a module.
- plan format
- law-backend-plan/0.8
- capabilities
- defeasible, negation, status:not_known
Checked against package scenarios
Not checked: the package scenarios have not been run against generated modules. A plan that builds does not yet show that the answers coincide.
Target languages
gopyts
refuse this plan · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUcsверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUdartверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUerlверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUexверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUjavaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUktверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUluaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUphpверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUrbверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUrsверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUscalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RUswiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
./law dev backend corpus/clir/la-summa-i-ii-gratia.lawir.json --target ts --target py --target go --out DIR
Module interface
Questions are public relations with a producing rule; inputs are the facts a question reads. Function names follow the language: ask_… in Python, ask.… in TypeScript, Ask… in Go.
Questions · 8
| Name | Parameters | Meaning | Reads | Sources |
|---|---|---|---|---|
| can_merit_increase | text | homo in gratia existens meretur augmentumLA | in_gracepresented | section/114-3/respondeo |
| cannot_merit_first_grace | text | homo primam gratiam mereri non potestLA | before_first_gracepresented | section/114-1/respondeo |
| cannot_prepare_alone | text | homo ad gratiam se praeparare non potest nisi Deo auxilianteLA | presentedwithout_auxilium | section/109-6/respondeo |
| god_justifies | text | solus Deus iustificat impiumLA | justification_consideredpresented | section/112-1/respondeo |
| grace_in_soul | text | gratia ponit aliquid in animaLA | habitual_grace_givenpresented | section/110-1/respondeo |
| grace_is_auxilium | text | auxilium Dei moventis ad bonumLA | divine_auxilium_givenpresented | section/111-1/respondeo |
| justification_is_remission | text | iustificatio impii est remissio peccatorumLA | impius_presentedpresented | section/113-1/respondeo |
| needs_grace_for_merit | text | sine gratia habituali homo mereri non potestLA | presentedwithout_habitual_grace | section/109-2/respondeo |
Inputs · 9
| Name | Parameters | Meaning |
|---|---|---|
| before_first_grace | text | before_first_graceLA |
| divine_auxilium_given | text | divine_auxilium_givenLA |
| habitual_grace_given | text | habitual_grace_givenLA |
| impius_presented | text | impius_presentedLA |
| in_grace | text | in_graceLA |
| justification_considered | text | justification_consideredLA |
| presented | text | res examinata proposita estLA |
| without_auxilium | text | without_auxiliumLA |
| without_habitual_grace | text | without_habitual_graceLA |