Same composition

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

Two folders are counted as alike when the kinds of things directly inside them match and each holds at least three.

same_composition version 1

• Kind of rule: Which files go together (groups). Says which things count as the same in some respect, and so forms groups.

• What it concludes: equivalent, in respect of composition

• Reasoning: defeasible. A conclusion is usually right, and is retracted when a rule it names concludes against it.

• What it reads: folders, which it sorts into groups

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
minimum_children	3	whole number, from 1 to 1000	How many direct children a folder needs before its composition is treated as a signal. A folder with one child matches many folders by accident.