Naming is authored or emitted#
This page is generated from the code and must not be edited by hand.
Not available in this version. A name is taken as typed by a person when it holds a word a machine would not write, and as written by a machine when three or more names beside it differ only by a counter.
naming_is_authored_or_emitted version 1
Kind of rule: What files are (
classifies). Says what a file or a folder is, by placing it in a class.What it concludes: a class
Reasoning:
defeasible. A conclusion is usually right, and is retracted when a rule it names concludes against it.What it reads: one folder at a time
Is it available in this version?#
Not available in this version. Its test is declared and not written yet, so the engine skips it and it concludes nothing.
What would defeat it#
It names no rule whose conclusion would defeat it.
Parameters#
Parameter |
Shipped value |
May be |
What it does |
|---|---|---|---|
|
|
whole number, from 2 to 1000 |
How many siblings must share a template before it reads as emitted. Two files agreeing is a coincidence available in any folder. |