Note written as a file name#
This page is generated from the code and must not be edited by hand.
An empty text file whose name is a sentence is a note someone left, and its name is what it says, so it is never counted as an empty file.
note_written_as_a_file_name 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.
What would defeat it#
What this rule concludes about something is withdrawn when any of these rules concludes about the same thing:
installed_software_in_folder: A folder is recognized as an installed program, such as a copy of Fiji or a Python environment, from the parts it holds, a name ending .app, its program-style subfolders or a majority of program files; its files are still indexed and read, and rules about experiments leave them alone.
Parameters#
Parameter |
Shipped value |
May be |
What it does |
|---|---|---|---|
|
|
whole number, from 2 to 50 |
The fewest words a note’s name holds. Tuned together in the three rules that read it: the note rule, content_unreadable and empty_replicate_is_no_data_point. |
|
|
list of text |
The extensions a note is written with; (none) for none. Tuned together in the three rules that read it: the note rule, content_unreadable and empty_replicate_is_no_data_point. |