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

ru.historical_unity_article_2021

v0.1.0

Об историческом единстве русских и украинцев

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

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

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

формат плана
law-backend-plan/0.8
возможности
defeasible

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

Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.

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

печатают этот план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/ru-historical-unity-article-2021.lawir.json --target ts --target py --target go --out DIR

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

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

Вопросы · 4

ИмяПараметрыСмыслЧитаетИсточники
article_premise_p1статья называет образования времён Гражданской войны квазигосударственнымибез входов
article_premise_p2статья связывает отдельную союзную государственность с ленинским планом 1922 годабез входов
article_premise_p3статья связывает территориальный состав современной Украины с советскими решениямибез входов
historical_claim_supportedenumдовод поддерживает исторический тезисarticle_premise_p1article_premise_p2article_premise_p3paragraph/quasi-state-formationsparagraph/ussr-creationparagraph/soviet-territorial-decisions

Входы · 3

ИмяПараметрыСмысл
article_premise_p1статья называет образования времён Гражданской войны квазигосударственными
article_premise_p2статья связывает отдельную союзную государственность с ленинским планом 1922 года
article_premise_p3статья связывает территориальный состав современной Украины с советскими решениями