Published package / CLIR
la.aquinas.summa.i_ii_fine
v0.1.0Sancti Thomae de Aquino, Summa theologiae I-II, quaestiones 1-5
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-fine.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 · 6
| Name | Parameters | Meaning | Reads | Sources |
|---|---|---|---|---|
| acts_for_end | text | omne agens agit propter finemLA | human_act_presentedpresented | section/1-1/respondeo |
| delight_belongs | text | delectatio requiritur ad beatitudinemLA | happiness_consideredpresented | section/4-1/respondeo |
| happiness_is_last_end | text | beatitudo est ultimus finis hominisLA | man_presentedpresented | section/1-8/respondeo |
| man_can_attain | text | homo beatitudinem consequi potestLA | man_presentedpresented | section/5-1/respondeo |
| not_in_wealth | text | beatitudo non consistit in divitiisLA | presentedwealth_proposed | section/2-1/respondeo |
| vision_is_perfect_happiness | text | perfecta beatitudo in visione divinae essentiaeLA | essence_seenpresented | section/3-8/respondeo |
Inputs · 6
| Name | Parameters | Meaning |
|---|---|---|
| essence_seen | text | essence_seenLA |
| happiness_considered | text | happiness_consideredLA |
| human_act_presented | text | human_act_presentedLA |
| man_presented | text | man_presentedLA |
| presented | text | res examinata proposita estLA |
| wealth_proposed | text | wealth_proposedLA |