Same version family#

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

Folders whose names differ only by a version mark are grouped as versions of one thing.

same_version_family version 1+r4

  • 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 version_family

  • 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

component_kinds

["word", "quantity", "date", "number", "indexed"]

list of text

Which components form the family. The version marker is what the two differ in, so it is what the family must exclude.

minimum_components

1

whole number, from 1 to 20

How many components must agree.