Derivation summarising a series

This page is generated from the code and must not be edited by hand.

A table named for a run of numbered files beside it is suggested as made from each of them, one link a file, and no file of the run as made from another; never inside an installed program.

derivation_summarising_a_series version 1

• Kind of rule: Pairs suggested for a look (proposes). Proposes that two files are related in one of the eight ways, for a person to look at. A proposal is never a conclusion.

• What it concludes: derives, named processed_from

• 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

• Where it looks for pairs: within named_for_a_series

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

It has no parameters.