Series member from index#
This page is generated from the code and must not be edited by hand.
A file whose name carries a numbered label, such as cell3, is taken to be one member of a series rather than a thing on its own.
series_member_from_index 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 file at a time
Is it available in this version?#
Yes, the engine runs it. It publishes no conclusion yet: it names nothing that would defeat its conclusions, and a rule of this kind may not publish a conclusion that nothing could retract.
What would defeat it#
It names no rule whose conclusion would defeat it.
Parameters#
Parameter |
Shipped value |
May be |
What it does |
|---|---|---|---|
|
|
list of text |
The structural kinds that mark series membership. A bare number is deliberately absent: it is usually an index and sometimes a concentration, and promoting it here would assert the first. |