Published package / CLIR
kz.corpus.special_state_bodies
v0.1.0О специальных государственных органах Республики Казахстан
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.19
- capabilities
- calendar:period, closure, defeasible, judgment, negation, norm, priority
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.19' (поддержана law-backend-plan/0.7)RUcsверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)RUdartверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)RUerlверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)RUexверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)RUjavaверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)RUktверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)RUluaверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)RUphpверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)RUrbверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)RUrsверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)RUscalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)RUswiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)RU
./law dev backend corpus/clir/kz-special-state-bodies.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 · 4
| Name | Parameters | Meaning | Reads | Sources |
|---|---|---|---|---|
| cadet_sent_to_military_registration | text | курсант, уволенный в связи с отчислением, направляется для постановки на воинский учёт призывниковRU-KZ | cadetdismissal_ground_expulsion | article/51 |
| holds_rank | text, text | сотруднику присвоено специальное званиеRU-KZ | officer_ofrank_assigned | article/27 |
| reached_age_limit | text | сотрудник достиг предельного возраста состояния на службеRU-KZ | assessment_daydate_of_birthholds_rankofficer_ofrank_assigned | article/50 |
| served_in_special_state_bodies | text | гражданин проходил службу в специальных государственных органах Республики КазахстанRU-KZ | holds_rankkz_citizenofficer_ofon_dutyrank_assigned | article/16article/1article/15 |
Inputs · 9
| Name | Parameters | Meaning |
|---|---|---|
| assessment_day | text, date | день оценки условий зачисления или пребывания на службеRU-KZ |
| cadet | text | сотрудник является курсантом военного или специального учебного заведенияRU-KZ |
| date_of_birth | text, date | дата рождения лицаRU-KZ |
| dismissal_ground_expulsion | text | увольнение при отчислении из военного, специального учебного заведения или организации образования иностранного государстваRU-KZ |
| holds_rank | text, text | сотруднику присвоено специальное званиеRU-KZ |
| kz_citizen | text | лицо является гражданином Республики КазахстанRU-KZ |
| officer_of | text, text | гражданин состоит на службе в специальном государственном органе как сотрудник, которому присвоено специальное званиеRU-KZ |
| on_duty | text | сотрудник исполняет служебные обязанностиRU-KZ |
| rank_assigned | text, text | сотруднику персонально присвоено специальное званиеRU-KZ |