Опубликованный пакет / CLIR
la.aquinas.summa.i_ii_old_new_law
v0.1.0Sancti Thomae de Aquino, Summa theologiae I-II, quaestiones 98-108
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.8
- возможности
- defeasible, negation, status:not_known
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/la-summa-i-ii-old-new-law.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 11
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| binds_as_natural | text, text | естественное содержание ветхого закона обязывает всех | belongs_tois_old_lawof_natural_lawpresented_people | section/98-5/respondeo |
| binds_israel_only | text, text | добавленное сверх природы обязывает только Израиль | added_beyond_naturebelongs_tois_old_lawof_israel | section/98-5/respondeo |
| ceremonial_ceased | text | церемониальные предписания первого статуса прекратились | after_christbelongs_tofor_divine_worshipis_old_law | section/103-3/respondeo |
| gospel_is_law_of_liberty | text | евангельский закон называется законом свободы | is_new_lawpresented_law | section/108-1/respondeo |
| new_law_indita | text | новый закон главным образом вложен: благодать Святого Духа | grace_of_holy_spirit_givenis_new_lawpresented_law | section/106-1/respondeo |
| new_law_justifies | text | новый закон оправдывает благодатью, не буквой | grace_of_holy_spirit_givenis_new_lawpresented_law | section/106-2/respondeo |
| new_law_letter_does_not_justify | text | одни внешние документы нового закона не оправдывают | is_new_lawmerely_written_documentspresented_law | section/106-2/respondeo |
| old_law_good | text | ветхий закон благ | is_old_lawpresented_law | section/98-1/respondeo |
| old_law_imperfect | text | ветхий закон благ, но несовершенен: благодати не сообщает | is_old_lawpresented_law | section/98-1/respondeo |
| precept_kind | text, enum | предписание имеет указанный род | for_divine_worshipof_natural_law | section/99-3/respondeosection/100-1/respondeo |
| same_end_as_old | text | новый и ветхий закон имеют один конец: подчинение Богу | is_new_lawpresented_law | section/107-1/respondeo |
Входы · 12
| Имя | Параметры | Смысл |
|---|---|---|
| added_beyond_nature | text | ветхий закон добавляет это сверх естественного закона |
| after_christ | text | наступил статус нового закона (после Христа) |
| belongs_to | text, text | предписание принадлежит этому закону |
| for_divine_worship | text | предписание относится к культу Бога |
| grace_of_holy_spirit_given | text | дана благодать Святого Духа через веру во Христа |
| is_new_law | text | это новый закон, закон Евангелия |
| is_old_law | text | это ветхий закон |
| merely_written_documents | text | рассматриваются только внешние писания и предписания |
| of_israel | text | народ — Израиль, которому дан ветхий закон |
| of_natural_law | text | содержание предписания есть естественный закон |
| presented_law | text | закон предъявлен к оценке |
| presented_people | text | народ предъявлен к оценке обязанности |