ARXO ATLAScanonical corpus

Опубликованный пакет / CLIR

su.decree.semidnevka_1940

v0.1.0

Указ Президиума Верховного Совета СССР от 26 июня 1940 года «О переходе на восьмичасовой рабочий день, на семидневную рабочую неделю и о запрещении самовольного ухода рабочих и служащих с предприятий и учреждений»

Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.

План кодогенерации

План строится: пакет печатается модулем.

формат плана
law-backend-plan/0.19
возможности
calendar:days_between, closure, defeasible, judgment, norm

Сверка сценариями пакета

совпало 31 из 37 сценариев на ts, py, go

без ожидания статуса
1
отказ · 5
legalTime не подан делом
статусы ответов
FALSE_ONLY 1 · NEITHER 9 · TRUE_ONLY 16
нормативные позиции
ACTIVE 4 · UNDETERMINED 1 · VIOLATED 1

Исходы закреплены в манифесте ворот потребителя; ворота обязаны их повторить.

Целевые языки

печатают этот планgopyts

отвергают этот план · 13
  • bsl версия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
  • cs версия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
  • dart версия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
  • erl версия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
  • ex версия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
  • java версия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
  • kt версия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
  • lua версия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
  • php версия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
  • rb версия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
  • rs версия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
  • scala версия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
  • swift версия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)

Напечатать модуль из рабочей копии репозитория

./law dev backend corpus/clir/su-semidnevka-1940.lawir.json --target ts --target py --target go --out DIR

Интерфейс модуля

Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.

Вопросы · 0

План не выставляет вопросов: ни у одного публичного отношения нет производящего правила.

Входы · 0