Опубликованный пакет / CLIR
bio.darwin.origin_1859
v0.1.0On the Origin of Species by Means of Natural Selection, or the Preservation of Favoured Races in the Struggle for Life
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.19
- возможности
- defeasible, judgment, negation, status:not_known
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
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/bio-darwin-origin-1859.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 16
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| classification_is_genealogical | text | the natural system is genealogical in its arrangementEN | increases_in_geometrical_ratiovariation_heritablevariation_in_any_degree_profitable | article/14 |
| descended_from_wild_stock | text, text | the domestic breeds have descended from this wild stockEN | domestic_races_ofpresented_as_columba_livia | article/1 |
| descent_with_modification | text | descent with modificationEN | increases_in_geometrical_ratiovariation_heritablevariation_in_any_degree_profitable | article/14 |
| divergence_of_character | text, text | divergence of characterEN | increases_in_geometrical_ratiomany_individuals_in_same_placevariation_heritablevariation_in_any_degree_profitable | article/4 |
| other_parts_modified_with | text, text, text | if man goes on selecting any peculiarity, he will almost certainly unconsciously modify other partsEN | correlated_withincreases_in_geometrical_ratiovariation_heritablevariation_in_any_degree_profitable | article/5 |
| preserved_by_natural_selection | text, text | This preservation of favourable variations and the rejection of injurious variations, I call Natural SelectionEN | increases_in_geometrical_ratiovariation_heritablevariation_in_any_degree_profitable | article/4 |
| produced_by_artificial_selection | text | domestic races have been produced by accumulative selectionEN | man_selects_useful_variations | article/1 |
| rejected_by_natural_selection | text, text | any variation in the least degree injurious would be rigidly destroyedEN | increases_in_geometrical_ratiovariation_injurious | article/4 |
| species_as_permanent_variety | text | species are only strongly marked and permanent varietiesEN | individual_differences_presentwell_marked_and_permanent | article/14 |
| sterility_incidental | text, text | sterility is not a specially endowed quality, but is incidental on other differencesEN | first_cross_ofhybrid_offspring_ofsterility_observed | article/8 |
| sterility_specially_endowed | text, text | sterility as a specially endowed qualityEN | first_cross_ofhybrid_offspring_ofsterility_observed | article/8 |
| struggle_most_severe_between | text, text | the struggle almost invariably will be most severe between the individuals of the same speciesEN | close_competitorsincreases_in_geometrical_ratio | article/3 |
| struggles_for_existence | text | a struggle for existenceEN | increases_in_geometrical_ratio | article/3 |
| term_species_arbitrarily_given | text | the term species is one arbitrarily given for the sake of convenience to a set of individuals closely resembling each otherEN | individual_differences_present | article/2 |
| theory_explains_presented_case | text | the theory of descent with modification by natural selection explains the presented caseEN | gradations_in_use_shownincreases_in_geometrical_ratioinnumerable_links_demandedinstinct_graduatedinstinct_named_wonderfulorgan_named_complexrecord_named_imperfectvariation_heritablevariation_in_any_degree_profitable | article/14 |
| use_or_disuse_inherited | text, text | the effects of use and disuse are inheritedEN | disuse_of_partincreased_use_of_part | article/5 |
Входы · 23
| Имя | Параметры | Смысл |
|---|---|---|
| close_competitors | text, text | closely allied forms in the same areaEN |
| correlated_with | text, text, text | correlation of growthEN |
| disuse_of_part | text, text | disuse of a partEN |
| domestic_races_of | text, text | domestic races of this groupEN |
| first_cross_of | text, text | a first cross between two formsEN |
| gradations_in_use_shown | text, text | gradations in structure, each good for its possessorEN |
| hybrid_offspring_of | text, text | hybrid offspringEN |
| increased_use_of_part | text, text | increased use of a partEN |
| increases_in_geometrical_ratio | text | a geometrical ratio of increaseEN |
| individual_differences_present | text | individual differences are presentEN |
| innumerable_links_demanded | text | innumerable transitional links ought to be foundEN |
| instinct_graduated | text, text | instincts graduatedEN |
| instinct_named_wonderful | text, text | instincts of surprising perfectionEN |
| man_selects_useful_variations | text | man's power of accumulative selectionEN |
| many_individuals_in_same_place | text, text | many individuals of the same species inhabiting the same districtEN |
| organ_named_complex | text, text | organs of extreme perfection and complicationEN |
| presented_as_columba_livia | text | Columba livia, including geographical races or sub-speciesEN |
| record_named_imperfect | text | on the imperfection of the geological recordEN |
| sterility_observed | text, text | sterility various in degree, not universalEN |
| variation_heritable | text, text | the variation is inheritedEN |
| variation_in_any_degree_profitable | text, text | if it vary however slightly in any manner profitable to itselfEN |
| variation_injurious | text, text | any variation in the least degree injuriousEN |
| well_marked_and_permanent | text | strongly marked and permanent varietiesEN |