Published package / CLIR
la.aquinas.summa.i_ii_old_new_law
v0.1.0Sancti Thomae de Aquino, Summa theologiae I-II, quaestiones 98-108
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-old-new-law.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 · 11
| Name | Parameters | Meaning | Reads | Sources |
|---|---|---|---|---|
| binds_as_natural | text, text | omnes tenebantur quia erant de lege naturaeLA | belongs_tois_old_lawof_natural_lawpresented_people | section/98-5/respondeo |
| binds_israel_only | text, text | non tenebantur nisi solus populus IudaeorumLA | added_beyond_naturebelongs_tois_old_lawof_israel | section/98-5/respondeo |
| ceremonial_ceased | text | caeremoniae primi status cessare debueruntLA | after_christbelongs_tofor_divine_worshipis_old_law | section/103-3/respondeo |
| gospel_is_law_of_liberty | text | lex Evangelii lex libertatis diciturLA | is_new_lawpresented_law | section/108-1/respondeo |
| new_law_indita | text | principaliter nova lex est lex inditaLA | grace_of_holy_spirit_givenis_new_lawpresented_law | section/106-1/respondeo |
| new_law_justifies | text | quantum ad gratiam spiritus sancti nova lex iustificatLA | grace_of_holy_spirit_givenis_new_lawpresented_law | section/106-2/respondeo |
| new_law_letter_does_not_justify | text | quantum ad documenta et praecepta lex nova non iustificatLA | is_new_lawmerely_written_documentspresented_law | section/106-2/respondeo |
| old_law_good | text | lex vetus bona fuitLA | is_old_lawpresented_law | section/98-1/respondeo |
| old_law_imperfect | text | lex vetus bona quidem est, sed imperfectaLA | is_old_lawpresented_law | section/98-1/respondeo |
| precept_kind | text, enum | praeceptum hoc genus habetLA | for_divine_worshipof_natural_law | section/99-3/respondeosection/100-1/respondeo |
| same_end_as_old | text | utriusque est unus finis, scilicet ut homines subdantur DeoLA | is_new_lawpresented_law | section/107-1/respondeo |
Inputs · 12
| Name | Parameters | Meaning |
|---|---|---|
| added_beyond_nature | text | lex vetus hoc superaddit supra naturamLA |
| after_christ | text | status novae legis iam adestLA |
| belongs_to | text, text | praeceptum huius legis estLA |
| for_divine_worship | text | ad cultum Dei pertinetLA |
| grace_of_holy_spirit_given | text | gratia spiritus sancti per fidem Christi daturLA |
| is_new_law | text | lex nova sive Evangelii estLA |
| is_old_law | text | lex vetus estLA |
| merely_written_documents | text | sola documenta et praecepta exterius proposita consideranturLA |
| of_israel | text | populus Iudaeorum estLA |
| of_natural_law | text | de lege naturae estLA |
| presented_law | text | lex examinanda proposita estLA |
| presented_people | text | populus examinatus estLA |